Kurt Gödel: Essays for His Centennial

Association for Symbolic Logic (2010)
Abstract
Machine generated contents note: 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.
Keywords Logic, Symbolic and mathematical
Categories (categorize this paper)
Buy the book $56.00 used (50% off)   $59.90 new (47% off)   $64.85 direct from Amazon (42% off)    Amazon page
Call number QA9.2.K87 2010
ISBN(s) 9780521115148   0521115140
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 10,999
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
Chapters BETA
References found in this work BETA

No references found.

Citations of this work BETA

No citations found.

Similar books and articles
Martin Davis (2010). PHILOSOPHY OF MATHEMATICS. What Did Gödel Believe and When Did He Believe It? In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Richard Tieszen (1992). Kurt Godel and Phenomenology. Philosophy of Science 59 (2):176-194.
Sy-David Friedman (2010). Generalizations of Gödel's Universe of Constructible Sets. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Steve Awodey & A. W. Carus (2010). Gödel and Carnap. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Jeremy Avigad (2010). Proof Theory. Gödel and the Metamathematical Tradition. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Stephen G. Simpson (2010). The Gödel Hierarchy and Reverse Mathematics. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Solomon Feferman (2010). GENERAL. The Gödel Editorial Project : A Synopsis. In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Analytics

Monthly downloads

Added to index

2010-05-19

Total downloads

24 ( #71,651 of 1,101,075 )

Recent downloads (6 months)

4 ( #81,070 of 1,101,075 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Start a new thread
Order:
There  are no threads in this forum
Nothing in this forum yet.