7,129
个编辑
更改
跳到导航
跳到搜索
第302行：
第302行： − + 第308行：
第308行： − + − + 第318行：
第318行： − + − + − + 第332行：
第332行： +
→进一步阅读
* [[Stephen Kleene]], 1967. ''Mathematical Logic''. Dover paperback reprint c. 2001.
* [[Stephen Kleene]], 1967. ''Mathematical Logic''. Dover paperback reprint c. 2001.
* Stephen Kleene, 1980. ''Introduction to Metamathematics''. North Holland {{isbn|0-7204-2103-9}} (Ishi Press paperback. 2009. {{isbn|978-0-923891-57-2}})
* Stephen Kleene, 1980. ''Introduction to Metamathematics''. North Holland (Ishi Press paperback. 2009. )
* [[J.R. Lucas]], 1970. ''The Freedom of the Will''. Clarendon Press, Oxford.
* [[J.R. Lucas]], 1970. ''The Freedom of the Will''. Clarendon Press, Oxford.
* [[Ernest Nagel]] and Newman, James R., 1958. ''Gödel's Proof.'' New York Univ. Press.
* [[Ernest Nagel]] and Newman, James R., 1958. ''Gödel's Proof.'' New York Univ. Press.
* Procházka, Jiří, 2006, 2006, 2008, 2008, 2010. ''Kurt Gödel: 1906–1978: Genealogie''. ITEM, Brno. Volume I. Brno 2006, {{isbn|80-902297-9-4}}. In German, English. Volume II. Brno 2006, {{isbn|80-903476-0-6}}. In German, English. Volume III. Brno 2008, {{isbn|80-903476-4-9}}. In German, English. Volume IV. Brno, Princeton 2008, {{isbn|978-80-903476-5-6}}. In German, English Volume V, Brno, Princeton 2010, {{isbn|80-903476-9-X}}. In German, English.
* Procházka, Jiří, 2006, 2006, 2008, 2008, 2010. ''Kurt Gödel: 1906–1978: Genealogie''. ITEM, Brno. Volume I. Brno 2006,. In German, English. Volume II. Brno 2006,. In German, English. Volume III. Brno 2008,. In German, English. Volume IV. Brno, Princeton 2008,. In German, English Volume V, Brno, Princeton 2010,. In German, English.
* Procházka, Jiří, 2012. "Kurt Gödel: 1906–1978: Historie". ITEM, Brno, Wien, Princeton. Volume I. {{isbn|978-80-903476-2-5}}. In German, English.
* Procházka, Jiří, 2012. "Kurt Gödel: 1906–1978: Historie". ITEM, Brno, Wien, Princeton. Volume I.. In German, English.
* [[Ed Regis (author)|Ed Regis]], 1987. ''Who Got Einstein's Office?'' Addison-Wesley Publishing Company, Inc.
* [[Ed Regis (author)|Ed Regis]], 1987. ''Who Got Einstein's Office?'' Addison-Wesley Publishing Company, Inc.
* [[Olga Taussky-Todd]], 1983. [http://calteches.library.caltech.edu/605/02/Todd.pdf Remembrances of Kurt Gödel]. Engineering & Science, Winter 1988.
* [[Olga Taussky-Todd]], 1983. [http://calteches.library.caltech.edu/605/02/Todd.pdf Remembrances of Kurt Gödel]. Engineering & Science, Winter 1988.
* Gödel, Alois, 2OO6. Brünn 1679–1684. ITEM, Brno 2OO6, edited by Jiří Procházka, {{ISBN|80-902297-8-6}}
* Gödel, Alois, 2OO6. Brünn 1679–1684. ITEM, Brno 2OO6, edited by Jiří Procházka,
* Procházka, Jiří 2017. "Kurt Gödel: 1906–1978: Curriculum vitae". ITEM, Brno, Wien, Princeton 2017. Volume I. ({{ISBN|978-80-903476-9-4}}). In German, English.
* Procházka, Jiří 2017. "Kurt Gödel: 1906–1978: Curriculum vitae". ITEM, Brno, Wien, Princeton 2017. Volume I.In German, English.
* Procházka, Jiří 2O19. "Kurt Gödel 19O6-1978: Curriculum vitae". ITEM, Brno, Wien, Princeton 2O19. Volume II. ({{ISBN|978-80-903476-1-8}}). In German, English.
* Procházka, Jiří 2O19. "Kurt Gödel 19O6-1978: Curriculum vitae". ITEM, Brno, Wien, Princeton 2O19. Volume II. In German, English.
* [[Hao Wang (academic)|Hao Wang]], 1987. ''Reflections on Kurt Gödel.'' MIT Press.
* [[Hao Wang (academic)|Hao Wang]], 1987. ''Reflections on Kurt Gödel.'' MIT Press.
* Yourgrau, Palle, 2004. ''A World Without Time: The Forgotten Legacy of Gödel and Einstein.'' Basic Books. Book review by John Stachel in the Notices of the American Mathematical Society ('''54''' (7), pp. 861–68): <!-- Comment<ref>http://www.ams.org/notices/200707/tx070700861p.pdf</ref>-->
* Yourgrau, Palle, 2004. ''A World Without Time: The Forgotten Legacy of Gödel and Einstein.'' Basic Books. Book review by John Stachel in the Notices of the American Mathematical Society ('''54''' (7), pp. 861–68): <!-- Comment<ref>http://www.ams.org/notices/200707/tx070700861p.pdf</ref>-->
<br>
==外部链接==
==外部链接==