7,129
个编辑
更改
跳到导航
跳到搜索
第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 原著和中译本都登峰造极的科普神作 ——侯世达的《哥德尔、艾舍尔、巴赫：集异璧之大成》]====
今天推荐一本计算机科学领域里杰出的科普名著。作者侯世达以类比的方式介绍了数学家哥德尔等人关于数理逻辑和可计算理论方面的高深理论，采用的例子却是版画家艾舍尔构思奇特的图画和音乐家巴赫蜚声世界的曲谱。
===书籍===
===《哥德尔、艾舍尔、巴赫书：集异璧之大成》===
《哥德尔、艾舍尔、巴赫书：集异璧之大成》是在英语世界中有极高评价的科普著作，曾获得普利策文学奖。它通过对哥德尔的数理逻辑，艾舍尔的版画和巴赫的音乐三者的综合阐述，引人入胜地介绍了数理逻辑学、可计算理论、人工智能学、语言学、遗传学、音乐、绘画的理论等方面，构思精巧、含义深刻、视野广阔、富于哲学韵味。