我要吃瓜

Citation

Milne P (2007) On Godel Sentences and What They Say. Philosophia Mathematica, 15 (2), pp. 193-226. https://doi.org/10.1093/philmat/nkm015

Abstract
Proofs of G?del’s First Incompleteness Theorem are often accompanied by claims such as that the g?del sentence constructed in the course of the proof says of itself that it is unprovable and that it is true. The validity of such claims depends closely on how the sentence is constructed. Only by tightly constraining the means of construction can one obtain g?del sentences of which it is correct, without further ado, to say that they say of themselves that they are unprovable and that they are true; otherwise a false theory can yield false g?del sentences.

Keywords
G?del sentences; Go?del, Kurt.; Incompleteness theorem; Go?del’s theorem; Mathematics Philosophy

Journal
Philosophia Mathematica: Volume 15, Issue 2