Gödel on Intuition and on Hilbert’s finitism

Cached

Download Links

by W. W. Tait

Active Bibliography

4 Hilbert’s Program Then and Now – Richard Zach - 2005
3 Gödel’s correspondence on proof theory and constructive mathematics – W. W. Tait
JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION – Claus-peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
3 Gödel's Unpublished Papers on Foundations of Mathematics – W. W. Tait
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
Arithmetic and the Incompleteness Theorems – Richard W. Kaye - 2000
In Defense of the Ideal 2nd DRAFT – W. W. Tait
5 "Clarifying the Nature of the Infinite": the development of metamathematics and proof theory – Jeremy Avigad, Erich H. Reck - 2001
Conceptions of the Continuum – Solomon Feferman
5 The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program – Richard Zach - 2001
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
32 Computability and recursion – Robert I. Soare - 1996
1 Gödel’s incompleteness theorem and the philosophy of open systems – Carlo Cellucci - 1992
3 Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic – Richard Zach
17 Number theory and elementary arithmetic – Jeremy Avigad - 2003
3 Unfolding finitist arithmetic – Solomon Feferman, Thomas Strahm - 2010
5 The history and concept of computability – Robert I. Soare - 1999
3 Computability and Incomputability – Robert I. Soare
2 Remarks On Finitism – W. W. Tait - 2000