Kurt Gödel : essays for his centennial [EBook] / edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson.
Kurt Gödel : essays for his centennial [EBook] / edited by Solomon Feferman, Charles Parsons, Stephen G. Simpson.
Kurt Gödel (19061978) 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...
Personal Name(s):  Gödel, Kurt, (editor) 

Feferman, Solomon, (editor) / Parsons, Charles, (editor) / Simpson, Stephen G., (editor)  
Imprint: 
Cambridge :
Cambridge University Press,
2010

Physical Description: 
1 online resource (x, 373 pages) 
Note: 
englisch 
ISBN: 
9780511750762 9781107683464 9780521115148 
Series Title: 
Lecture notes in logic ;
33 
Subject (LOC):  
Full Text 
Table of Contents:
 GENERAL. The Gödel editorial project : a synopsis / Solomon Feferman
 Future tasks for Gödel scholars / John W. Dawson, Jr., and Cheryl A. Dawson
 PROOF THEORY. Gödel and the metamathematical tradition / Jeremy Avigad
 Only two letters : the correspondence between Herbrand and Gödel / Wilfried Sieg
 Gödel's reformulation of Gentzen's first consistency proof for arithmetic : the nocounterexample interpretation / W.W. Tait
 Gödel on intuition and on Hilbert's finitism / W.W. Tait
 The Gödel hierarchy and reverse mathematics / Stephen G. Simpson
 On the outside looking in : a caution about conservativeness / John P. Burgess
 SET THEORY. Gödel and set theory / Akihiro Kanamori
 Generalizations of Gödel's universe of constructible sets / SyDavid Friedman
 On the question of absolute undecidability / Peter Koellner
 PHILOSOPHY OF MATHEMATICS. What did Gödel believe and when did he believe it? / Martin Davis
 On Gödel's way in : the influence of Rudolf Carnap / Warren Goldfarb
 Gödel and Carnap / Steve Awodey and A.W. Carus
 On the philosophical development of Kurt Gödel / Mark van Atten and Juliette Kennedy
 Platonism and mathematical intuition in Kurt Gödel's thought / Charles Parsons
 Gödel's conceptual realism / Donald A. Martin.