2020/10/22 by Saul A. Kripke, Kripke, Saul A. · 1 voice
Mathematics · #03-03 #03B10 #FOS: Mathematics #Logic (math.LO) #math.LO
paper · pdf · doi:10.48550/arxiv.2010.11979
arxiv published 2020/10/22 · arxiv updated 2021/06/07
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.