7,129
个编辑
更改
跳到导航
跳到搜索
第213行：
第213行： − + 第223行：
第223行： − + 第230行：
第230行： − + − + 第248行：
第248行： − + 第260行：
第260行： − +
→重要出版物
* 1930, "Die Vollständigkeit der Axiome des logischen Funktionenkalküls." ''Monatshefte für Mathematik und Physik'' '''37''': 349–60.
* 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.
* 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.
* 1932, "Zum intuitionistischen Aussagenkalkül", ''Anzeiger Akademie der Wissenschaften Wien'' '''69''': 65–66.
* 1940. ''The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory.'' Princeton University Press.
* 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.
* 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
* 1950, "Rotating Universes in General Relativity Theory." ''Proceedings of the international Congress of Mathematicians in Cambridge,'' '''1''': 175–81
英文翻译:
英文翻译:
* 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, 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
* 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.
* 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. "The completeness of the axioms of the functional calculus of logic," 582–91.
* [https://web.archive.org/web/20160304080342/http://www.geocities.ws/kandathil/foundations_mathematics.html "The modern development of the foundations of mathematics in the light of philosophy"], 1961, unpublished.
* [https://web.archive.org/web/20160304080342/http://www.geocities.ws/kandathil/foundations_mathematics.html "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]].
* ''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 I: Publications 1929–1936 {{isbn|978-0-19-503964-1}} / Paperback: {{isbn|978-0-19-514720-9}},
** Volume V: Correspondence, H–Z {{isbn|978-0-19-850075-9}}.
** Volume V: Correspondence, H–Z {{isbn|978-0-19-850075-9}}.
* ''Philosophische Notizbücher / Philosophical Notebooks'': De Gruyter: Berlin/München/Boston. Editor: [[:de:Eva-Maria_Engelen|Eva-Maria Engelen]].
* ''Philosophische Notizbücher / Philosophical Notebooks'': De Gruyter: Berlin/München/Boston. Editor: :de:Eva-Maria_Engelen|Eva-Maria Engelen.
** Volume 1: Philosophie I Maximen 0 / Philosophy I Maxims 0 {{isbn|978-3-11-058374-8}}.
** Volume 1: Philosophie I Maximen 0 / Philosophy I Maxims 0 {{isbn|978-3-11-058374-8}}.