上一问的结尾，我们发现关于举证义务的一切规则，都建立在一个更深的假设上：真的东西，总归是可以被证明的。如果一件事是真的，就应该有办法把它证明出来；证明不出来，要么是我们还不够聪明，要么它根本不是真的。这一卷的最后一问，要看这个假设本身。

所有真理都能够被证明吗？

这个问题在数学里有精确的答案，在数学之外有更麻烦的答案。而它对 AI 时代的意义，是所有问题里最容易被忽略的一个。

一我们以为，真的东西总能被证明

学校给了我们一个印象：知识是一座建筑，每一层都由下一层撑着，每一句真话都有一个理由，每个理由又有它的理由。几何课上，一个定理被证明了，才算被知道。这个印象从欧几里得开始，到今天仍然是“严格”的标准。

它也塑造了我们对真理的期待：真的东西，应该能被推出来、被检验、被展示给任何一个理性的人看。证明不了的，我们本能地觉得可疑。但如果有些真的东西，从原则上就证明不了呢？

二欧几里得：最底下那块，下面没有块了

《几何原本》从五条公设和几条公理出发，推出四百多条命题，每一条都有证明。它成了此后两千年“知识应该长什么样”的范本。但它同时暴露了证明的结构性限制：证明总要从某处开始，而开始处本身不能被证明。公设不是被证明的，是被接受的。

平行公设困扰了数学家两千年，人们一直试图用别的公设证明它，直到十九世纪发现，否定它也能得到自洽的几何。这意味着最基础的那一层，恰恰是无法证明的那一层。不是因为它太难，而是因为它是证明的起点。任何证明系统都是这样：它的地基不在系统里。

三帕斯卡：心有它自己的理由

帕斯卡自己是顶尖的几何学家，却坚持第一原理是心感受到的，不是理性证明的。我们知道空间有三维、数是无穷的、时间在流逝，不是靠证明。他区分了几何精神和敏感精神：一个从明确的原则严格推演，一个一眼看见许多细微的原则却说不出过程。

“心有它自己的理由，是理性所不知道的。”这句话常被读成对感情的辩护，它其实是对证明的分析：证明依赖的那些起点，是被直接看见的，不是被推出来的。尺子画得出直线，画不出那条把尺子交到你手里的路。

四希尔伯特：我们必须知道

二十世纪初，数学家想把这个问题彻底解决。希尔伯特提出一个纲领：把全部数学形式化，然后证明这个形式系统是一致的、完备的，也就是每一个命题都能被证明或否证。真与可证将完全重合，数学里将没有任何不可知的东西。一九三〇年他在退休演讲中喊出：我们必须知道，我们将会知道。

布劳威尔从另一边走向同一个重合，他认为能被构造出来的才叫真，不能构造的谈不上真；不是所有真理都能证明，而是能证明的才叫真理。两个人方向相反，结论一样：真与可证，应该是一回事。这句话后来刻在了希尔伯特的墓碑上。演讲的前一天，在同一座城市的一个会议上，一个二十四岁的年轻人宣布了一个结果。

五哥德尔：这句话说自己证不了

哥德尔构造了一个算术命题，它说的是：本命题不可证明。如果它可证，系统就证明了一个假命题，系统不一致。如果系统一致，它就不可证；而它说的恰恰是这个，所以它是真的。于是，一个一致的、足够强的形式系统，必定包含真而不可证的命题。而且，系统的一致性本身也不能在系统内证明。

真与可证被永久地分开了。这不是某个系统的缺陷，可以通过加公理修补；加了新公理，新的系统里又会出现新的不可证真理。这是所有系统的结构。希尔伯特的纲领在它被宣布的第二天就已经不可能。“我们必须知道”还刻在墓碑上，“我们将会知道”已经被证明为假，至少在他期待的意义上。

六图灵：它会停吗

五年后，图灵从另一个方向到达同一个地方。他为了回答希尔伯特的判定问题，先定义了什么叫“机械的程序”，然后证明：不存在一个程序，能对任意程序判定它会不会停机。有些问题不是难，而是原则上没有算法能回答。

哥德尔说有真而不可证的命题，图灵说有可以精确表述却不可判定的问题。两个结果一起，给“机械地得到一切真理”这个梦画上了边界。这个边界不是技术的，是逻辑的；它对任何计算机都有效，无论多快、多大，包括今天的一切 AI。它们都是图灵机。

