库尔特·哥德尔 Kurt Gödel - 版本历史

薄荷：/* 编者推荐 */

2021-07-11T16:57:01Z

编者推荐

薄荷：/* 《哥德尔、艾舍尔、巴赫书：集异璧之大成》 */

2021-07-11T16:47:37Z

《哥德尔、艾舍尔、巴赫书：集异璧之大成》

薄荷：/* =通用搜索与哥德尔机 */

2021-07-11T16:47:25Z

=通用搜索与哥德尔机

薄荷：/* 外部链接 */

2021-07-11T16:47:13Z

外部链接

薄荷：/* 重要出版物 */

2021-07-11T16:36:23Z

重要出版物

薄荷：/* 重要出版物 */

2021-07-11T16:35:30Z

重要出版物

薄荷：/* 重要出版物 */

2021-07-11T16:34:48Z

重要出版物

2021年7月11日 (日) 16:34 薄荷

2021-07-11T16:34:29Z

薄荷：/* 奖励与荣誉 */

2021-07-11T16:32:22Z

奖励与荣誉

薄荷：/* 奖励与荣誉 */

2021-07-11T16:31:06Z

奖励与荣誉

@@ 第345行： / 第345行： @@
 ==编者推荐==
 ===集智课程===
@@ 第351行： / 第357行： @@
 在这一节中该课程介绍了集中通用搜索算法与哥德尔机。其中哥德尔机是另一种与AIXI平行的通用人工智能框架。但是与以往的模型不同的是，哥德尔机具备了自指的能力，它能够通过搜索有关自身描述的命题，从而寻找到能够改进目前处境的解决方案；同时它还可以将这个解决方案装载到自己的执行器上，从而创造出可以自我修改代码的人工智能程序。另外，哥德尔机也可以理解为一种是对“意识机器”的一种可操作性的定义方法。
 ===集智文章===
 ====[https://swarma.org/?p=25800 原著和中译本都登峰造极的科普神作 ——侯世达的《哥德尔、艾舍尔、巴赫：集异璧之大成》]====
 今天推荐一本计算机科学领域里杰出的科普名著。作者侯世达以类比的方式介绍了数学家哥德尔等人关于数理逻辑和可计算理论方面的高深理论，采用的例子却是版画家艾舍尔构思奇特的图画和音乐家巴赫蜚声世界的曲谱。

@@ 第359行： / 第359行： @@
 ===书籍===
-===《哥德尔、艾舍尔、巴赫书：集异璧之大成》===
+====《哥德尔、艾舍尔、巴赫书：集异璧之大成》====
 《哥德尔、艾舍尔、巴赫书：集异璧之大成》是在英语世界中有极高评价的科普著作，曾获得普利策文学奖。它通过对哥德尔的数理逻辑，艾舍尔的版画和巴赫的音乐三者的综合阐述，引人入胜地介绍了数理逻辑学、可计算理论、人工智能学、语言学、遗传学、音乐、绘画的理论等方面，构思精巧、含义深刻、视野广阔、富于哲学韵味。

@@ 第347行： / 第347行： @@
 ===集智课程===
-====[https://campus.swarma.org/course/185 通用搜索与哥德尔机]===
+====[https://campus.swarma.org/course/185 通用搜索与哥德尔机]====
 年Google的DeepMind团队发表在《Nature》上的工作：训练深度强化学习神经网络DQN打游戏，令人印象深刻。然而，这仅仅是部分实现了通用人工智能的强化学习系统的一次实践，它的背后则是更加强大的通用人工智能理论。
 在这一节中该课程介绍了集中通用搜索算法与哥德尔机。其中哥德尔机是另一种与AIXI平行的通用人工智能框架。但是与以往的模型不同的是，哥德尔机具备了自指的能力，它能够通过搜索有关自身描述的命题，从而寻找到能够改进目前处境的解决方案；同时它还可以将这个解决方案装载到自己的执行器上，从而创造出可以自我修改代码的人工智能程序。另外，哥德尔机也可以理解为一种是对“意识机器”的一种可操作性的定义方法。
 ===集智文章===

←上一版本		2021年7月11日 (日) 16:47的版本
第343行：		第343行：
	* [http://www-history.mcs.st-andrews.ac.uk/Biographies/Godel.html Kurt Gödel]		* [http://www-history.mcs.st-andrews.ac.uk/Biographies/Godel.html Kurt Gödel]
	* [http://www.nasonline.org/publications/biographical-memoirs/memoir-pdfs/gdel-kurt.pdf National Academy of Sciences Biographical Memoir]		* [http://www.nasonline.org/publications/biographical-memoirs/memoir-pdfs/gdel-kurt.pdf National Academy of Sciences Biographical Memoir]
		+
		+	==编者推荐==
		+
		+	===集智课程===
		+	====[https://campus.swarma.org/course/185 通用搜索与哥德尔机]===
		+	2015年Google的DeepMind团队发表在《Nature》上的工作：训练深度强化学习神经网络DQN打游戏，令人印象深刻。然而，这仅仅是部分实现了通用人工智能的强化学习系统的一次实践，它的背后则是更加强大的通用人工智能理论。
		+
		+	在这一节中该课程介绍了集中通用搜索算法与哥德尔机。其中哥德尔机是另一种与AIXI平行的通用人工智能框架。但是与以往的模型不同的是，哥德尔机具备了自指的能力，它能够通过搜索有关自身描述的命题，从而寻找到能够改进目前处境的解决方案；同时它还可以将这个解决方案装载到自己的执行器上，从而创造出可以自我修改代码的人工智能程序。另外，哥德尔机也可以理解为一种是对“意识机器”的一种可操作性的定义方法。
		+
		+
		+	===集智文章===
		+	====[https://swarma.org/?p=25800 原著和中译本都登峰造极的科普神作 ——侯世达的《哥德尔、艾舍尔、巴赫：集异璧之大成》]====
		+	今天推荐一本计算机科学领域里杰出的科普名著。作者侯世达以类比的方式介绍了数学家哥德尔等人关于数理逻辑和可计算理论方面的高深理论，采用的例子却是版画家艾舍尔构思奇特的图画和音乐家巴赫蜚声世界的曲谱。
		+
		+
		+
		+	===书籍===
		+	===《哥德尔、艾舍尔、巴赫书：集异璧之大成》===
		+
		+	《哥德尔、艾舍尔、巴赫书：集异璧之大成》是在英语世界中有极高评价的科普著作，曾获得普利策文学奖。它通过对哥德尔的数理逻辑，艾舍尔的版画和巴赫的音乐三者的综合阐述，引人入胜地介绍了数理逻辑学、可计算理论、人工智能学、语言学、遗传学、音乐、绘画的理论等方面，构思精巧、含义深刻、视野广阔、富于哲学韵味。

@@ 第231行： / 第231行： @@
 * Kurt Gödel, 1992. ''On Formally Undecidable Propositions Of Principia Mathematica And Related Systems'', tr. B. Meltzer, with a comprehensive introduction by R. B. Braithwaite|Richard Braithwaite. Dover reprint of the 1962 Basic Books edition.
-* Kurt Gödel, 2000.<ref>{{cite journal|doi=10.1007/BF01700692|author=Kurt Godel |year=1931|url=http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf|title=Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I|trans-title=On formally undecidable propositions of Principia Mathematica and related systems I|journal=Monatshefte für Mathematik und Physik|volume= 38|pages= 173–98}}</ref> ''
+* Kurt Gödel, 2000.<ref>{{cite journal|doi=10.1007/BF01700692|author=Kurt Godel |year=1931|url=http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf|title=Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I|journal=Monatshefte für Mathematik und Physik|volume= 38|pages= 173–98}}</ref> ''
 * Jean van Heijenoort, 1967. ''A Source Book in Mathematical Logic, 1879–1931''. Harvard Univ. Press.

←上一版本		2021年7月11日 (日) 16:34的版本
第219行：		第219行：

	英语版：		英语版：
−

	* 1940. ''The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory.'' Princeton University Press.		* 1940. ''The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory.'' Princeton University Press.

@@ 第43行： / 第43行： @@
-年，25岁的哥德尔在[[维也纳大学]完成博士学位一年后，发表了两篇[[哥德尔不完全性定理|不完全性定理]]。第一个不完全性定理指出，对于任何强大到足以描述[[自然数]]的算术的自洽[[递归集|递归]][[公理系统]]，都存在无法从[[公理]]证明的关于自然数的真实命题。为了证明这个定理，哥德尔发展了一种技术，现在称为[[哥德尔编码]]，它将形式表达式编码为自然数。
+年，25岁的哥德尔在维也纳大学完成博士学位一年后，发表了两篇[[哥德尔不完全性定理|不完全性定理]]。第一个不完全性定理指出，对于任何强大到足以描述自然数的算术的自洽[[递归集|递归]][[公理系统]]，都存在无法从公理证明的关于自然数的真实命题。为了证明这个定理，哥德尔发展了一种技术，现在称为[[哥德尔编码]]，它将形式表达式编码为自然数。
@@ 第158行： / 第158行： @@
-在研究所任职期间，哥德尔的兴趣转向哲学和物理学。1949年，他展示了涉及解的存在性封闭类时曲线，对爱因斯坦场方程的广义相对论。<ref>{{cite journal |last=Gödel |first=Kurt |title=An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation |journal=[[Rev. Mod. Phys.]] |volume=21 |issue=447 |pages=447–450 |date=July 1, 1949 |doi=10.1103/RevModPhys.21.447 |bibcode=1949RvMP...21..447G |doi-access=free }}</ref>据说，他将这一阐述作为礼物送给爱因斯坦 70 岁生日。<ref>{{cite news |url=http://www.tagesspiegel.de/magazin/wissen/Albert-Einstein-Kurt-Goedel;art304,2454513 |title=Das Genie & der Wahnsinn |work=[[Der Tagesspiegel]] |date=January 13, 2008 |language=de }}</ref>他的“旋转宇宙”将允许时间旅行到过去，并导致爱因斯坦对他自己的理论产生怀疑。他的解被称为哥德尔度量（爱因斯坦场方程的精确解）。
+在研究所任职期间，哥德尔的兴趣转向哲学和物理学。1949年，他展示了涉及解的存在性封闭类时曲线，对爱因斯坦场方程的广义相对论。<ref>{{cite journal |last=Gödel |first=Kurt |title=An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation |journal=Rev. Mod. Phys. |volume=21 |issue=447 |pages=447–450 |date=July 1, 1949 |doi=10.1103/RevModPhys.21.447 |bibcode=1949RvMP...21..447G |doi-access=free }}</ref>据说，他将这一阐述作为礼物送给爱因斯坦 70 岁生日。<ref>{{cite news |url=http://www.tagesspiegel.de/magazin/wissen/Albert-Einstein-Kurt-Goedel;art304,2454513 |title=Das Genie & der Wahnsinn |work=Der Tagesspiegel|date=January 13, 2008 |language=de }}</ref>他的“旋转宇宙”将允许时间旅行到过去，并导致爱因斯坦对他自己的理论产生怀疑。他的解被称为哥德尔度量（爱因斯坦场方程的精确解）。
@@ 第166行： / 第166行： @@
 ==奖励与荣誉==
-哥德尔于1951年被授予第一个阿尔伯特爱因斯坦奖，并于1974年被授予美国国家科学奖章<ref>{{cite web|url=https://www.nsf.gov/od/nms/recip_details.jsp?recip_id=138|title=The President's National Medal of Science: Recipient Details {{!}} NSF – National Science Foundation|website=www.nsf.gov|access-date=2016-09-17}}</ref>哥德尔当选为1968年皇家学会外籍会员<ref name=frs/>他是1950年在马萨诸塞州剑桥市举行的国际数学家大会 International Congress of Mathematics（ICM）的全体发言人。<ref>{{cite book|author=Gödel, Kurt|chapter=Rotating universes in general relativity theory|title=''In:'' Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, August 30–September 6, 1950|volume=vol. 1|pages=175–81|year=1950|chapter-url=http://www.mathunion.org/ICM/ICM1950.1/Main/icm1950.1.0175.0181.ocr.pdf}}</ref> [[Gödel Prize]]是理论计算机科学领域杰出论文的年度奖，以他的名字命名。
+哥德尔于1951年被授予第一个阿尔伯特爱因斯坦奖，并于1974年被授予美国国家科学奖章<ref>{{cite web|url=https://www.nsf.gov/od/nms/recip_details.jsp?recip_id=138|title=The President's National Medal of Science: Recipient Details {{!}} NSF – National Science Foundation|website=www.nsf.gov|access-date=2016-09-17}}</ref>哥德尔当选为1968年皇家学会外籍会员<ref name=frs/>他是1950年在马萨诸塞州剑桥市举行的国际数学家大会 International Congress of Mathematics（ICM）的全体发言人。<ref>{{cite book|author=Gödel, Kurt|chapter=Rotating universes in general relativity theory|title=''In:'' Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, August 30–September 6, 1950|volume=vol. 1|pages=175–81|year=1950|chapter-url=http://www.mathunion.org/ICM/ICM1950.1/Main/icm1950.1.0175.0181.ocr.pdf}}</ref> “哥德尔奖”是理论计算机科学领域杰出论文的年度奖，以他的名字命名。
 <br>