Skip to main content
SpringerLink
Log in

In memoriam kurt Gödel 28 April 1906-14 January 1978

Kurt Gödel’s intellectual development

  • Department
  • Published:
The Mathematical Intelligencer Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Bibliography of Kurt Gödel

  1. Die Vollständigkeit der Axiome des logischen Funktionenkalküls,Monatshefte für Mathematik und Physik 37 (1930): 34–360. See item 28.

  2. Einige metamathematische Resultate über Entschei-dungsdefinitheit und Widerspruchsfreiheit,Anzeiger der Akademie der Wissenschaften in Wien 67 (1930): 214–215. See item 28.

  3. Diskussion zur Grundlegung der Mathematik,Erkenntnis 2 (1931/32): 147–151.

  4. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I,Monatshefte für Mathematik und Physik 38 (1831): 173–198. Italian translation in: Introduzione ai problemi delľassiomatica, by Evandro Agazzi, Milano 1961. See also items 27, 28.

  5. Zum intuitionistischen Aussagenkalkül,Anzeiger der Akademie der Wissenschaften in Wien 69 (1932): 65–66.

    Google Scholar 

  6. Ein Speziafall des Entscheidungsproblems der theoretischen Logik,Ergebnisse eines mathematischen Kolloquiums, ed. by Karl Menger,2 (1929/30): 27–28.

  7. Über Vollständigkeit und Widerspruchsfreiheit,ibid. 3 (1930/31): 12–13. See item 28.

  8. Eine Eigenschaft der Realisierungen des Aussagenkalküls,ibid.: 20–21.

  9. Eine Interpretation des intuitionistischen Aussagenkalküls,ibid. 4 (1931/31): 39–40.

  10. Über Unabhängigkeits-beweise im Aussagenkalkül,ibid.: 9–10.

  11. Zur intuitionistischen Arithmetik und Zahlen-theorie,ibid.: 34–38. See item 27.

  12. Bemerkung über projektive Abbildungen,ibid. 5 (1932/33): 1.

  13. Über die Länge von Beweisen,ibid. 7 (1934/35): 2324–. See item 27.

  14. Zum Entscheidungsproblem des logischen Funktionen-kalküls,Monatshefte für Mathematik und Physik 40 (1933): 433–443.

    Google Scholar 

  15. On Undecidable Propositions of Formal Mathematical Systems (Mimeographed notes of lectures given in 1934): 433–443.

  16. The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis,Proc. Nat. Acad. Sci. USA 24 (1938): 556–557.

    Google Scholar 

  17. Consistency-Proof for the Generalized Continuum-Hypothesis,Proc. Nat. Acad. Sci. USA 25 (1939): 220–224.

    Google Scholar 

  18. The Consistency of the Continuum Hypothesis,Annals of Mathematics Studies 3, Princeton University Press, 1940, 66p. Second printing, revised and with some notes added, 1951, 69p. Seventh printing, with some notes added, 1966, 72p.

  19. Russell’s Mathematical Logic, in:The Philosophy of Bertrand Russell, ed. by P. A. Schilpp, Evanston and Chicago 1944: 123–153. See item 26.

  20. What is Cantor’s Continuum Problem?Amer. Math. Monthly 54 (1947): 515–525. See item 26.

  21. An Example of a New Type of Cosmological Solution of Einstein’s Field Equations of Gravitation,Rev. Modern Physics 21 (1949): 447–450.

  22. A Remark about the Relationship between Relativity Theory and Idealistic Philosophy in:Albert Einstein,Philosopher-Scientist, ed. by P. A. Schilpp, Evanston 1949: 555–562. German translation with some additions to the footnotes in:Albert Einstein als Philosoph und Natur-forscher, Kohlhammer 1955: 406–412.

  23. Rotating Universes in General Relativity Theory,Proceedings of the International Congress of Mathematicians in Cambridge, Mass.,1950, vol. 1: 174–181.

  24. Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes,Dialectica 12 (1958): 280–287. Revised English edition to appear in Dialectica.

  25. Remarks before the Princeton Bicentennial Conference on Problems of Mathematics, inThe Undecidable, ed. by Martin Davis, New York 1965: 84–86.

  26. A reprint of item 19 and a revised and enlarged edition of item 20 were published in :Philosophy of Mathematics, ed. by P. Benacerraf and H. Putnam, Prentice Hall 1964: 211–232, 258–273.

  27. English translations of items 4, 11, 13 and a revised and enlarged edition of item 15 were published in:The Undecidable, ed. by Martin Davis, New York 1965: 4–38, 75–81, 82–83, 39–75.

  28. English translations of items 1, 2, 4, 7, with some notes by the author, were published in:From Frege to Gödel, ed. by Jean van Heijenoort, Harvard University Press 1967: 583–591, 595–596, 596–616, 616–617.

Download references

Author information

Authors and Affiliations

  1. Rockefeller University, New York, USA

    Hao Wang

Authors
  1. Hao Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wang, H. In memoriam kurt Gödel 28 April 1906-14 January 1978. The Mathematical Intelligencer 1, 182–185 (1978). https://doi.org/10.1007/BF03023270

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03023270

Keywords

Search

Navigation