Interpreting Goedel
Critical Essays
1st Edition
Published on 6. August 2014
978-1-139-98943-5 (ISBN)
Description
The logician Kurt Goedel (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 Goedel'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.
Reviews / Votes
'These essays explore most aspects of Goedel's legacy, including his conceptions of intuition and analyticity, the Completeness theorem, the set-theoretic multiverse and the current state of mathematical logic.' Graham Hoare, The Mathematical Gazette 'In sum, this is a collection of stimulating essays, mathematically as well as philosophically. They are not exactly easy reading and require familiarity, at least in broad strokes, with Goedel's mathematical work and his central philosophical ideas (as well as their evolution and historical context). The patient reader will be rewarded by a deeper understanding of both.' Wilfried Sieg, IsisMore details
Language
English
Place of publication
Cambridge
United Kingdom
Publishing group
Cambridge University Press
Target group
Professional and scholarly
File size
2679,15 MB
ISBN-13
978-1-139-98943-5 (9781139989435)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Book
08/2014
Cambridge University Press
€117.50
No shipping information available
Person
Juliette Kennedy is an Associate Professor in the Department of Mathematics and Statistics at the University of Helsinki.
Content
1. Introduction: Goedel and analytic philosophy: how did we get here? Juliette Kennedy; Part I. Goedel on Intuition: 2. Intuitions of three kinds in Goedel's views on the continuum John Burgess; 3. Goedel 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. Goedel's 1946 Princeton bicentennial lecture: an appreciation Juliette Kennedy; 7. Analyticity for realists Charles Parsons; Part IV. The Set-Theoretic Multiverse: 8. Goedel's program John Steel; 9. Multiverse set theory and absolutely undecidable propositions Jouko Vaeaenaenen; Part V. The Legacy: 10. Undecidable problems: a sampler Bjorn Poonen; 11. Reflecting on logical dreams Saharon Shelah.
