更改

无编辑摘要
第172行: 第172行:  
==晚年生活与死亡==
 
==晚年生活与死亡==
 
在他生命的后期,哥德尔经历了一段时间的精神不稳定和疾病。在他的密友莫里茨·施里克被暗杀后,<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>
第280行: 第280行:  
* {{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 }}.
    
==进一步阅读==
 
==进一步阅读==
第286行: 第286行:  
* {{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.
7,129

个编辑