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.

Related:

- Focus on detecting and eliminating errors, not comparing different knowledge sources and solutions
- Game theory and randomness
- ‣

Contra:

GPT-3: Is AI Deepfaking Understanding?

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