1930年9月，德国数学家希尔伯特在柯尼斯堡发表了一场演讲。
那一年，他已经68岁，是世界上最具影响力的数学家之一。
在演讲的最后，他留下了一句之后广为流传的话：
“我们必须知道。我们终将知道。”
这句话表达了希尔伯特对人类理性的坚定信念。
他相信，至少在数学世界里，只要找到正确的公理和推理规则，数学问题原则上就应该能够得到解决。
然而，就在这场演讲的前一天，一位只有24岁的年轻数学家，在同一座城市的一场学术会议上，宣布了一项将深刻改变数学基础研究的发现。
这个年轻人叫哥德尔。
他后来提出的“不完备定理”，不仅改变了数学，也引出了一个至今仍值得思考的问题：
人类知识究竟有没有不可逾越的边界？
一、数学能够解释一切吗？
我们通常认为，数学是最接近确定性的知识。
历史学家可能对同一个事件提出不同解释。医学研究可能随着新证据出现而改变结论。经济学家对未来更是经常意见不一。
但数学似乎不同。
只要证明过程正确，结论就不应该因为时间、地点或者个人观点而改变。
例如，三角形的内角之和为什么等于180度？
在欧几里得几何中，这不是通过反复测量许多三角形才得到的经验结论，而是能够从一组基本公理出发，通过逻辑推导证明的结果。
当然，如果换到球面等非欧几何空间，情况就不一样了。
这个区别恰好说明：数学结论的成立，依赖于我们所采用的公理体系。
那么，一个自然而然的问题出现了：
如果我们能够找到足够完善的公理，是不是就能够把整个数学世界建立在一套严密、没有矛盾的规则之上？
这正是希尔伯特希望实现的目标。
他不仅希望数学中的重要命题能够被严格证明，还希望证明数学体系本身不会产生逻辑矛盾。
这个目标后来成为著名的“希尔伯特计划”的核心。
它背后有一种令人振奋的想法：
人类的理性也许存在暂时的困难，却不应该存在原则上无法解决的数学问题。
二、哥德尔发现了什么？
1931年，哥德尔正式发表了不完备性定理。
它的核心结论，通俗来讲就是：
对于任何满足一定条件、能够表达基本整数算术的形式系统，只要它是一致的，就存在无法仅靠该系统内部规则证明的算术命题。
没错，这句话听起来仍然很抽象。
我们可以先把数学体系想象成一套规则明确的棋牌游戏。
规则规定了什么样的步骤是允许的，什么样的推导能够成立。
如果一套体系是完备的，那么对于它所能表达的每一个命题，我们都希望能够证明这个命题，或者证明它的否定。
但哥德尔发现，对于足够强大且满足特定条件的形式系统，这种愿望无法实现。
他的证明利用了一种巧妙的方法：让数学体系能够通过数字编码，表达关于自身证明过程的陈述。
由此可以构造出一种特殊命题。粗略地说，它声称自己在这个系统中无法被证明。
如果系统能够证明它，就会陷入矛盾；而在符合定理条件的情况下，它确实不能在系统内部被证明。
这就是不完备性的一个核心思想。
换个角度想｜王婆卖瓜
我们不妨用一个生活中的例子，帮助理解为什么有时需要走出原来的判断框架。
中国有句俗话，叫“王婆卖瓜，自卖自夸”。
假设王婆说：“我的瓜是这条街上最好吃的。”
我们当然不能仅凭她自己的评价就接受这个结论。要知道她的瓜是不是真的最好吃，也许需要货比三家，尝尝其他摊位的瓜。
但如果王婆进一步宣称：“我的瓜是市场上最有营养的食物。”
问题就变了。
这时，仅仅比较不同摊位的瓜已经不够。我们可能还需要比较蔬菜、水果，甚至其他种类的食物，并且首先弄清楚：所谓“最有营养”，究竟应该用什么标准衡量？
从“哪家的瓜最好吃”，到“哪种食物最有营养”，我们不仅扩大了比较范围，也改变了提出问题的方式。
当然，这并不是哥德尔不完备定理的证明。生活中的比较依赖经验和评价标准，而哥德尔讨论的是严格的数学形式系统。
但这个比喻可以帮助我们理解一个更一般的道理：
有时候，原来的方法回答不了一个问题，并不意味着探索必须停止。我们可能需要扩大研究范围，甚至重新审视自己所使用的判断标准。
回到数学世界，数学家有时可以通过引入新的公理，建立更强的形式系统，解决原有系统中无法解决的问题。
然而，哥德尔告诉我们，只要新的形式系统仍然满足不完备定理的条件，它也无法彻底摆脱自身的不完备性。
哥德尔随后还证明了另一项重要结论：满足相应条件的一致形式系统，不能仅依靠自身内部的证明方法确立自身的一致性。
希尔伯特原本希望建立的那种完整而自我保证的数学基础，因此遭遇了根本性的限制。
但这里必须澄清一件事。
哥德尔没有证明人类永远无法获得新的数学知识，更没有证明所有真理都无法被认识。
他的定理针对的是具有明确条件的形式系统，而不是人类思想能力的全部。
这一点非常重要。
三、如果一个体系无法证明某个命题，意味着什么？
面对无法在现有体系中证明的命题，我们是不是只能宣布失败？
未必。
数学家有时可以引入新的公理，建立一个更强的体系，从而解决原有体系中无法解决的问题。
但新的体系仍然可能遇到属于自己的不完备性。
这使数学知识的发展呈现出一种有趣的状态：
我们能够不断扩大证明的范围，却不能指望找到一套满足上述条件、同时又能解决所有相关命题的最终规则。
这是否意味着数学真理本来就是独立存在的，只是人类永远无法完全抵达？
还是说，我们对真理的理解，也与自己不断发展和完善的推理方式有关？
这就不再只是数学问题，而进入了哲学。
四、真理是被发现的，还是被不断理解的？
德国哲学家康德曾提出，人类并不是毫无条件地接受外部世界，而是通过自身的认知结构来理解经验。
后来，弗雷格、罗素、维特根斯坦等思想家，又从逻辑、语言和数学的关系出发，尝试回答知识如何可能的问题。
对于数学真理，存在不同的哲学立场。
一种观点认为，数学真理独立于人的认识而存在。
例如，无论有没有人研究质数，关于质数的数学事实都不会因此改变。
数学家的工作，就是不断发现这些已经存在的真理。
哥德尔本人倾向于这种理解。
另一种哲学路径则更强调，人们如何通过语言、证明与推理实践，获得对数学概念的理解。
英国哲学家达米特便是这一方向的重要代表。
在这一视角下，理解数学不只是承认某些结论为真，也包括理解什么能够构成证明，以及为什么一种推理能够被接受。
这两种立场并没有因为不完备定理的出现而得到最终裁决。
但它们提出了一个非常不同的知识图景。
前一种图景里，真理仿佛是一座已经存在的高山，人类努力寻找通往山顶的道路。
后一种图景则提醒我们，知识的发展也可能涉及概念、证明方法以及理解方式本身的持续扩展。
换个角度想｜一次旅行
我们不妨把寻找真理想象成一次旅行。
如果真理是一座早已存在的高山，那么我们的目标似乎很明确：找到通往山顶的道路，最终抵达目的地。
但另一种理解提醒我们，一次旅行的意义，也许并不只在于抵达。
我们如何规划路线，选择什么交通工具，途中遇见什么样的人和事物，甚至经历挫折后如何调整方向，这些都会改变我们对目的地以及整个世界的理解。
有时候，我们最终回到最初的出发点，眼前的风景似乎没有改变，但我们看待它的方式，已经不同了。
真理与我们认识真理的过程，并不完全是同一回事。可是，知识的进步，也许不仅在于我们抵达了哪里，还在于这段探索如何改变了我们理解世界的能力。
这不是说我们可以随意改变规则，就让任何主张成为真理。
新的规则是否合理，仍然需要经过严格的论证和检验。
真正值得思考的是：
我们的知识体系并不一定只能在原有框架里增加答案，也可能通过发展新的方法，拓展能够提出和解决的问题。
五、读完《大流感》之后，我们想到的另一个问题
这个问题让我想起几年前读过的一本医学史著作——约翰·巴里的《大流感》。
这本书以1918年流感大流行为背景，讲述了现代医学如何在科学发现、制度改革和公共卫生危机中逐渐发展。
书中一个很有意思的部分，并不是关于流感病毒本身，而是作者花了大量篇幅回顾现代医学研究体系的建立。
19世纪后期，医学还远没有今天这样依赖系统性的实验研究和科学训练。
许多医生的知识主要来自经验、传统和临床观察。
随着德国研究型大学的发展，以及美国约翰·霍普金斯大学医学院等机构的改革，实验室研究、基础科学教育和临床训练逐渐被更紧密地联系起来。
威廉·韦尔奇、威廉·奥斯勒，以及后来推动医学教育改革的弗莱克斯纳，都在这一转变中发挥了重要作用。
现代医学的进步，不再只是依靠某一位天才医生发现新的治疗方法。
它开始依赖一套能够持续培养研究者、积累证据、验证假设和修正错误的科学体系。
当时，我曾经想到一个问题：
医学取得如此巨大的进步，究竟是因为我们发现了越来越多的知识，还是因为我们改变了发现知识的方法？
答案或许是两者都有。
但我们也可以再追问一句：没有后者，何来前者？
毕竟，在抵达一个尚未发现的目的地之前，我们首先需要找到探索的路径。而科学的发展，也常常是在不断改进方法的过程中，让原本无法回答的问题逐渐变得可以回答。
当然，新的发现又会反过来改变我们的方法。知识与方法，就这样相互推动，不断向前。
但《大流感》让我们看到，后者的重要性往往被低估了。
1918年大流行期间，许多优秀医生和科学家投入大量精力寻找病原体和有效治疗方法。
他们并不缺乏勇气、勤奋或者求知欲。
但受限于当时的技术条件和知识框架，他们仍然无法充分认识这场疾病。
流感病毒尚未被成功分离，人们对病毒的认识也远远不如今天。
后来，病毒学、免疫学、分子生物学以及医学研究方法不断发展，我们才逐渐获得新的理解疾病的能力。
这让我们意识到：
科学家能够回答什么问题，不仅取决于他们有多聪明多努力，也取决于他们拥有怎样的概念、工具、研究方法和体系。
这种认识与哥德尔的数学发现并不相同。
哥德尔讨论的是形式系统在特定条件下的逻辑限制；医学史呈现的，则是经验科学如何随着证据、技术和研究制度的发展而改变。
但把它们放在一起思考，可以帮助我们重新理解知识的进步。
有时候，我们努力寻找答案，却发现原来的问题仍然无法得到解决。
真正的突破，可能不只是找到一项新的证据。
而是发现：我们需要一种新的方法，甚至需要重新理解自己究竟在问什么。
六、科学进步，是接近真理，还是改变认知？
科学史上，很多重要的进步都不是简单增加了一条知识，而是改变了人们理解问题的方式。
牛顿力学让人类能够以统一的数学规律描述许多天体和地面运动。
爱因斯坦的相对论并没有让牛顿力学在所有情况下失去作用，却改变了我们对空间、时间和引力的理解。
医学的发展也存在类似的现象。
过去，医生主要根据症状及可观察到的身体变化描述疾病。
后来，微生物学、分子生物学和遗传学的发展，使我们能够从新的层面理解某些疾病的发生机制。
新的知识不只是让原来的答案更加精确。
有时候，它还会让我们意识到：原来提出问题的方式，本身就存在局限。
当然，数学定理、科学理论与医学证据有各自不同的判断标准，不能简单地相互等同。
但它们共同提醒我们：
知识的进步，不仅取决于我们找到了多少答案，也取决于我们是否学会提出更好的问题。
七、承认边界，是否意味着放弃追求？
回到1930年的柯尼斯堡。
希尔伯特相信：人类终将知道。
哥德尔则证明：希尔伯特设想中的数学基础计划存在不可消除的限制。
乍看之下，这似乎是一场理性乐观主义的失败。
但我们也可以从另一个角度理解。
正因为哥德尔发现了原有体系的边界，数学家和哲学家才得以更清楚地区分证明、真理与知识之间的关系。
一种方法存在局限，并不意味着探索已经结束。
相反，认识这些局限，本身就可能成为知识发展的重要起点。
也许真正成熟的理性，并不是坚信任何问题都一定能够按照我们期待的方式解决。
而是既愿意追求答案，也愿意承认现有方法的不足；既相信知识能够进步，也不把任何一种理论当作最终的解释。
希尔伯特说：
“我们必须知道。我们终将知道。”
近一个世纪过去，这句话依然有力量。
但在哥德尔之后，我们或许可以给它增加一层新的理解：
我们未必能够在一套固定的规则中获得所有答案。
可是，我们仍然可以不断发展新的概念、新的方法，扩大自己理解世界的能力。
那么，一个值得留下的问题是：
科学的进步，究竟意味着我们越来越接近一个早已存在的完整真理，还是意味着我们不断创造出更有能力理解世界的概念、方法与体系？
阅读启发
本文的写作受到2026年10月15日发表于 Aeon 的文章 The Ladder of Knowledge（作者：Alexander V Gheorghiu）启发，并结合约翰·巴里《大流感》中的医学史讨论，进一步思考知识的边界与科学进步的意义。
英文原文：The Ladder of Knowledge
结论之外，还有值得继续追问的问题。
医学 · 科学 · 思想与阅读
欢迎关注《结论之外》，一起保持好奇，独立思考。
文字与图片使用声明
本文文字内容由《结论之外》原独撰写，配图由《结论之外》策划并借助AI工具制作。欢迎分享本文网页链接。未经另行许可，请勿以复制、搬运、截图另发等方式转载、摘编本文文字或单独使用文中图片，亦不得用于商业用途。相关权利以适用法律为准。