G\"odel's Theorem and Direct Self-Reference
Logic
2021-06-08 v2
Abstract
In his paper on the incompleteness theorems, G\"odel 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.
Keywords
Cite
@article{arxiv.2010.11979,
title = {G\"odel's Theorem and Direct Self-Reference},
author = {Saul A. Kripke},
journal= {arXiv preprint arXiv:2010.11979},
year = {2021}
}