Kurt Gödel - Important Publications

Important Publications

In German:

• 1930, "Die Vollständigkeit der Axiome des logischen Funktionenkalküls." Monatshefte für Mathematik und Physik 37: 349–60.
• 1931, "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." Monatshefte für Mathematik und Physik 38: 173–98.
• 1932, "Zum intuitionistischen Aussagenkalkül", Anzeiger Akademie der Wissenschaften Wien 69: 65–66.

In English:

• 1940. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton University Press.
• 1947. "What is Cantor's continuum problem?" The American Mathematical Monthly 54: 515–25. Revised version in Paul Benacerraf and Hilary Putnam, eds., 1984 (1964). Philosophy of Mathematics: Selected Readings. Cambridge Univ. Press: 470–85.
• 1950, "Rotating Universes in General Relativity Theory." Proceedings of the international Congress of Mathematicians in Cambridge, 1: 175–81

In English translation:

• Kurt Godel, 1992. On Formally Undecidable Propositions Of Principia Mathematica And Related Systems, tr. B. Meltzer, with a comprehensive introduction by Richard Braithwaite. Dover reprint of the 1962 Basic Books edition.
• Kurt Godel, 2000. On Formally Undecidable Propositions Of Principia Mathematica And Related Systems, tr. Martin Hirzel
• Jean van Heijenoort, 1967. A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press.
  • 1930. "The completeness of the axioms of the functional calculus of logic," 582–91.
  • 1930. "Some metamathematical results on completeness and consistency," 595–96. Abstract to (1931).
  • 1931. "On formally undecidable propositions of Principia Mathematica and related systems," 596–616.
  • 1931a. "On completeness and consistency," 616–17.
• "My philosophical viewpoint", c. 1960, unpublished.
• "The modern development of the foundations of mathematics in the light of philosophy", 1961, unpublished.

• Collected Works: Oxford University Press: New York. Editor-in-chief: Solomon Feferman.
  • Volume I: Publications 1929–1936 ISBN 978-0-19-503964-1 / Paperback:ISBN 978-0-19-514720-9,
  • Volume II: Publications 1938–1974 ISBN 978-0-19-503972-6 / Paperback:ISBN 978-0-19-514721-6,
  • Volume III: Unpublished Essays and Lectures ISBN 978-0-19-507255-6 / Paperback:ISBN 978-0-19-514722-3,
  • Volume IV: Correspondence, A–G ISBN 978-0-19-850073-5,
  • Volume V: Correspondence, H–Z ISBN 978-0-19-850075-9.