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:

• Realism
• Infinity

References

GPT-3: Is AI Deepfaking Understanding?

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