Switch to: Citations

Add references

You must login to add references.
  1. On Gödel Sentences and What They Say.Peter Milne - 2007 - Philosophia Mathematica 15 (2):193-226.
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Provability logic-a short introduction.Per Lindström - 1996 - Theoria 62 (1-2):19-61.
  • Self-reference in arithmetic I.Volker Halbach & Albert Visser - 2014 - Review of Symbolic Logic 7 (4):671-691.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  • On “seeing” the truth of the Gödel sentence.George Boolos - 1990 - Behavioral and Brain Sciences 13 (4):655-656.
  • Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.
     
    Export citation  
     
    Bookmark   240 citations  
  • On the philosophical relevance of Gödel's incompleteness theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
    A survey of more philosophical applications of Gödel's incompleteness results.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations