Roger Penrose - What is Consciousness?

角度一：哥德尔定理被讲错了。它不是说「有些东西证明不了」，而是说「只要你信任一套证明规则，你就能越出它」，理解本身不是计算。

哥德尔定理，大多数人都听过一个通俗版本：数学里有些命题永远证明不了。罗杰·彭罗斯说，他不喜欢这种讲法。因为这个说法掉了最关键的半句：用什么手段证明不了？

先交代一下他是谁。彭罗斯，牛津的数学物理学家，2020年诺贝尔物理学奖得主。他几十年来坚持一个在同行里显得很不合群的主张：意识不可能由计算实现。这个主张的起点，就是哥德尔定理。

他的路径是这样的。在伦敦大学读数学本科时，他对哥德尔定理产生了兴趣。之后去剑桥读研究生，去听了一门由一位叫斯蒂恩的讲师开的课，讲哥德尔定理和图灵机。彭罗斯说，斯蒂恩的讲法和通常的讲法不一样，讲得极为透彻。

不一样在哪里？斯蒂恩把问题这样摆出来：所谓不可证明，是用哪一套手段证明不了？任何一套形式化的证明规则，都会有一个命题，它在这套规则内部证不出来。可是，如果你信任这套规则，相信它不会推出矛盾，那你就能看出，那个命题其实是真的。

注意这个动作。你没有在规则内部推导，你是退后一步，看着整套规则，然后看出了它看不出的东西。彭罗斯的原话是：如果你信任它，你就能超越它。

那这跟意识有什么关系？彭罗斯的推论是：我们的理解能力，可以让我们越出任何一套我们所信任的证明规则。而一台计算机，本质上就是一套固定的规则。规则可以很复杂，但它是规则。它没法退到自己外面去看自己。所以他得出结论：当我们有意识地理解一样东西时，我们所做的事情，不是计算。

我得替反对者问一句：这不就是一个数学游戏吗？凭什么从一条逻辑定理跳到人脑？彭罗斯没有回避这个问题，他的回答是承认限度。他说这个论证只触及意识的一个极小的组成部分，就是理解。幸福、疼痛、对美的欣赏，对红色的感知，这些它都不碰。他要的只是一个立足点。

而且他把范围收得更窄，只谈对数学的理解。为什么？他说原因只有一个：只有在这里，你才能构造出严格的论证。理解这件事适用于很多领域，但在大多数领域，你没法把它写成一个可以检验的推理。数学理解恰好是可以的。他认为这些严格的论证相当清楚地告诉我们，我们的理解，不是一个计算过程。

这里有一层反直觉的东西值得停一下。通常我们以为，数学是最像计算的东西，最容易被机器接管。彭罗斯偏偏选了数学作为突破口，理由恰恰相反：正因为数学最严格，所以在这里能最清楚地看出，理解和计算之间那道缝。

他还补了一个语言上的观察。他说，理解这个词的用法本身，就已经蕴含了觉知。要说某个实体理解了一样东西，却对这东西毫无觉知，在他看来根本讲不通。你理解了，你退后一步，看清了正在发生的事情。这个退后一步，就是觉知的动作。至于它究竟意味着什么，彭罗斯很坦白：我不知道。

所以这条线索的全貌是：哥德尔定理不是在说数学的无力，而是在说人的理解能越出规则；越出规则这件事，机器做不到；而理解必然带着觉知。三步，每一步他都说得很小心，只咬住数学理解这一个点。

留一个问题给你。一个大语言模型能写出对哥德尔定理的漂亮解释。那它算不算越出了自己的规则？还是说，它只是在规则里，把「越出规则」这句话拼了出来？

角度二：消去法。彭罗斯不是把两个谜硬凑在一起，而是逐一排除已知物理学的其他缺口，最后只剩量子测量问题这一个地方，能容得下非计算过程。

有人这样批评彭罗斯：你手里有两个谜，一个是意识，一个是量子测量。你把两个谜当成联立方程一起解掉，然后像变魔术一样，问题解决了。

这个批评听起来很有道理。彭罗斯自己也知道，他说，人们这样指责我，一个谜，再来一个谜，凭什么它们就是同一个？他的回答是：其实不是这么回事，这里面的逻辑是清楚的。今天我就想把这个逻辑理一遍。

先看他的出发点。彭罗斯认定，有意识的理解不是计算。这个前提今天不展开，就当它成立。那么接下来他就欠一个解释：如果不是计算，是什么？他的说法是，必须在某个地方，我们的认识存在一个缺口。有意识的思考所涉及的东西，不可能完全由我们已知的物理学来描述。

关键的一步来了。缺口不能随便找。他自己列了几个候选，然后一个个划掉。

我们到今天都不知道宇宙在空间上是开放的还是封闭的。这是个大问题。可彭罗斯问：那跟意识有什么关系？划掉。我们不知道是什么规则决定了每一种粒子的质量，那里面有一大堆谜团。可它们和意识都没有直接关联。划掉。

他的筛选标准是什么？不是「不知道」就行。标准有两条。第一，这个缺口必须对某些运作至关重要，也就是说它得真的参与到物理过程里，而不是一个遥远的宇宙学事实。第二，这个缺口必须足够大，能容得下一种新理论，而在这种新理论里，计算不再说了算。

