人工智能 1989 年 每日推荐

《皇帝新脑》

The Emperor's New Mind

作者:罗杰·彭罗斯

出版年份
1989 年
分类
人工智能
原书语言
en
来源书单
每日推荐
来源主题

心智能否被算法穷尽:哥德尔定理与强人工智能的边界

本条来自第三方频道推荐书目或每日推荐,收录书目事实信息、来源主题与完整阅读指引。

我的阅读

来源主题

心智能否被算法穷尽:哥德尔定理与强人工智能的边界

这本书讲什么?

1989 年由牛津大学出版社出版。全书结构很特别:前三分之二是给有科学素养的读者写的导览——牛顿力学与经典决定论、相对论、量子力学、热力学与时间箭头、图灵机与可计算性、哥德尔不完备定理;后三分之一才把线索收拢,论证一个结论:人类的心智活动不能被任何算法穷尽,所以「强人工智能」——只要计算足够复杂就会产生心智——是错的。论证的起点是哥德尔:对任何一个足够强、且被假定为可靠的形式系统,都能构造出一个该系统无法证明、而人却能看出其为真的命题;如果数学家的大脑本身就是这样一台机器,那个「看出」就不可能发生。彭罗斯还进一步猜想,意识的物理基础可能涉及量子层面的波函数坍缩。

为什么值得读?

因为它是「AI 能否拥有人类心智」这场辩论里最难被绕开的一份反面论证。今天讨论 AI 的书大多从能力清单出发,这本书反过来从数学的边界出发:先问「计算究竟是什么」,再问「理解是不是计算」。无论你是否接受结论,这套顺序都会改变你提问题的方式——你会开始区分「系统给出了正确答案」与「系统理解了这个答案」。它的立场也足够可被反驳:书中关于量子意识的部分被物理学界与 AI 界广泛质疑,《Behavioral and Brain Sciences》曾组织专刊讨论,多位哲学家与计算机科学家写过针对性反驳。读一本被认真反驳过的书,胜过读十本没人反对的书。 经典性证据:① 维基百科有独立条目;② 1989 年牛津大学出版社出版,1990 年获 Science Book Prize(科学图书奖)。

核心思想

  • 「给出正确答案」不等于「理解」:一个系统可以输出正确的定理,却无法「看出」它为什么为真。哥德尔句是这个差别的形式化版本。
  • 强人工智能依赖一个未经证明的前提:心智就是某种算法。彭罗斯把它当作待检验的假设,而不是默认立场——这是全书方法上的关键。
  • 如果心智不是算法,那么承载它的物理过程也不能是纯计算的:他因此把注意力转向量子力学中尚未被理解的部分——波函数坍缩,并推测意识与之相关。
  • 三个世界:物理世界、心智世界、柏拉图式的数学世界,彼此映照。数学真理不是被发明、也不是被约定,而是被发现——这个立场支撑了他整条论证。

这本书试图回答什么?

  • 一个系统能给出正确答案,是否等于它理解了这个答案?两者的差别能被检验吗?
  • 哥德尔定理究竟证明了「心智非算法」,还是只证明了「心智不能被某一个固定的形式系统完整描述」?这两种说法的分量完全不同。
  • 如果意识确实需要量子层面的新物理,这门物理应该在哪里被检验?一个暂时不可检验的猜想,还能算解释吗?

适合谁?

对 AI 有技术兴趣、但厌倦了「能力清单式」读物的读者;做算法与产品、需要判断「什么任务适合交给机器」的人;以及想认真对待「意识」这个问题的理工科读者。不必事先懂哥德尔定理,但需要愿意跟着推导走一遍。

阅读指引

前几章是物理与数学导览,熟悉的话可以快读,但不要跳过第二章(算法与图灵机)和第四章(真理、证明与洞察)——论证的支点在那里。真正需要慢读的是后半部关于量子引力与意识的章节,也是全书最受质疑的部分,建议同时找批评文献对照读。可与他 1994 年的《Shadows of the Mind》对读,那是更技术化的续论;也可与霍夫施塔特的《哥德尔、艾舍尔、巴赫》对读——两书从同一个定理出发,得出方向相反的结论。中译本为许明贤、吴忠超译,湖南科学技术出版社「第一推动丛书」版。