更改

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

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

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

无编辑摘要

第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

−

| 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>

第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 | 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 | 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 = 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.

薄荷

7,129

个编辑