Gödel's Unpublished Papers on Foundations of Mathematics

Gödel's Unpublished Papers on Foundations of Mathematics

Cached

Download Links

[home.uchicago.edu]

by W. W. Tait

Citations:

2 - 1 self

BibTeX

@MISC{Tait_gödel'sunpublished,
    author = {W. W. Tait},
    title = {Gödel's Unpublished Papers on Foundations of Mathematics},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

395	The formulae-as-types notion of construction - Howard - 1980
191	Intensional interpretations of functionals of finite type - Tait - 1967
112	eine bisher noch nicht benutzte Erweiterung des finiten Standpunktes, Dialectica, Vol: 12 - Godel, Uber - 1958
65	Eine interpretation des intuitionistischen aussagenkalküls. Ergebnisse eines Mathematischen Kolloquiums - Gödel - 1933
65	Über die bausteine der mathematischen logik - Schönfinkel - 1924
53	Grundlagen der Mathematik - Hilbert, Bernays - 1934
53	Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics, Recursive Function Theory - Spector
52	Gödel’s functional (“Dialectica”) interpretation - Avigad, Feferman
51	Recursive functionals and quantifiers of finite types - Kleene - 1959
33	Zur intuitionistischen Arithmetik und Zahlentheorie. Ergebnisse eines mathematischen Kolloquiums - Gödel - 1933
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
27	What is Cantor’s continuum problem - Gödel - 1990
25	Über unendliche, lineare Punktmannigfaltigkeiten - Cantor - 1984
24	Zur Widerspruchsfreiheit der Zahlentheorie. Mathematische Annalen 117 - Ackermann - 1940
24	Russell’s mathematical logic - Gödel - 1964
23	Finite functions and the necessary use of large cardinals - Friedman - 1998
17	Reflections on Kurt Gödel - Wang - 1988
15	Some basic theorems on the foundations of mathematics and their implications - Gödel - 1951
15	On an extension of finitary mathematics which has not yet been used - Gödel - 1972
14	Measurable cardinals and constructible sets. Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques (continued from 1983 by Bulletin of the Polish Academy of Sciences - Scott - 1961
13	Platonism and mathematical intuition in Kurt Gödel’s thought’, The Bulletin of Symbolic Logic - Parsons - 1995
12	Grundlagen der Arithmetik, Breslau: Verlag von Wilhelm Koebner. German/English edition entitled “The Foundations of Arithmeti”, Translation into English by J.L - Frege - 1950
12	What is Cantor’s continuum problem?, American Mathematical Monthly 54: 515–525 - Gödel - 1990
12	A Logical Journey. From Gödel to Philosophy - Wang - 1996
11	Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie, Mathematische Annalen 122 - Schutte - 1951
9	Undecidable diophantine propositions - Gödel - 1995
9	Axiom schemata of strong infinity in axiomatic set theory - Lévy - 1960
8	Does mathematics need new axioms - Feferman, Friedman, et al.
7	The modern development of the foundations of mathematics in the light of philosophy - Gödel - 1995
7	Foundations of intuitionistic logic - Intuitionism, Kreisel, et al. - 1962
6	Die Widerspruchfreiheit der reinen Zahlentheorie. Mathematische Annalen 112 (1936) 495–565 English translation - Gentzen - 1950
6	A theory of constructions equivalent to arithmetic - Goodman - 1970
5	1961], Classifying inaccessible cardinals (abstract), Notices A.M.S - Hanf, Scott
5	Truth and proof: the Platonism of mathematics, Synthese 69 - Tait - 1986
5	Numbers and functions in Hilbert’s finitism, Taiwanese Journal for Philosophy and History of Science 10 - Zach
4	1941]. In what sense is intuitionistic logic constructive?, [Gödel - Gödel - 1995
4	Remarks on reflection principles, large cardinals, and elementary embeddings - Reinhardt - 1974
3	On the interpretation of non-finitist proofs—part i - Kreisel
3	Realism and the debate on impredicativity - Parsons - 1998
3	A second order theory of functionals of higher type, with two appendices. Appendix A: Intensional functionals. Appendix B. An interpretation of functionals by convertible terms., Stanford Seminar Report pp. 171–206. A published version is [Tait - Tait - 1967
2	The present situation in the foundations of mathematics, [Gödel - Gödel - 1995
2	Sur la logique intuitionniste, Académie Royale de - Heyting
1	The iterative conception of set, The Journal of Philosophy 68: 215–232 - Boolos
1	Rezension der Schrift von G. Frege Die Grundlagen der Arithmetik, Deutsche Literaturzeitung 6: 728–729 - Cantor
1	Lecture at - Gödel - 1995
1	Brown university lecture, [Gödel - Gödel - 1995
1	Is mathematics syntax of language?, [Gödel - Gödel - 1995
1	expanded version of [Gödel - Revised - 1947
1	A distinction in platonism, Under Tall Trees: A Tribute to Dirk van de Kaa - Parsons
1	Eine Grenze für die Beweisebarkeit der transfinitien Induction in der verzweigten Typenlogik, Archiv für mathematische Logik und Grundlagenforschung (7 - Schütte - 1965