书 · 1989-10 · 罗杰·彭罗斯(Roger Penrose)

《皇帝新脑》

科学通识书单第 34 名 · 计算机与 AI书单第 68 名

一句话结论

彭罗斯从数学理解与机械计算的区别出发,提出意识可能需要非计算的新物理来解释;本书的价值在于展开这条大胆的推理,而它的结论仍有重大争议。

值不值得读完整本?

值得读完整本,尤其适合想把计算、数学与物理连起来理解的读者;但要分清书中的成熟科学、哲学立场和探索性猜想。

  • 第一至四章和第十章构成论证主线:先弄懂作者反对哪一种人工智能观,再检查数学理解为什么被他视为突破口。
  • 第五至八章值得耐心读。经典物理的可计算性、量子测量和宇宙的低熵起点,解释了作者为什么把意识问题引向基础物理。
  • 第二章图灵机的具体编码和部分公式推导,第一遍可以略读;算法、不可判定、真理与证明之间的区别不能跳过。
  • 读到第九、十章时,检查前面的数学与物理论述是否真的足以支持关于大脑的结论,并配合费弗曼和斯洛曼的评论阅读。

核心观点

1. 程序表现出智能,不等于程序本身拥有理解

彭罗斯反对的是:只要执行合适的程序,就足以产生理解和意识。他的立场更进一步,认为有意识理解的某些表现也不能被纯计算完整复制。

为什么:程序按规则处理符号,而理解涉及把握符号所表达的意义和理由。在他看来,外在回答是否像人,不能独自决定内部是否发生了理解。他尤其关注理解怎样帮助我们判断一种推理是否成立,而不只是输出一个答案。因此,他认为解释心智还需要说明这种判断能力的来源,不能把程序的成功表现直接当作意识的解释。

2. 数学真理可能超出任何固定的形式规则

彭罗斯借助哥德尔不完备性定理主张,数学理解不能被某一套固定算法穷尽。这是他论证心智具有非计算成分的关键一步。

为什么:一个规则可机械列举、足够表达算术且满足相应可靠性条件的形式系统,存在它无法证明的算术真命题。如果我们有理由接受该系统的可靠性,就能从系统之外理解相应哥德尔命题为什么成立。彭罗斯认为,这体现了把握证明意义与机械执行证明规则之间的差别。他由此推断,真正的数学理解不能被一套固定的形式程序完全捕捉。不过,从这个条件性的逻辑结果走向人类心智的结论,还需要说明人凭什么知道相关系统可靠,这也是批评者集中追问的地方。

3. 数学更像发现一个独立世界

彭罗斯倾向于数学柏拉图主义:某些数学对象和真理独立于我们的发明,数学家是在逐步发现它们。

为什么:一个简短定义往往产生远超定义者预期的复杂结构。不同研究者只要研究同一个对象,就会受到同样性质的约束,不能随意修改答案。彭罗斯认为,这种不依个人意愿而改变的性质,使数学更像对客观对象的探索。这一立场也支撑了他对数学理解的看法:我们努力把握的是对象的真相,而不只是某套符号游戏所允许的操作。

4. 决定论、可计算性和可预测性是不同问题

彭罗斯强调,未来由规律决定,不代表存在算法可以把它算出来;现实中预测困难,也不代表出现了他所需要的非计算理解。

为什么:决定论问的是给定状态是否唯一确定后续状态,可计算性问的是能否通过明确的机械步骤得到所需结果。实际预测还受到测量精度和计算资源限制,属于另一层问题。混沌会放大初始误差,使长期预测失效,但这种失效本身不能提供可靠的数学洞察。单纯加入随机性同样只能说明结果难以预定,不能说明为什么会作出有根据的判断。因此,他寻找的是能够参与理解的非计算物理过程,而不只是复杂、混沌或偶然。

5. 时间箭头要追溯到宇宙特殊的低熵起点

彭罗斯认为,解释日常世界为什么具有过去与未来的区别,需要追问宇宙为什么以极低的引力熵开始。

为什么:许多基本动力学方程本身没有日常经验中那样明显的时间方向。熵较高的宏观状态对应更多微观可能性,因此从特殊的低熵状态出发,系统通常会朝熵增方向演化。但这仍留下一个问题:最初的低熵状态从何而来?在有引力的宇宙里,均匀分布的物质并不意味着引力方面已经达到高熵,因为聚集和黑洞形成还能大幅增加熵。因此,早期宇宙的平滑程度意味着一个需要解释的特殊起点,也为他寻找更深层的引力理论提供了线索。

6. 意识的物理解释可能藏在量子与经典的接缝处

彭罗斯猜想,解释量子态如何产生确定的宏观结果,需要新的物理;这种新物理也可能提供理解所需的非计算过程。

为什么:通常的量子描述包含两种不同规则:量子态按方程连续演化,测量时却只出现一个具体结果。彭罗斯把两者之间的接缝视为现有理论尚未讲清的地方。如果数学理解确实具有非计算成分,而大脑又是物理系统,那么他认为解释它就应当寻找相应的物理基础。他把希望放在量子理论与引力结合时,对状态还原所作的新解释上。这是一条研究设想,书中没有给出已经验证的大脑机制,1989年的构想也不能直接等同于后来完整的微管意识模型。

反对意见

系统不能证明,不等于人类能够可靠地超越它(所罗门·费弗曼)

费弗曼在评论续作《心灵的阴影》时,质疑彭罗斯对可靠性与一致性的处理。要在系统之外认可相应命题,必须有理由接受系统的相关性质;人类并没有自动获得这种保证。人可以扩展形式系统,也不等于这个不断扩展的过程必定无法用计算描述。这篇评论针对的是续作中更充分展开的论证,但也切中了《皇帝新脑》的关键推理。

解释智能还要研究系统怎样组织起来(阿伦·斯洛曼)

斯洛曼在《The Emperor’s Real Mind》中认为,彭罗斯把多个关于计算、理解和意识的问题放在了一起。仅凭一个系统执行算法,无法判断它具有什么认知能力;还须研究记忆、学习、推理等机制怎样组织和相互作用。他肯定本书的数学物理讲解,但认为对强人工智能的攻击没有充分处理这些区别。

数学能力的解释尚未触及痛觉为什么有感觉(约翰·梅纳德·史密斯)

梅纳德·史密斯在《What Can’t the Computer Do?》中指出,即使数学理解包含计算之外的东西,也还没有解释疼痛等主观体验。数学洞察的来源与体验为什么存在,是需要分别处理的问题。他认为脑内量子机制可以成为检验对象,但当时缺少支持它的证据。

量子脑设想必须过退相干这一关(马克斯·泰格马克)

泰格马克在2000年的论文中估算了神经元和微管相关状态的退相干时间,认为它们远短于认知活动所需的时间尺度。如果有关量子状态无法维持足够久,就难以承担所设想的认知功能。这针对量子脑路线的物理可行性,不能直接反驳哥德尔论证,也不能视为对1989年原书全部观点的否定。

相关推荐

导读由 AI 根据公开资料整理,没有读取原书全文,一切以原著为准。导读 Primer 首页