On the incompleteness theorems

Journal of Symbolic Logic 59 (4):1414-1419 (1994)
  Copy   BIBTEX

Abstract

We give new proofs of both incompleteness theorems. We do not use the diagonalization lemma, but work with some quickly growing functions instead

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
53 (#302,735)

6 months
14 (#184,862)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Mathematical Logic.J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376-376.

Add more references