Gödel’s correspondence on proof theory and constructive mathematics

Gödel’s correspondence on proof theory and constructive mathematics

Cached

Download Links

[home.uchicago.edu]

by W. W. Tait

Citations:

3 - 1 self

BibTeX

@MISC{Tait_gödel’scorrespondence,
    author = {W. W. Tait},
    title = {Gödel’s correspondence on proof theory and constructive mathematics},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

308	Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme. Monatshefte fur Mathematik und Physik - Godel - 1931
195	Une extension de l’interprétation de Gödel à l’analyse et son application à l’élimination des coupures dans l’analyse et la théorie des types - Girard - 1970
112	eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes, Dialectica, Vol: 12 - Godel, Uber - 1958
101	Recherches sur la th'eorie de la d'emonstration - Herbrand - 1930
53	Grundlagen der Mathematik - Hilbert, Bernays - 1934
51	Die formalen regeln der intuitionistischen logik - Heyting - 1930
38	On undecidable proposition of formal mathematical systems - Gödel - 1934
32	Über das Unendliche. Mathematische Annalen, 95, 1926 161-190. Translated as ”On the infinite” in van Heijenoort, From Frege to Gödel: A source book in mathematical logic - Hilbert
32	Predicative Arithmetic - Nelson - 1986
19	Logical Dilemmas. The Life and Work of Kurt Gödel - Dawson - 1997
17	From Brouwer to Hilbert: The Debate on the - Mancosu - 1998
15	On an extension of finitary mathematics which has not yet been used - Gödel - 1972
14	The unsolvability of the Gödel class with identity - Goldfarb - 1984
11	Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie, Mathematische Annalen 122 - Schutte - 1951
9	Undecidable diophantine propositions - Gödel - 1995
8	Die Philosophie der Mathematik und die Hilbertsche Beweistheorie. Blätter für deutsche Philosophie, 4:326–67 - Bernays - 1930
7	Was sind und was sollen die Zahlen”,Braunschweig - Dedekind
7	Gesammelte Werke - Dedekind
7	Sur la non-contradiction de l’arithmétique, Jounal für die reine und angewandteMathematik 166: 1–8. English translation in [Herbrand - Herbrand - 1971
6	Ordinal logics and the characterization of informal notions of proof - Kreisel - 1958
6	Lower bounds for lengthening of proofs after cut-elimination - Orevkov - 1982
5	Abhandlungen zur Philosophie der Mathematik. Wissenschaftliche Buchgesellschaft - Bernays - 1976
5	Stetigkeit und irrationale Zahlen, Braunschweig: Vieweg. in [Dedekind - Dedekind - 1932
5	The present situation in the foundations of mathematics - Gödel - 1995
5	Lecture at Zilsel’s - Gödel - 1995
4	Herbrand Award acceptance speech - Andrews
4	1941]. In what sense is intuitionistic logic constructive?, [Gödel - Gödel - 1995
3	The science of - Kant - 1952
3	Only two letters: The correspondence between Herbrand and Gödel - Sieg
2	Collected Works - Herbrand - 1971
1	Essays on the Theory of Numbers - unknown authors
1	S.Aanderaa [1963]. False lemmas - Dreben, Andrews
1	Russell’s mathematical logic, [Schilpp - unknown authors - 1944
1	Unsigned note on herbrand’s thesis, written b y herbrand himself, Annales de l’Université de Paris 6: 186–189. English translation in [Herbrand - Herbrand - 1971
1	On n-quantifier induction, jsl 37 - Parsons - 1972
1	1944]. The Philosophy of Bertrand - Schilpp