Switch to: Citations

Add references

You must login to add references.
  1. Taken by surprise: The paradox of the surprise test revisited. [REVIEW]Joseph Y. Halpern & Yoram Moses - 1986 - Journal of Philosophical Logic 15 (3):281 - 304.
    A teacher announced to his pupils that on exactly one of the days of the following school week (Monday through Friday) he would give them a test. But it would be a surprise test; on the evening before the test they would not know that the test would take place the next day. One of the brighter students in the class then argued that the teacher could never give them the test. "It can't be Friday," she said, "since in that (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.
    We give some information about new proofs of the incompleteness theorems, found in 1990s. Some of them do not require the diagonal lemma as a method of construction of an independent statement.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Kolmogorov complexity and the second incompleteness theorem.Makoto Kikuchi - 1997 - Archive for Mathematical Logic 36 (6):437-443.
    We shall prove the second incompleteness theorem via Kolmogorov complexity.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.
    Download  
     
    Export citation  
     
    Bookmark   102 citations  
  • Computational complexity and Godel's incompleteness theorem.Gregory J. Chaitin - 1970 - [Rio de Janeiro,: Centro Técnico Científico, Pontifícia Universidade Católica do Rio de Janeiro. Edited by Gregory J. Chaitin.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A Goedelized Formulation of the Prediction Paradox.Frederic B. Fitch - 1964 - American Philosophical Quarterly 1 (2):161 - 164.
    Download  
     
    Export citation  
     
    Bookmark   8 citations