In classical mathematics and for Gödel, truth exists independently from the process for finding it.

In a computational system (see Principle of Computational Equivalence), truth is an output of a function and if the function is not done yet, it's meaningless to say what the truth is.




GPT-3: Is AI Deepfaking Understanding?

Chaitin What you can compute doesn't depend on the axioms; what you can prove, does.