Hilbert and Set Theory (1997)

Cached

Download Links

by Burton Dreben , Akihiro Kanamori

Active Bibliography

4 Hilbert’s Program Then and Now – Richard Zach - 2005
5 "Clarifying the Nature of the Infinite": the development of metamathematics and proof theory – Jeremy Avigad, Erich H. Reck - 2001
9 On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness – Ulrich Kohlenbach - 1997
1 PROOF INTERPRETATIONS AND MAJORIZABILITY – Fernando Ferreira
13 Elimination of Skolem functions for monotone formulas in analysis – Ulrich Kohlenbach
18 Higher Order Logic – Daniel Leivant - 1994
3 Boolean relation theory and . . . – Harvey M. Friedman - 2011
4 Gödel’s functional interpretation and its use in current mathematics – Ulrich Kohlenbach
10 Types in logic and mathematics before 1940 – Fairouz Kamareddine, Twan Laan, Rob Nederpelt - 2002
Kurt Gödel, `Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme I' (1931) – Richard Zach
11 Does Mathematics Need New Axioms? – Solomon Feferman - 1999
Arithmetic and the Incompleteness Theorems – Richard W. Kaye - 2000
3 A simple proof of Parsons' theorem – Fernando Ferreira
5 The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program – Richard Zach - 2001
3 Things that can and things that can't be done in PRA – Ulrich Kohlenbach - 1998
24 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
Logic and Computerisation in mathematics? – Fairouz Kamareddine - 2009
The impact of computers on the formalisation and study of language – Fairouz Kamareddine - 2005
Um Ceclo de Computeraçao – Fairouz Kamareddine