 | Kurt Gödel: essays for his centennial / ed. by S.Feferman, Ch.Parsons, S.G.Simpson. - Cambridge: Cambridge University Press, 2010. - x, 373 p. - Incl. bibl. ref. - (Lecture notes in logic). - ISBN 978-0-521-11514-8
|
Introduction ................................................... ix
GENERAL
Solomon Feferman
The Gödel editorial project: A synopsis ......................... 3
John W. Dawson, Jr., and Cheryl A. Dawson
Future tasks for Gödel scholars ................................ 21
PROOF THEORY
Jeremy Avigad
Gödel and the metamathematical tradition ....................... 45
Wilfried Sieg
Only two letters: The correspondence between Herbrand
and Gödel ...................................................... 61
W.W. Tait
Gödel's reformulation of Gentzen's first consistency proof
for arithmetic: The no-counterexample interpretation ........... 74
W.W. Tait
Gödel on intuition and on Hilbert's finitism ................... 88
Stephen G. Simpson
The Gödel hierarchy and reverse mathematics ................... 109
John P. Burgess
On the outside looking in: A caution about conservativeness ... 128
SET THEORY
Akihiro Kanamori
Gödel and set theory .......................................... 145
Sy-David Friedman
Generalisations of Gödel's universe of constructible sets ..... 181
Peter Koellner
On the question of absolute undecidability .................... 189
PHILOSOPHY OF MATHEMATICS
Martin Davis
What did Gödel believe and when did he believe it? ............ 229
Warren Goldfarb
On Gödel's way in: The influence of Rudolf Carnap ............. 242
Steve Awodey and A.W. Carus
Gödel and Carnap .............................................. 252
Mark van Atten and Juliette Kennedy
On the philosophical development of Kurt Gödel ................ 275
Charles Parsons
Platonism and mathematical intuition in Kurt Gödel's
thought ....................................................... 326
Donald A. Martin
Gödel's conceptual realism .................................... 356
|
|
