|
2
|
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
|
|
2
|
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
|
|
|
unknown title
– W. W. Tait
|
|
|
In Defense of the Ideal 2nd DRAFT
– W. W. Tait
|
|
4
|
"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
|
|
1
|
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
– Robert I. Soare
- 2009
|
|
25
|
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
|
|
9
|
Number theory and elementary arithmetic
– Jeremy Avigad
- 2003
|
|
2
|
Unfolding finitist arithmetic
– Solomon Feferman, Thomas Strahm
- 2010
|
|
3
|
Computability and Incomputability
– Robert I. Soare
|
|
|
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert’s program
– Solomon Feferman
|
