Skip to content
Cart

Your Cart

×

You have 0 items in your cart.

Register Sign in Wishlist

Kurt Gödel
Essays for his Centennial

$124.00 (C)

Part of Lecture Notes in Logic

Solomon Feferman, John W. Dawson, Jr., Cheryl A. Dawson, Jeremy Avigad, Wilfried Sieg, W. W. Tait, Stephen G. Simpson, John P. Burgess, Akihiro Kanamori, Sy-David Friedman, Peter Koellner, Martin Davis, Warren Goldfarb, Steve Awodey, A. W. Carus, Mark van Atten, Juliette Kennedy, Charles Parsons, Donald A. Martin
View all contributors
  • Date Published: April 2010
  • availability: In stock
  • format: Hardback
  • isbn: 9780521115148

$ 124.00 (C)
Hardback

Add to cart Add to wishlist

Other available formats:
Paperback, eBook


Looking for an examination copy?

If you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact collegesales@cambridge.org providing details of the course you are teaching.

Description
Product filter button
Description
Contents
Resources
Courses
About the Authors
  • Kurt Gödel (1906–1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel’s centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel’s writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible set.

    • The only existing collection of essays devoted to Gödel's work with a broad focus
    • It combines mathematical work, historical analysis, and philosophy
    Read more

    Customer reviews

    Not yet reviewed

    Be the first to review

    Review was not posted due to profanity

    ×

    , create a review

    (If you're not , sign out)

    Please enter the right captcha value
    Please enter a star rating.
    Your review must be a minimum of 12 words.

    How do you rate this item?

    ×

    Product details

    • Date Published: April 2010
    • format: Hardback
    • isbn: 9780521115148
    • length: 384 pages
    • dimensions: 235 x 158 x 21 mm
    • weight: 0.63kg
    • availability: In stock
  • Table of Contents

    Part I. General:
    1. The Gödel editorial project: a synopsis Solomon Feferman
    2. Future tasks for Gödel scholars John W. Dawson, Jr, and Cheryl A. Dawson
    Part II. Proof Theory:
    3. Kurt Gödel and the metamathematical tradition Jeremy Avigad
    4. Only two letters: the correspondence between Herbrand and Gödel Wilfried Sieg
    5. Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counter-example interpretation W. W. Tait
    6. Gödel on intuition and on Hilbert's finitism W. W. Tait
    7. The Gödel hierarchy and reverse mathematics Stephen G. Simpson
    8. On the outside looking in: a caution about conservativeness John P. Burgess
    Part III. Set Theory:
    9. Gödel and set theory Akihiro Kanamori
    10. Generalizations of Gödel's universe of constructible sets Sy-David Friedman
    11. On the question of absolute undecidability Peter Koellner
    Part IV. Philosophy of Mathematics:
    12. What did Gödel believe and when did he believe it? Martin Davis
    13. On Gödel's way in: the influence of Rudolf Carnap Warren Goldfarb
    14. Gödel and Carnap Steve Awodey and A. W. Carus
    15. On the philosophical development of Kurt Gödel Mark van Atten and Juliette Kennedy
    16. Platonism and mathematical intuition in Kurt Gödel's thought Charles Parsons
    17. Gödel's conceptual realism Donald A. Martin.

  • Editors

    Solomon Feferman, Stanford University, California
    Solomon Feferman has been a Professor of Mathematics and Philosophy at Stanford University since 1956, from which he retired in 2004. He is a Fellow of the American Academy of Arts and Sciences, was President of the Association for Symbolic Logic in 1980–2, and was the recipient of the Rolf Schock Prize for Logic and Philosophy in 2003. Feferman was editor-in-chief of the Collected Works of Kurt Gödel (1986–2003).

    Charles Parsons, Harvard University, Massachusetts
    Charles Parsons holds an AB (mathematics) and PhD (philosophy) from Harvard University and studied for a year at King's College, Cambridge. He was on the faculty at Harvard University from 1962–65 and 1989–2005 and at Columbia University from 1965–89. His publications are mainly in logic, philosophy of mathematics, and Kant. He was an editor of the posthumous works of Kurt Gödel (Collected Works, Volumes III–V).

    Stephen G. Simpson, Pennsylvania State University
    Stephen G. Simpson is a mathematics professor at the Pennsylvania State University. He has lectured and published widely in mathematical logic and the foundations of mathematics. Simpson is the developer of the foundational program known as Reverse Mathematics and the author of Subsystems of Second Order Arithmetic, 2nd Edition.

    Contributors

    Solomon Feferman, John W. Dawson, Jr., Cheryl A. Dawson, Jeremy Avigad, Wilfried Sieg, W. W. Tait, Stephen G. Simpson, John P. Burgess, Akihiro Kanamori, Sy-David Friedman, Peter Koellner, Martin Davis, Warren Goldfarb, Steve Awodey, A. W. Carus, Mark van Atten, Juliette Kennedy, Charles Parsons, Donald A. Martin

Sign In

Please sign in to access your account

Cancel

Not already registered? Create an account now. ×

Sorry, this resource is locked

Please register or sign in to request access. If you are having problems accessing these resources please email lecturers@cambridge.org

Register Sign in
Please note that this file is password protected. You will be asked to input your password on the next screen.

» Proceed

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×

Continue ×

Find content that relates to you

Are you sure you want to delete your account?

This cannot be undone.

Cancel

Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

×
Please fill in the required fields in your feedback submission.
×