更改

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

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

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

第231行：第231行：

* 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}}</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}}</ref> ''

* Jean van Heijenoort, 1967. ''A Source Book in Mathematical Logic, 1879–1931''. Harvard Univ. Press.

薄荷

7,129

个编辑