Linked bibliography for the SEP article " Kurt Gödel" by Juliette Kennedy

This is an automatically generated and experimental page

If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.

This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.

Primary Sources

Gödel's Writings

The Gödel Nachlass is located at Firestone Library of Princeton University with the exception of Gödel's preprint collection, which is housed at the library of the Institute for Advanced Study. The Nachlass itself is the property of the Institute but a microfilm copy of it may be purchased from Brill, http://www.idcpublishers.com/?id=355. All of Gödel's published work, together with a large number of the unpublished material from the Nachlass, together with a selection of Gödel's correspondence is published in Kurt Gödel, Collected Works, volumes I-V.

The Collected Papers of Kurt Gödel

Selected Works of Kurt Gödel

[1929] “I”, Dissertation, University of Vienna. Reprinted in Gödel 1986, pp. 60–101.
[1930] “Die Vollständigkeit der Axiome des logischen Functionenkalküls”, Monatshefte für Mathematik und Physik, 37: 349–360. Reprinted in Gödel 1986, pp. 102–123.
[1931] “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I”, Monatshefte für Mathematik und Physik, 38: 173–198. Reprinted in Gödel 1986, pp. 144–195.
[1932] “Zum intuitionistischen Aussagenkalkül”, Anzeiger der Akademie der Wissenschaften in Wien, 69: 65–66. Reprinted in Gödel 1986, pp. 222–225.
[1933e] “Zur intuitionistischen Arithmetik und Zahlentheorie”, Ergebnisse eines mathematischen Kolloquiums, 4: 34–38. Reprinted in Gödel 1986, pp. 286–295.
[1933f] “Eine Interpretation des intuitionistischen Aussagenkalküls”, Ergebnisse eines mathematischen Kolloquiums 4, 39–40. Reprinted in Gödel 1986, pp. 300–301.
[1933i] “Zum Entscheidungsproblem des logischen Functionenkalküls”, Monatshefte für Matematik und Physik, 40: 433–443. Reprinted in Gödel 1986, pp. 306–326.
[*1933o] “The present situation in the foundations of mathematics”, manuscript. Printed in Gödel 1995, pp. 45–53.
[1934c] Review of Skolem (1933). Zentralblatt für Mathematik und ihre Grenzgebiete, 7: 193–194. Reprinted in Gödel 1986, pp. 379–380.
[1936a] “Über die Länge von Beweisen”, Ergebnisse eines mathematischen Kolloquiums, 7: 23–24. Reprinted in Gödel 1986, pp. 395–399.
[1939a] “Consistency proof for the generalized continuum hypothesis”, Proceedings of the National Academy of Sciences, U.S.A., 25: 220–224. Reprinted in Gödel 1990, pp. 28–32.
[1940] “The Consistency of the Continuum Hypothesis”, Annals of Mathematics Studies, Volume 3, Princeton: Princeton University Press. Reprinted in Gödel 1990, pp. 33–101.
[*1941] “In what sense is intuitionistic logic constructive?”, lecture manuscript. Printed in Gödel 1995, pp. 189–200.
[1944] “Russell's mathematical logic”, The Philosophy of Bertrand Russell (Library of Living Philosophers), P. Schilpp (ed.), New York: Tudor, 1951, pp. 123–153. Reprinted in Gödel 1990, pp. 119–141.
[*1946/9-B2] “Some observations about the relationship between theory of relativity and Kantian philosophy”, manuscript. Printed in Gödel 1995, pp. 230–246.
[*1946/9-C1] “Some observations about the relationship between theory of relativity and Kantian philosophy”, manuscript. Printed in Gödel 1995, pp. 247–259.
[1947] “What is Cantor's continuum problem?”, Amer. Math. Monthly, 54: 515–525. Reprinted in Gödel 1990, pp. 176–187.
[1949a] “A remark on the relationship between relativity theory and idealistic philosophy”, Albert Einstein: Philosopher-Scientist (Library of Living Philosophers), P. Schilpp (ed.), La Salle, IL: Open Court, 1949, pp. 555–562. Reprinted in Gödel 1990, pp. 202–207.
[1949] “An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation,” Reviews of Modern Physics, 21: 447–450. Reprinted in Gödel 1990, pp. 190–198.
[*1951] “Some basic theorems on the foundations of mathematics and their implications”, lecture manuscript. Printed in Gödel 1995, pp. 304–323.
[*1953/9-III] “Is mathematics a syntax of language?”, lecture manuscript. Printed in Gödel 1995, pp. 334–356.
[*1953/9-V] “Is mathematics a syntax of language?,” lecture manuscript. Printed in Gödel 1995, pp. 356–362.
[1958] “Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes”, Dialectica, 12: 280–287. Reprinted in Gödel 1990, pp. 240–251.
[*1961/?] “The modern development of the foundations of mathematics in light of philosophy”, manuscript. Printed in Gödel 1995, pp. 374–387.
[1964] “What is Cantor's continuum problem?, revised version of Gödel 1947, in Benacerraf, P. and Putnam, H. (eds.), 1983, Philosophy of mathematics: selected readings (2nd ed.), Cambridge: Cambridge University Press. Reprinted in Gödel 1990, pp. 254–270.
[*1970] “Ontological proof”, manuscript. Printed in Gödel 1995, pp. 403–404.
[*1970a] “Some considerations leading to the probable conclusion that the true power of the continuum is ℵ2”, manuscript. Printed in Gödel 1995, pp. 420–422.
[*1970b] “A proof of Cantor's continuum hypothesis from a highly plausible axioms about orders of growth”, manuscript. Printed in Gödel 1995, pp. 422–423.

Secondary Sources

Generated Sun Oct 19 05:58:41 2014