The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program (2001)

by Richard Zach
Citations:5 - 3 self

Active Bibliography

4 Hilbert’s Program Then and Now – Richard Zach - 2005
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
JACQUES HERBRAND: LIFE, LOGIC, AND AUTOMATED DEDUCTION – Claus-peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier
5 "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
Arithmetic and the Incompleteness Theorems – Richard W. Kaye - 2000
5 Epsilon-substitution method for the ramified language and # 1 -comprehension rule – Grigori Mints, Sergei Tupailo - 1999
2 Hilbert’s epsilon as an operator of indefinite committed choice – Claus-peter Wirth - 2006
32 Computability and recursion – Robert I. Soare - 1996
BERNAYS AND SET THEORY – Akihiro Kanamori, Heinz-dieter Ebbinghaus, Ulrich Felgner, Juliet Floyd, Wilfried Sieg, William Tait For
John von Neumann and Hilbert's School of Foundations of Mathematics ∗ – Roman Murawski, Adam Mickiewicz
4 Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory – Robert I. Soare - 2009
5 The history and concept of computability – Robert I. Soare - 1999
1 Cut Elimination for a Simple Formulation of Epsilon Calculus – G. Mints - 2007
Consistency - What's Logic Got to Do with It? – Masood Mortazavi - 1996
WWW:http://www.cl.cam.ac.uk/~lp15 Lectures on – Jacques Herbrand, Claus-peter Wirth, Jörg Siekmann, Christoph Benzmüller, Serge Autexier, Claus-peter Wirth, Enrique Schmidt Str, Irving H. Anellis, Paolo Bussotti, Centro Studi Enriques, Lawrence C. Paulson, Jacques Herbrand, Christoph Benzmüller, Serge Autexier - 2007
This SEKI Report was internally reviewed by: – Jacques Herbrand, Christoph Benzmüller, Serge Autexier, Claus-peter Wirth, Enrique Schmidt Str, Irving H. Anellis, Paolo Bussotti, Centro Studi Enriques, Lawrence C. Paulson, Jacques Herbrand, Christoph Benzmüller, Serge Autexier - 2007
4 Proof Theory of Martin-Lof Type Theory -- An – Overview Anton Setzer, Anton Setzer - 2004
Gödel on Intuition and on Hilbert’s finitism – W. W. Tait