561
个编辑
更改
跳到导航
跳到搜索
第628行：
第628行： − + + + + + 第642行：
第646行： + + 第654行：
第660行： − + − −
→Legacy
德语:
德语:
==Legacy==
==Legacy遗产==
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.
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 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:
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.
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>
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>
[[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]] 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.]]''
Gödel is played by [[Lou Jacobi]] in the 1994 film ''[[I.Q. (film)|I.Q.]]''
==Bibliography==
==Bibliography==