七蔡廷：每一位都是真的，却没有理由

蔡廷把这件事推得更远。他定义了一个数，它是一个随机程序会停机的概率。这个数的每一位都是确定的、真的，但它是算法随机的：没有任何比它本身更短的规则能生成它，任何形式系统至多只能确定它有限的几位。

这意味着数学里存在无穷多条真理，它们没有理由，只是碰巧如此。蔡廷由此主张，哥德尔的不完备不是边缘现象，而是数学的常态：可证明的真理只是真理海洋里的一座小岛。在最严格的领域里，真理与理由的比例，可能比我们想象的悬殊得多。

八维特根斯坦：不可说的，显示自己

在数学之外，维特根斯坦早在一九二一年就为不可证明的东西留了一个位置。语言能说的是世界中的事实，而逻辑的形式、伦理、生命的意义，这些不在事实之列，它们不能被说出，更不能被证明，只能在语言的运用中显示出来。他把这些叫作神秘之物，并且说它们才是真正重要的。《逻辑哲学论》的最后一句是：对于不可说的，必须沉默。

这不是知识的缺口，而是知识的边界之外仍然有东西，并且那些东西在。帕斯卡的心、维特根斯坦的显示、哥德尔的不可证，三者说的不是一件事，但它们指向同一个方向：真理的范围，大于证明的范围。

九证明之外的真

回到日常，这个差距更明显。你知道你母亲爱你，你证明不了。你知道这幅画比那幅好，你证明不了。你知道那个人在说谎，你说不出根据。你知道这个决定是对的，事后也不能证明，因为另一条路没有走过。这些不是不确定的信念，其中很多是我们最确定的东西。

上一问说主张欠理由，这是对的；但理由不等于证明。理由可以是经验，是证言，是判断，是长期的熟悉，是帕斯卡说的那种一眼看见。一个只接受证明的人，会失去大部分真理；一个把一切都当作证明的人，会把很多信念错当成知识。这一卷从头到尾都在这两种错误之间找路。

十一台证明机器，与不可证明的真

现在看 AI。它是一台图灵机，所以哥德尔和图灵的边界对它完全有效：有些真它永远证不了，有些问题它永远判定不了，无论它多强。这是一个常被忽略的事实，因为它的能力增长得太快，让人以为边界会被推开。边界不会被推开，它是逻辑的。

更重要的是另一面。AI 擅长的，恰恰是可证明、可核验、可计算的那一类真理：有答案的题，有标准的任务，有数据的领域。它在这些地方超过人，是因为这些地方本来就是机器的地盘。而真理里最大的一部分，帕斯卡的、维特根斯坦的、日常生活里的那些，它进不去，不是因为它不够聪明，而是因为那些东西的“真”不是以可证明的方式存在的。

十一当我们只信得过能被核验的东西

危险在这里出现。为了应对信息过剩、应对不能被问责的主张者，我们越来越倾向于只相信可以被核验的东西。这个倾向是理性的，前面几问都在支持它。但它有一个代价：它把可核验当成了真的标准，而可核验只是真的一个子集。

如果一个社会的知识系统越来越围绕机器能处理的东西组织，那么不可证明的真，母亲的爱、画的好坏、一个人的品格、一个决定的对错，就会慢慢被挤到“主观”“不可靠”“无法验证”的角落，然后被忽略。不是因为它们不真，而是因为它们不适合机器。希尔伯特的梦以另一种方式回来了：不是数学被证明为完备，而是我们把世界修剪到只剩可证明的部分。

十二所以，所有真理都能够被证明吗？

不能。在数学里，这是一个定理：真大于可证，而且差距是常态。在数学之外，这是一个更老的事实：证明依赖的起点不能被证明，最重要的东西常常只能被看见、被显示、被承担。欧几里得、帕斯卡、哥德尔、图灵、蔡廷、维特根斯坦，从不同的方向到达同一个结论。

这一卷从“知识从哪里来”开始，问了什么算知道、预测与理解、科学与真理、答对与懂、语言与意义、信息与真相、证言与证明。每一问都在为知识划边界，而最后一问划出的是最外面的那条：知识本身的边界之外，仍然有真。AI 在边界之内比我们强，边界之外，它进不去，我们也证明不了，但我们知道那里有东西。而那里有的第一样东西，就是下一卷的开头：什么值得。