那什么叫计算说了算？彭罗斯给了一个很硬的判断：我们所知的其他一切，按照相应的物理理论，物理世界在做的事情，你都可以用计算来模拟，而且想要多逼近就能多逼近。广义相对论可以算，标准模型可以算，薛定谔方程本身也是连续演化，可以算。整个已知物理学，几乎全是可计算的。

只剩一个地方不是。就是量子力学里那道裂缝。薛定谔方程给出的是连续、确定的演化。可当你做测量，发生的是一个离散的、概率性的跳变。彭罗斯说，这两样东西配合得很漂亮，可它们彼此并不相容。这就是所谓态约化，量子力学中缺失的那一大块。

那凭什么说它就是唯一的？彭罗斯的措辞很克制。他说：这是我能想到的唯一一个地方，直到今天仍是我能想到的唯一一个地方。他没有说这是被证明的唯一，他说的是消去之后剩下的唯一。这两者不一样。前者是定理，后者是一种论证策略。

所以那个魔术的指控，其实打偏了。彭罗斯不是先看到两个谜，然后一拍脑袋说它们是一回事。他是先从哥德尔那边得出「需要一个非计算的物理过程」，然后拿着这个要求去已知物理学里找，一路排除，最后只有态约化这一块满足要求。两个谜的联系，是筛出来的，不是凑出来的。

当然，这个论证有它的软处。彭罗斯自己都说了：至于是不是把逻辑推得太远了，我不知道。消去法的可靠性，取决于你列的候选是否完整。如果物理学里还有一个他没想到的缺口，整条链条就要重排。他说这个信念是在许多年里逐渐成形的，他当时并没有太当回事。这是一个人在承认，自己走的是一条窄路。

留一个问题。如果有一天，态约化被某种可计算的机制解释清楚了，彭罗斯的整套论证是不是就塌了？还是说，它只是把「非计算」这个要求，推到了下一个我们还没发现的缺口？

角度三：彭罗斯自己划的边界。这套理论不解释红色、疼痛、幸福，只解释「理解」这一件事。为什么一个野心这么大的主张，范围却收得这么窄？

一个人主张意识不是计算，还把它跟量子力学挂上钩，你会以为他要解释一切。彭罗斯偏不。他说，这套理论跟意识的主观感受，说实话，没有太多关系。

这句话是他自己说的，不是批评者说的。我觉得这是整场谈话里最值得琢磨的地方。一个主张野心这么大，边界却划得这么小。今天就讲这条边界。

先说他明确划在外面的东西。幸福，疼痛，对美的欣赏，感知红色时到底发生了什么。彭罗斯说，理论对这些多少沾一点边，但都不是直接的。他真正敢说的只有一样，就是理解，理解某样东西时的那种性质。

为什么只留这一样？他的理由是论证的可行性。理解这件事适用于许多领域，但在大多数领域，你没法对它做严格的论证。你没法证明「欣赏一幅画」不是计算。可是数学理解不一样，这里有哥德尔定理可以用，可以构造出严格的推理。所以他把范围收到极窄，只谈对数学的理解。他说原因只有一个：只有在这里，你才能构造出严格的论证。

这就是他的策略：不是从最丰富的意识现象入手，而是从最能证明的那一小块入手。哪怕这一小块看起来最不像意识。

可这样一来，他拿到的东西够不够用？彭罗斯的回答是，够作为一个起点。他的原话大意是：这只是觉知、只是意识的一个极小的组成部分，但这已经足以作为一个起点。它没有回答所有其他问题，可至少你找到了一样东西，就是这一样，理解。

那我要追一句：一个不带任何感受的「理解」，还算意识吗？彭罗斯在这里给了一个语言层面的回答。他说，要说某个实体理解了一样东西，却对这东西毫无觉知，这在他看来根本讲不通。光是理解这个词的用法，就已经蕴含了觉知。你理解了，你退后一步，看清了正在发生的事情。这个动作里必须有一个「你」在看。

所以他的桥是这样搭的：理解不是计算，这是哥德尔那边给的。理解蕴含觉知，这是词义本身给的。两条合起来，就得到：至少有一种觉知，不是计算。他没有说所有觉知都不是计算，他只说了这一种。

我觉得反直觉的地方在这里。我们通常讨论意识，第一反应是那些最鲜活的体验，痛，红，快乐。彭罗斯把这些全部搁置，只留下一个最干、最抽象的东西。表面上看是退让，实际上是一种纪律。他不肯在证明不了的地方说话。

他也很坦白自己不知道的部分。理解究竟意味着什么？他说：我不知道。它需要觉知，但觉知本身是什么，他没有答案。他甚至说，早年在剑桥形成这个想法时，至于它究竟是什么，我当时毫无头绪。几十年过去，这个头绪他也只推进到了「不是计算」这一步。

这让我想到他的另一条线。彭罗斯年轻时一度想当脑外科医生，好把脑子打开，看看它到底是怎么运转的。这个念头没实现。可他后来做的事，某种意义上是同一件：不是打开整个脑子，而是打开一个最小的切口，看清一件事，然后停在那里。

留一个问题。如果彭罗斯是对的，数学理解不是计算。那我们那些他不碰的东西，疼痛，红色，快乐，是更可能不是计算，还是更可能是？他的窄边界，是保护了论证，还是回避了真正的难题？