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: 93,031

External links

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

Through your library

Similar books and articles

On the Depth of Gödel’s Incompleteness Theorems.Yong Cheng - forthcoming - Philosophia Mathematica.
The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.
The incompleteness theorems.H. P. Barendregt - 1976 - Utrecht: Rijksuniversiteit Utrecht, Mathematisch Instituut.
The incompleteness theorems.Smoryński Craig - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 822--865.
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.
Current Research on Gödel’s Incompleteness Theorems.Yong Cheng - 2021 - Bulletin of Symbolic Logic 27 (2):113-167.
Gödel's incompleteness theorems.C. A. Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 27.
Gödel's Incompleteness Theorems.Juliette Kennedy - 2022 - Cambridge University Press.
The significance of incompleteness theorems.R. L. Goodstein - 1963 - British Journal for the Philosophy of Science 14 (55):208-220.

Analytics

Added to PP
2009-01-28

Downloads
53 (#309,121)

6 months
13 (#219,507)

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