Godel's Proof

Philosophical Quarterly 11 (45):379 (1961)
  Copy   BIBTEX


In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implications that have echoed throughout many fields. A gripping combination of science and accessibility, Godel’s Proof by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy the chance to satisfy their intellectual curiosity.



    Upload a copy of this work     Papers currently archived: 86,273

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

Penrose's new argument.Per Lindström - 2001 - Journal of Philosophical Logic 30 (3):241-250.
The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
Gödel's incompleteness theorems.Raymond M. Smullyan - 1992 - New York: Oxford University Press. Edited by Lou Goble.
Arithmetic Proof and Open Sentences.Neil Thompson - 2012 - Philosophy Study 2 (1):43-50.
Review: Ernest Nagel, James R. Newman, Godel's Proof. [REVIEW]Th Skolem - 1959 - Journal of Symbolic Logic 24 (3):222-222.
Gödel's proof.Ernest Nagel - 1958 - [New York]: New York University Press. Edited by James Roy Newman.
Review: Ernest Nagel, James R. Newman, Godel's Proof. [REVIEW]Alonzo Church - 1956 - Journal of Symbolic Logic 21 (4):374-374.
Putnam's review of gödel's proof.Ernest Nagel & James R. Newman - 1961 - Philosophy of Science 28 (2):209-211.
Modal collapse in Gödel's ontological proof.Srećko Kovač - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Frankfurt a. M., etc.: Ontos Verlag. pp. 50--323.


Added to PP

57 (#238,657)

6 months
1 (#864,772)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Precis of the emperor's new mind.Roger Penrose - 1990 - Behavioral and Brain Sciences 13 (4):643-705.
Computability, consciousness, and algorithms.Robert Wilensky - 1990 - Behavioral and Brain Sciences 13 (4):690-691.
Selecting for the con in consciousness.Deborah Hodgkin & Alasdair I. Houston - 1990 - Behavioral and Brain Sciences 13 (4):668-669.
Is mathematical insight algorithmic?Martin Davis - 1990 - Behavioral and Brain Sciences 13 (4):659-660.
The discovery of my completeness proofs.Leon Henkin - 1996 - Bulletin of Symbolic Logic 2 (2):127-158.

View all 85 citations / Add more citations

References found in this work

No references found.

Add more references