Philosophical Quarterly 11 (45):379 (1961)

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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 1961
ISBN(s) 9780203406618
DOI 10.2307/2216547
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,018
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

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 88 citations / Add more citations

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.
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth.Matthias Baaz (ed.) - 2011 - Cambridge, England: Cambridge University Press.
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, NY, USA: New York University Press.
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. Ontos Verlag. pp. 50--323.


Added to PP index

Total views
52 ( #216,041 of 2,498,539 )

Recent downloads (6 months)
3 ( #211,850 of 2,498,539 )

How can I increase my downloads?


My notes