User blog comment:Googology Noob/SuperJedi's X Function/@comment-26428969-20151230152245/@comment-27173506-20151231172505

I believe Wythagoras found a way to define turing machines, and I'll find his blog post in a second.