7,129
个编辑
更改
跳到导航
跳到搜索
第186行：
第186行： − + + − The [[Kurt Gödel Society]], founded in 1987, was named in his honor. It is an international organization for the promotion of research in the areas of logic, philosophy, and the [[history of mathematics]]. The [[University of Vienna]] hosts the Kurt Gödel Research Center for Mathematical Logic. The [[Association for Symbolic Logic]] has invited an annual Kurt Gödel lecturer each year since 1990. − 成立于1987年的[[库尔特哥德尔协会]]是为了纪念他而命名的。它是一个国际组织，旨在促进逻辑学、哲学和[[数学史]]领域的研究。[[维也纳大学]是库尔特哥德尔数理逻辑研究中心的东道主。自1990年以来，[[符号逻辑协会]]每年都会邀请一位库尔特•哥德尔讲师。+ − [http://www.bbaw.de/en/research/goedel Gödel's Philosophical Notebooks] are edited at the [http://www.bbaw.de/en/research/goedel Kurt Gödel Research Centre] which is situated at the [http://www.bbaw.de/en/academy Berlin-Brandenburg Academy of Sciences and Humanities] in Germany. − [http://www.bbaw.de/en/research/goedel哥德尔的哲学笔记]在[http://www.bbaw.de/en/research/goedel库尔特哥德尔研究中心]编辑，[http://www.bbaw.de/en/research/goedel库尔特哥德尔研究中心]位于[http://www.bbaw.de/en/academy德国柏林勃兰登堡科学与人文科学院]。+ − In English: − 英语:+ + − Five volumes of Gödel's collected works have been published. The first two include Gödel's publications; the third includes unpublished manuscripts from Gödel's {{lang|de|Nachlass}}, and the final two include correspondence.+ − − 已经出版了五卷哥德尔的作品集。前两个包括哥德尔的出版物；第三个包括哥德尔的未出版手稿{lang| de|Nachlass}，最后两个包括通信。 − − − A biography of Gödel was published by [[John W. Dawson, Jr|John Dawson]] in 2005: ''Logical Dilemmas: The Life and Work of Kurt Gödel'' ([[A. K. Peters]], Wellesley, MA, {{isbn|1-56881-256-6}}). Gödel was also one of four mathematicians examined in the 2008 [[BBC]] documentary entitled ''Dangerous Knowledge'' by [[David Malone (independent filmmaker)|David Malone]].<ref>{{cite web|url=https://www.bbc.co.uk/bbcfour/documentaries/features/dangerous-knowledge.shtml|title=Dangerous Knowledge|work=BBC |date=June 11, 2008|accessdate=October 6, 2009}}</ref> − − 《哥德尔传》由[[John W.Dawson，Jr | John Dawson]]于2005年出版：“逻辑困境：库尔特·哥德尔的生活和工作”（[[A.K.Peters]]，马萨诸塞州韦尔斯利，{isbn | 1-56881-256-6}）。戈德尔也是2008年[[BBC]]纪录片《危险知识》（David Malone（独立制片人）| David Malone]]审查的四位数学家之一。<ref>{{cite web|url=https://www.bbc.co.uk/bbcfour/documentaries/features/dangerous-knowledge.shtml|title=Dangerous Knowledge|work=BBC |date=June 11, 2008|accessdate=October 6, 2009}}</ref> − − − In English translation: − − 英文翻译: − − [[Douglas Hofstadter]] wrote a popular book in 1979 called {{lang|de|[[Gödel, Escher, Bach]]|italic=yes}} to celebrate the work and ideas of Gödel, along with those of artist [[M. C. Escher]] and composer [[Johann Sebastian Bach]]. The book partly explores the ramifications of the fact that Gödel's incompleteness theorem can be applied to any [[Turing-complete]] computational system, which may include the [[human brain]]. − − [[Douglas Hofstadter]]在1979年写了一本很受欢迎的书，名叫{lang | de |[[哥德尔，埃舍尔，巴赫]]| italic=yes}}，以赞美哥德尔的作品和思想，以及艺术家[[M.C.Escher]]和作曲家[[Johann Sebastian Bach]]。这本书部分探讨了哥德尔的不完全性定理可以应用于任何[[图灵完备]]计算系统，其中可能包括[[人脑]]这一事实的结果。 − − Gödel is played by [[Lou Jacobi]] in the 1994 film ''[[I.Q. (film)|I.Q.]]'' − − 在1994年的电影《智商》中哥德尔由卢 · 雅各比扮演。
→Legacy遗产
<br>
<br>
==Legacy遗产==
==遗产==
成立于1987年的库尔特哥德尔协会是为了纪念他而命名的。它是一个国际组织，旨在促进逻辑学、哲学和数学史领域的研究。维也纳大学是库尔特哥德尔数理逻辑研究中心的东道主。自1990年以来，符号逻辑协会每年都会邀请一位哥德尔研究中心中心的讲师。
已经出版了五卷哥德尔的作品集。前两个包括哥德尔的出版物；第三个包括哥德尔的未出版手稿，最后两个包括通信。
哥德尔的传记由John Dawson于2005年出版，名为：“逻辑困境：库尔特·哥德尔的生活和工作 Logical Dilemmas: The Life and Work of Kurt Gödel”。哥德尔也是David Malone2008年BBC纪录片《危险知识 Dangerous Knowledge》 中考察的四位数学家之一。<ref>{{cite web|url=https://www.bbc.co.uk/bbcfour/documentaries/features/dangerous-knowledge.shtml|title=Dangerous Knowledge|work=BBC |date=June 11, 2008|accessdate=October 6, 2009}}</ref>
Douglas Hofstadter在1979年写了一本很受欢迎的书，名叫《哥德尔，埃舍尔，巴赫 Gödel, Escher, Bach》，以赞美哥德尔的作品和思想，以及艺术家M.C.Escher和作曲家Johann Sebastian Bach。这本书部分探讨了哥德尔的不完全性定理可以应用于任何[[图灵完备]]计算系统，其中可能包括人脑这一事实的结果。
在1994年的电影《智商 I.Q.》中哥德尔由Lou Jacobi扮演。
<br>
==Bibliography参考文献==
==Bibliography参考文献==