User blog comment:Sbiis Saibian/Googology101 - Part I/@comment-1605058-20141023055529/@comment-2033667-20141023151819

I'm with Sbiis here. The post is using deliberately informal terminology to discuss the philosophy of googology. However, as I said, the situations that he's discussing — such as the general trend of difficulty of definition — have close parallels to some known concepts in mathematics. Specifically, Kolmogorov complexity (although if we want to discuss hypercomputational systems, we have to replace TMs with a stronger system like FOST or FOOT).