更改

库尔特·哥德尔 Kurt Gödel (查看源代码)

2021年7月12日 (一) 00:20的版本

删除28字节、 2021年7月12日 (一) 00:20

第213行：第213行：

* 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.

第223行：第223行：

* 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

第230行：第230行：

英文翻译:

−

* 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

−

* [[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.

第248行：第248行：

* [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}},

第260行：第260行：

** 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}}.

薄荷

7,129

个编辑