Interpreting Gödel: Critical Essays

Cambridge: Cambridge University Press (2014)


The logician Kurt Gödel published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspects of Gödel's work on the foundations and philosophy of mathematics. Their essays explore almost every aspect of Godel's intellectual legacy including his concepts of intuition and analyticity, the Completeness Theorem, the set-theoretic multiverse, and the state of mathematical logic today. This groundbreaking volume will be invaluable to students, historians, logicians and philosophers of mathematics who wish to understand the current thinking on these issues.

Download options


    Upload a copy of this work     Papers currently archived: 72,694

External links

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

Through your library


Added to PP

8 (#1,013,851)

6 months
7 (#102,242)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Juliette Kennedy
University of Helsinki

References found in this work

No references found.

Add more references

Citations of this work

Intellectual Humility in Mathematics.Colin Jakob Rittberg - unknown - Synthese 199 (3-4):5571-5601.
Kurt Gödel.Juliette Kennedy - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

Similar books and articles

On the Philosophical Relevance of Gödel's Incompleteness Theorems.Panu Raatikainen - 2005 - Revue Internationale de Philosophie 59 (4):513-534.
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth.Matthias Baaz (ed.) - 2011 - Cambridge, England: Cambridge University Press.
Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).
Godel's Proof.S. R. Peterson - 1961 - Philosophical Quarterly 11 (45):379.
Kurt Gödel Philosopher-Scientist.Gabriella Crocco & Eva-Maria Engelen (eds.) - 2016 - Marseille: Presses universitaires de Provence.
Gödel and the Intuition of Concepts.Richard Tieszen - 2002 - Synthese 133 (3):363 - 391.
The Gödel Paradox and Wittgenstein's Reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
Penrose's New Argument.Per Lindström - 2001 - Journal of Philosophical Logic 30 (3):241-250.
From Closed to Open Systems.Carlo Cellucci - 1993 - In J. Czermak (ed.), Philosophy of Mathematics, pp. 206-220. Hölder-Pichler-Tempsky.