"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory (2001)

Cached

Download Links

by Jeremy Avigad , Erich H. Reck
Citations:5 - 2 self

Active Bibliography

4 Hilbert’s Program Then and Now – Richard Zach - 2005
Hilbert and Set Theory – Burton Dreben , Akihiro Kanamori - 1997
17 Number theory and elementary arithmetic – Jeremy Avigad - 2003
Computability and analysis: the legacy of Alan Turing – Jeremy Avigad, Vasco Brattka - 2012
Feasible Proofs and Computations: Partnership and Fusion – Alexander A. Razborov
41 Pseudorandom Generators Hard for k-DNF Resolution and Polynomial Calculus Resolution – Alexander A. Razborov - 2003
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
10 Proof complexity of pigeonhole principles – Alexander A. Razborov - 2002
History of Constructivism in the 20th Century – A.S. Troelstra
Arithmetic and the Incompleteness Theorems – Richard W. Kaye - 2000
10 Disjoint NP-Pairs and . . . – Olaf Beyersdorff
6 Forcing in Proof Theory – Jeremy Avigad - 2004
1 The computational content of classical arithmetic ∗ – Jeremy Avigad - 2009
5 The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program – Richard Zach - 2001
8 The Realm of Ordinal Analysis – Michael Rathjen - 1997
10 Hilbert’s twenty-fourth problem – Rüdiger Thiele - 2001
3 Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic – Richard Zach
3 Things that can and things that can't be done in PRA – Ulrich Kohlenbach - 1998