|
|
Gödel on Intuition and on Hilbert’s finitism
– W. W. Tait
|
|
2
|
Gödel's Unpublished Papers on Foundations of Mathematics
– W. W. Tait
|
|
2
|
Hilbert’s Program Then and Now
– Richard Zach
- 2005
|
|
|
Arithmetic and the Incompleteness Theorems
– Richard W. Kaye
- 2000
|
|
4
|
"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory
– Jeremy Avigad, Erich H. Reck
- 2001
|
|
3
|
Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic
– Richard Zach
|
|
2
|
Remarks On Finitism
– W. W. Tait
- 2000
|
|
|
unknown title
– W. W. Tait
|
|
25
|
Computability and recursion
– Robert I. Soare
- 1996
|
|
1
|
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
|
|
|
Hilbert and Set Theory
– Burton Dreben , Akihiro Kanamori
- 1997
|
|
|
In Defense of the Ideal 2nd DRAFT
– W. W. Tait
|
|
|
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert’s program
– Solomon Feferman
|
|
|
Kurt Gödel, `Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I' (1931)
– Richard Zach
|
|
7
|
Programmability of Chemical Reaction Networks
– Matthew Cook, David Soloveichik, Erik Winfree, Jehoshua Bruck
|
|
3
|
On Characterizations of the Basic Feasible Functionals Part II
– Robert J. Irwin, et al.
- 2002
|
|
3
|
Computability and Incomputability
– Robert I. Soare
|
|
1
|
Cantor's Grundlagen and the Paradoxes of Set Theory
– W. W. Tait
|
