Association for Symbolic Logic (2010)
Authors |
|
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 this book |
Find it on Amazon.com
|
Call number | QA9.2.K87 2010 |
ISBN(s) | 9780521115148 0521115140 |
Options |
![]() ![]() ![]() ![]() |
Download options

Gödel's Reformulation of Gentzen's First Consistency Proof for Arithmetic: The No-Counterexample Interpretation.W. W. Tait
References found in this work BETA
No references found.
Citations of this work BETA
Gödel, Percepção Racional E Compreensão de Conceitos.Sérgio Schultz - 2014 - Revista Latinoamericana de Filosofia 40 (1):47-65.
Similar books and articles
The Gödel Hierarchy and Reverse Mathematics.Stephen G. Simpson - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth.Matthias Baaz (ed.) - 2011 - Cambridge University Press.
Proof Theory. Gödel and the Metamathematical Tradition.Jeremy Avigad - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Gödel and Carnap.Steve Awodey & A. W. Carus - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Generalizations of Gödel's Universe of Constructible Sets.Sy-David Friedman - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
PHILOSOPHY OF MATHEMATICS. What Did Gödel Believe and When Did He Believe It?Martin Davis - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
GENERAL. The Gödel Editorial Project : A Synopsis.Solomon Feferman - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
Analytics
Added to PP index
2010-05-19
Total views
60 ( #168,603 of 2,419,963 )
Recent downloads (6 months)
1 ( #542,808 of 2,419,963 )
2010-05-19
Total views
60 ( #168,603 of 2,419,963 )
Recent downloads (6 months)
1 ( #542,808 of 2,419,963 )
How can I increase my downloads?
Downloads