User blog comment:Vel!/1+w/@comment-5982810-20141011205302/@comment-5982810-20141011211341

The only things which are "simple" are delete this, substitute that, transfer this,etc. Everything else is just a mental abstraction from these simple operations. Googological functions are analogous to turing machines. We should rely only on formal operations, not on unspecified "theory".