Gödel’s correspondence on proof theory and constructive mathematics


Download Links

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

Active Bibliography

Gödel on Intuition and on Hilbert’s finitism – W. W. Tait
3 Gödel's Unpublished Papers on Foundations of Mathematics – W. W. Tait
4 Hilbert’s Program Then and Now – Richard Zach - 2005
Arithmetic and the Incompleteness Theorems – Richard W. Kaye - 2000
5 "Clarifying the Nature of the Infinite": the development of metamathematics and proof theory – Jeremy Avigad, Erich H. Reck - 2001
32 Computability and recursion – Robert I. Soare - 1996
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION – Claus-peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
Computability and analysis: the legacy of Alan Turing – Jeremy Avigad, Vasco Brattka - 2012
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
In Defense of the Ideal 2nd DRAFT – W. W. Tait
3 Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic – Richard Zach
1 Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert’s program – Solomon Feferman
8 Programmability of Chemical Reaction Networks – Matthew Cook, David Soloveichik, Erik Winfree, Jehoshua Bruck
5 The history and concept of computability – Robert I. Soare - 1999
Kurt Gödel, `Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I' (1931) – Richard Zach
3 On Characterizations of the Basic Feasible Functionals Part II – Robert J. Irwin, et al. - 2002
3 Computability and Incomputability – Robert I. Soare
2 Remarks On Finitism – W. W. Tait - 2000