User blog comment:P進大好きbot/List of common mistakes on formal logic appearing in googology/@comment-5150073-20190606051459/@comment-35470197-20190606062633

I know the definition of the computability of real number, but it is irrelevant to the computability of a large number in googology.

Indeed, the notion of a computable large number is not formalised in mathematics, because every natural number is computed by a constant function, which is derived from a Turing machine by definition. So the notion of a computable number in mathematics is not a computable number in googology.