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

Actually, there is official definition of computable number:

https://en.wikipedia.org/wiki/Computable_number