User blog comment:Scorcher007/The whole googology in one diagram/@comment-11227630-20180323134709/@comment-11227630-20180325001830

But, why "whether a function can be computed with a Turing machine" depends on language and theory?