Kurt Gödel

== Bibliography ==

=== 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. ''[[iarchive:consistencyofaxi0054gode|The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory]].'' Princeton University Press.
* 1947. [https://archive.org/details/AMMTop/What_is_Cantors_Continuum_Problem/mode/1up?view=theater "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,'' Vol. 1, pp.&nbsp;175–81.

In English translation:

* Kurt Gödel, 1992. ''On Formally Undecidable Propositions Of Principia Mathematica And Related Systems'', tr. B. Meltzer, with a comprehensive introduction by [[R. B. Braithwaite|Richard Braithwaite]]. Dover reprint of the 1962 Basic Books edition.
* Kurt Gödel, 2000.<ref>{{cite journal|doi=10.1007/BF01700692|author=Kurt Godel |year=1931|url=http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf|title=Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I|trans-title=On formally undecidable propositions of Principia Mathematica and related systems I|journal=Monatshefte für Mathematik und Physik|volume= 38|pages= 173–98|s2cid=197663120 }}</ref> ''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. [[iarchive:onformallyundeci0000kurt|"On formally undecidable propositions of ''Principia Mathematica'' and related systems,"]] 596–616.
** 1931a. "On completeness and consistency," 616–17.
* ''Collected Works'': Oxford University Press: New York.  Editor-in-chief: [[Solomon Feferman]].
** [[iarchive:collectedworks0001gode|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}},
** [https://archive.org/details/KurtGdelCollectedWorksVolumeIII1995/Kurt_G%C3%B6del_Collected_Works_Volume_I_1929-1936__1986/mode/1up?q=%22Rotating+Universes+in+General+Relativity+Theory%22 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}}.
* ''Philosophische Notizbücher / Philosophical Notebooks'': De Gruyter: Berlin/München/Boston. Editor: {{ill|Eva-Maria Engelen|de|vertical-align=sup}}.
** Volume 1: Philosophie I Maximen 0 / Philosophy I Maxims 0 {{isbn|978-3-11-058374-8}}.
** Volume 2: Zeiteinteilung (Maximen) I und II / Time Management (Maxims) I and II {{ISBN|978-3-11-067409-5}}.
** Volume 3: Maximen III / Maxims III {{ISBN|978-3-11-075325-7}}.
** Volume 4: Maximen IV / Maxims IV {{ISBN|9783110772944}}.
** Volume 5: Maximen V / Maxims V {{ISBN|9783111081144}}.