"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

Documents Related by Co-Citation

14 Probleme der Grundlegung der Mathematik’, Mathematische Annalen 102 – D Hilbert - 1929
12 Hilbert's Programs: 1917-1922 – Wilfried Sieg - 1999
7 Weak theories of nonstandard arithmetic and analysis – Jeremy Avigad - 2001
50 The Lengths of Proofs – Pavel Pudlák - 1998
15 1993] “Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically Applicable – Solomon Feferman
76 A mathematical incompleteness in Peano arithmetic, Handbook for mathematical logic – Jeff Paris, Leo Harrington - 1977
69 Gödel's Functional ("Dialectica") Interpretation – Jeremy Avigad, Solomon Feferman - 1998
66 A symmetric lambda calculus for classical program extraction, Information and computation – F Barbanera, S Berardi - 1996
1115 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
1 On Gödel’s awareness of Skolem’s Helsinki lecture. History and Philosophy of Logic – Mark van Atten - 2005
1 On the Philosophical Development of Kurt Gödel – Mark van Atten, Juliette Kennedy
1 Awodey and André W. Carus. How Carnap could have replied to Gödel – Steve
1 Completeness and categoricity, part I: 19th century axiomatics to 20th century metalogic. History and Philosophy of Logic 23:1–30 – Steve Awodey, Erich H Reck - 2002
1 Mathematical logic – Frank Plumpton Ramsey - 1926
4 Hilbert and his mathematical work – David - 1944
4 Kurt Gödel: conviction and caution. Philosophia Naturalis, 21: 546–562 – S Feferman - 1984
21 From Mathematics to Philosophy – H Wang - 1974
5 From Frege to Gödel: a sourcebook in mathematical logic – Jean van Heijenoort - 1967
6 Collected Works – K Gödel - 1986