7,129
个编辑
更改
跳到导航
跳到搜索
第172行：
第172行： − + 第280行：
第280行： − + 第286行：
第286行： − + − +
无编辑摘要
==晚年生活与死亡==
==晚年生活与死亡==
在他生命的后期，哥德尔经历了一段时间的精神不稳定和疾病。在他的密友莫里茨·施里克被暗杀后，<ref name="pape_Trag">{{Cite web | title = Tragic deaths in science: Kurt Gödel - looking over the edge of reason - Paperpile | url = https://paperpile.com/blog/kurt-goedel/}}</ref>哥德尔对被毒害有着强烈的恐惧；他只会吃他的妻子阿黛尔为他准备的食物。1977 年底，她住院六个月，随后无法再为丈夫准备食物。在她不在的情况下，他拒绝进食，最终饿死。<ref>{{cite journal|title=Gödel's universe|author=Davis, Martin|journal=Nature|date=May 4, 2005|volume=435|issue=7038|doi=10.1038/435019a|pages=19–20|bibcode=2005Natur.435...19D|doi-access=free}}</ref>他死时重 29 公斤（65 磅）。他的死亡证明报告说，他于1978年1月14日在普林斯顿医院死于“因人格障碍导致的营养不良和精神不振” 。<ref>{{cite book| last = Toates| first = Frederick|author2=Olga Coschug Toates | title = Obsessive Compulsive Disorder: Practical Tried-and-Tested Strategies to Overcome OCD
在他生命的后期，哥德尔经历了一段时间的精神不稳定和疾病。在他的密友莫里茨·施里克被暗杀后，<ref name="pape_Trag">{{Cite web | title = Tragic deaths in science: Kurt Gödel - looking over the edge of reason - Paperpile | url = https://paperpile.com/blog/kurt-goedel/}}</ref>哥德尔对被毒害有着强烈的恐惧；他只会吃他的妻子阿黛尔为他准备的食物。1977 年底，她住院六个月，随后无法再为丈夫准备食物。在她不在的情况下，他拒绝进食，最终饿死。<ref>{{cite journal|title=Gödel's universe|author=Davis, Martin|journal=Nature|date=May 4, 2005|volume=435|issue=7038|doi=10.1038/435019a|pages=19–20|bibcode=2005Natur.435...19D|doi-access=free}}</ref>他死时重 29 公斤（65 磅）。他的死亡证明报告说，他于1978年1月14日在普林斯顿医院死于“因人格障碍导致的营养不良和精神不振” 。<ref>{{cite book| last = Toates| first = Frederick|author2=Olga Coschug Toates | title = Obsessive Compulsive Disorder: Practical Tried-and-Tested Strategies to Overcome OCD
| publisher=Class Publishing| year = 2002| page = 221| isbn = 978-1-85959-069-0}}</ref>他被埋葬在普林斯顿公墓。其妻子于 1981 年去世。<ref>{{cite web |last1=Dawson |first1=John W. |author-link1=John W. Dawson Jr. |title=Gödel and the limits of logic |url=https://plus.maths.org/content/goumldel-and-limits-logic |website=Plus |publisher=University of Cambridge |access-date=November 1, 2020 |language=en |date=June 1, 2006}}</ref>
| publisher=Class Publishing| year = 2002| page = 221| isbn = 978-1-85959-069-0}}</ref>他被埋葬在普林斯顿公墓。其妻子于 1981 年去世。<ref>{{cite web |last1=Dawson |first1=John W. |title=Gödel and the limits of logic |url=https://plus.maths.org/content/goumldel-and-limits-logic |website=Plus |publisher=University of Cambridge |access-date=November 1, 2020 |language=en |date=June 1, 2006}}</ref>
<br>
<br>
* {{Citation | last = Dawson | first = John W | year = 1997 | title = Logical dilemmas: The life and work of Kurt Gödel | place = Wellesley, MA | publisher = AK Peters}}.
* {{Citation | last = Dawson | first = John W | year = 1997 | title = Logical dilemmas: The life and work of Kurt Gödel | place = Wellesley, MA | publisher = AK Peters}}.
* {{Citation | first = Rebecca | last = Goldstein | authorlink = Rebecca Goldstein | year = 2005 | title = Incompleteness: The Proof and Paradox of Kurt Gödel | publisher = W.W. Norton & Co | place = New York | isbn = 978-0-393-32760-1 }}.
* {{Citation | first = Rebecca | last = Goldstein |year = 2005 | title = Incompleteness: The Proof and Paradox of Kurt Gödel | publisher = W.W. Norton & Co | place = New York | isbn = 978-0-393-32760-1 }}.
==进一步阅读==
==进一步阅读==
* {{Citation | first1 = John L | last1 = Casti | first2 = Werner | last2 = DePauli | year = 2000 | title = Gödel: A Life of Logic | publisher = Basic Books (Perseus Books Group) | place = Cambridge, MA | isbn = 978-0-7382-0518-2}}.
* {{Citation | first1 = John L | last1 = Casti | first2 = Werner | last2 = DePauli | year = 2000 | title = Gödel: A Life of Logic | publisher = Basic Books (Perseus Books Group) | place = Cambridge, MA | isbn = 978-0-7382-0518-2}}.
* {{Citation | first = John W | last = Dawson, Jr | authorlink =John W. Dawson, Jr | title = Logical Dilemmas: The Life and Work of Kurt Gödel | publisher = AK Peters | year = 1996}}.
* {{Citation | first = John W | last = Dawson, Jr | title = Logical Dilemmas: The Life and Work of Kurt Gödel | publisher = AK Peters | year = 1996}}.
* {{Citation | first = John W | last = Dawson, Jr | year = 1999 | title = Gödel and the Limits of Logic | journal = Scientific American | volume = 280 | number = 6 | pages = 76–81| pmid = 10048234 | bibcode = 1999SciAm.280f..76D | doi = 10.1038/scientificamerican0699-76 }}.
* {{Citation | first = John W | last = Dawson, Jr | year = 1999 | title = Gödel and the Limits of Logic | journal = Scientific American | volume = 280 | number = 6 | pages = 76–81| pmid = 10048234 | bibcode = 1999SciAm.280f..76D | doi = 10.1038/scientificamerican0699-76 }}.
* {{Citation | first = Torkel | last = Franzén | authorlink = Torkel 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.