7,129
个编辑
更改
跳到导航
跳到搜索
第292行：
第292行： − + − + − + − + − + − + 第312行：
第312行： − + − + − + 第324行：
第324行： − +
→进一步阅读
* {{Citation | first = Torkel | last = Franzén | year = 2005 | title = Gödel's Theorem: An Incomplete Guide to Its Use and Abuse | place = Wellesley, MA | publisher = AK Peters}}.
* {{Citation | first = Torkel | last = Franzén | year = 2005 | title = Gödel's Theorem: An Incomplete Guide to Its Use and Abuse | place = Wellesley, MA | publisher = AK Peters}}.
* [[Ivor Grattan-Guinness]], 2000. ''The Search for Mathematical Roots 1870–1940''. Princeton Univ. Press.
* Ivor Grattan-Guinness, 2000. ''The Search for Mathematical Roots 1870–1940''. Princeton Univ. Press.
* {{cite book | author=Hämeen-Anttila, Maria | title=Gödel on Intuitionism and Constructive Foundations of Mathematics | type=Ph.D. thesis | location=Helsinki | publisher=University of Helsinki | year=2020 | isbn=978-951-51-5922-9 | url=http://urn.fi/URN:ISBN:978-951-51-5923-6 }}
* {{cite book | author=Hämeen-Anttila, Maria | title=Gödel on Intuitionism and Constructive Foundations of Mathematics | type=Ph.D. thesis | location=Helsinki | publisher=University of Helsinki | year=2020 | isbn=978-951-51-5922-9 | url=http://urn.fi/URN:ISBN:978-951-51-5923-6 }}
* [[Jaakko Hintikka]], 2000. ''On Gödel''. Wadsworth.
* Jaakko Hintikka, 2000. ''On Gödel''. Wadsworth.
* [[Douglas Hofstadter]], 1980. ''[[Gödel, Escher, Bach]]''. Vintage.
* Douglas Hofstadter, 1980. ''Gödel, Escher, Bach''. Vintage.
* [[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 (Ishi Press paperback. 2009. )
* 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,. 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ří, 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.. 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, 1987. ''Who Got Einstein's Office?'' Addison-Wesley Publishing Company, Inc.
* [[Raymond Smullyan]], 1992. ''Godel's Incompleteness Theorems''. Oxford University Press.
* Raymond Smullyan, 1992. ''Godel's Incompleteness Theorems''. Oxford University Press.
* [[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,
* Gödel, Alois, 2OO6. Brünn 1679–1684. ITEM, Brno 2OO6, edited by Jiří Procházka,
* Procházka, Jiří 2O19. "Kurt Gödel 19O6-1978: Curriculum vitae". ITEM, Brno, Wien, Princeton 2O19. Volume II. 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, 1987. ''Reflections on Kurt Gödel.'' MIT Press.
* Hao Wang, 1996. ''A Logical Journey: From Godel to Philosophy''. MIT Press.
* Hao Wang, 1996. ''A Logical Journey: From Godel to Philosophy''. MIT Press.