Interpreting Gödel -

Interpreting Gödel

Critical Essays

Juliette Kennedy (Herausgeber)

Buch | Hardcover
288 Seiten
2014
Cambridge University Press (Verlag)
978-1-107-00266-1 (ISBN)
109,95 inkl. MwSt
In this groundbreaking volume, leading philosophers and mathematicians explore almost every aspect of Kurt Gödel's work on the foundations and philosophy of mathematics. It will be invaluable to students, historians, logicians and philosophers who wish to understand the current thinking on Gödel's intellectual legacy.
The logician Kurt Gödel (1906–1978) 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.

Juliette Kennedy is an Associate Professor in the Department of Mathematics and Statistics at the University of Helsinki.

1. Introduction: Gödel and analytic philosophy: how did we get here? Juliette Kennedy; Part I. Gödel on Intuition: 2. Intuitions of three kinds in Gödel's views on the continuum John Burgess; 3. Gödel on how to have your mathematics and know it too Janet Folina; Part II. The Completeness Theorem: 4. Completeness and the ends of axiomatization Michael Detlefsen; 5. Logical completeness, form, and content: an archaeology Curtis Franks; Part III. Computability and Analyticity: 6. Gödel's 1946 Princeton bicentennial lecture: an appreciation Juliette Kennedy; 7. Analyticity for realists Charles Parsons; Part IV. The Set-Theoretic Multiverse: 8. Gödel's program John Steel; 9. Multiverse set theory and absolutely undecidable propositions Jouko Väänänen; Part V. The Legacy: 10. Undecidable problems: a sampler Bjorn Poonen; 11. Reflecting on logical dreams Saharon Shelah.

Erscheint lt. Verlag 21.8.2014
Verlagsort Cambridge
Sprache englisch
Maße 158 x 235 mm
Gewicht 560 g
Themenwelt Mathematik / Informatik Mathematik Geschichte der Mathematik
Mathematik / Informatik Mathematik Logik / Mengenlehre
ISBN-10 1-107-00266-4 / 1107002664
ISBN-13 978-1-107-00266-1 / 9781107002661
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
a secret world of intuition and curiosity

von David Bessis

Buch | Hardcover (2024)
Yale University Press (Verlag)
32,70
a global history of Mathematics & its Unsung Trailblazers

von Kate Kitagawa; Timothy Revell

Buch | Softcover (2024)
Penguin Books Ltd (Verlag)
16,20