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 | ||||||||||
| Buy the book | $85.16 direct from Amazon (19% off) $90.14 used (15% off) Amazon page | |||||||||
| Call number | QA9.2.K87 2010 | |||||||||
| ISBN(s) | 9780521115148 0521115140 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesMartin 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.
Georg Kreisel (1991). Review: Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort, Collected Works of Kurt Godel 1938-1974. [REVIEW] Journal of Symbolic Logic 56 (3):1085-1089.
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.
Matthias Baaz (ed.) (2011). Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge University Press.
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 index2010-05-19Total downloads19 ( #65,278 of 556,837 )Recent downloads (6 months)3 ( #27,255 of 556,837 )How can I increase my downloads? |
My notes
Discussion
