Gödel's Theorem and Direct Self-Reference
Abstract
In his paper on the incompleteness theorems, Gödel seemed to say that a direct way of constructing a formula that says of itself that it is unprovable might involve a faulty circularity. In this note, it is proved that 'direct' self-reference can actually be used to prove his result.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 2020
- DOI:
- 10.48550/arXiv.2010.11979
- arXiv:
- arXiv:2010.11979
- Bibcode:
- 2020arXiv201011979K
- Keywords:
-
- Mathematics - Logic;
- 03-03;
- 03B10