Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic

by Richard Zach
Citations:3 - 2 self

Active Bibliography

4 Hilbert’s Program Then and Now – Richard Zach - 2005
JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION – Claus-peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
5 The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program – Richard Zach - 2001
5 "Clarifying the Nature of the Infinite": the development of metamathematics and proof theory – Jeremy Avigad, Erich H. Reck - 2001
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
2 Hilbert’s epsilon as an operator of indefinite committed choice – Claus-peter Wirth - 2006
7 The art of ordinal analysis – Michael Rathjen - 2006
• allow relations F n and G n (n ≥ 1) to be distinct even when The Theory of Relations, Complex Terms, and a Connection Between λ and ɛ Calculi – Edward N. Zalta
Gödel on Intuition and on Hilbert’s finitism – W. W. Tait
G.Moser R.Zach The Epsilon Calculus and – Herbrand Complexity - 2005
2 The epsilon calculus and Herbrand Complexity – G. Moser, R. Zach - 2006
5 The metamathematics of ergodic theory – Jeremy Avigad - 2009
5 Epsilon-substitution method for the ramified language and # 1 -comprehension rule – Grigori Mints, Sergei Tupailo - 1999
Arithmetic and the Incompleteness Theorems – Richard W. Kaye - 2000
Kurt Gödel, `Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I' (1931) – Richard Zach
3 Gödel’s correspondence on proof theory and constructive mathematics – W. W. Tait
WE HOLD THESE TRUTHS TO BE SELF-EVIDENT: BUT WHAT DO WE MEAN BY THAT? – Stewart Shapiro
Conceptions of the Continuum – Solomon Feferman
1 Truth and the foundations of mathematics. An introduction – H. G. Dales, G. Oliveri