Gödel's Unpublished Papers on Foundations of Mathematics

Cached

Download Links

by W. W. Tait
Citations:3 - 1 self

Active Bibliography

Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
4. The Second Incompleteness Theorem. 5. Lengths of Proofs. – Harvey M. Friedman - 2007
4 Gödel’s functional interpretation and its use in current mathematics – Ulrich Kohlenbach
1 PROOF INTERPRETATIONS AND MAJORIZABILITY – Fernando Ferreira
Computability and analysis: the legacy of Alan Turing – Jeremy Avigad, Vasco Brattka - 2012
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
Arithmetic and the Incompleteness Theorems – Richard W. Kaye - 2000
4 Hilbert’s Program Then and Now – Richard Zach - 2005
13 Elimination of Skolem functions for monotone formulas in analysis – Ulrich Kohlenbach
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
2 A most artistic package of a jumble of ideas – Fernando Ferreira
WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT? – Stewart Shapiro
5 The history and concept of computability – Robert I. Soare - 1999
2 Hilbert’s epsilon as an operator of indefinite committed choice – Claus-peter Wirth - 2006
3 On Characterizations of the Basic Feasible Functionals Part II – Robert J. Irwin, et al. - 2002
5 The metamathematics of ergodic theory – Jeremy Avigad - 2009
3 Gödel’s correspondence on proof theory and constructive mathematics – W. W. Tait
Gödel on Intuition and on Hilbert’s finitism – W. W. Tait
5 "Clarifying the Nature of the Infinite": the development of metamathematics and proof theory – Jeremy Avigad, Erich H. Reck - 2001