News for hackers. Stuff that matters.
Re:Gödel, Escher, Bach: an in-depth explainer by layer8 on Wednesday September 14, 2022 @03:11AM (#32834170)
If the statement “This statement cannot be proven” cannot be proven in the system, does that make the statement untrue just because it cannot be proven in the system? Seems not.

Truth is defined by a model or interpretation of the system, not by the system. As TFA explains, the Incompleteness Theorem showed that truth and provability must be considered as separate notions.

There are no comments on this comment yet.