书 · 1980 · 莫里斯·克莱因（Morris Kline）

《数学：确定性的丧失》

逻辑与思维书单第 98 名 · 科学通识书单第 38 名

一句话结论

克莱因借数学史说明：数学并没有获得人们曾经期待的绝对保证，但它仍能通过证明、纠错和科学应用积累可靠知识。

值不值得读完整本？

值得读完整本。它把数学如何发现、怎样证明、为什么适用于自然连成一个问题，但作者把基础研究的挫折称为“灾难”，这个判断需要带着批评意见读。

第一至四章交代数学真理观的形成与动摇，重点理解非欧几何改变了什么，而不必记住所有人物和年代。
第五至九章不要整段跳过：微积分的早期困难和集合论悖论，是理解后面基础争论的必要背景；首次阅读可以略过繁复推导。
第十至十二章最值得慢读：分清逻辑主义、直觉主义、形式主义与集合论基础各自想解决什么，以及不完备性限制了哪些愿望。
第十三至十五章解释作者自己的出路，须读完才能理解他为什么批评数学的孤立，又为什么把自然科学的检验看得这么重。

核心观点

1. 逻辑上成立，不等于必然描述现实

克莱因认为，非欧几何动摇了“数学凭理性就能给出自然界唯一真相”的信念。数学体系内部的推导，与这个体系是否适用于物理世界，是两种不同的问题。

为什么：欧几里得几何长期既是严密推理的典范，也被当作真实空间的必然结构。非欧几何表明，更换某些公理后，可以发展出不同的几何理论，不能仅凭熟悉和直觉排除它们。这样一来，推理只能说明结论怎样依赖前提，不能独自证明前提就是自然的结构。要判断哪种几何适合描述现实，还得引入测量和物理理论。

2. 数学往往先发现，再补上严格基础

数学成果最终通常以定义、公理和证明呈现，但克莱因强调，它们在历史上常由直觉、计算和科学问题先推动出来。整理后的逻辑次序，不等于实际的发现次序。

为什么：运动、面积和变化率等问题，会迫使研究者使用尚未完全解释清楚的概念。只要方法不断产生有用结果，人们就有理由继续探索，而不会等待所有基础问题先解决。随后出现的反例和推理困难，又会迫使数学家修改定义、补充条件、重建证明。因此，严格性是数学发展的重要成果，却不是每一次发现的现成起点。

3. 修补基础，必须先决定接受什么推理

集合论悖论让困难从“数学是否符合自然”深入到“推理体系会不会自相矛盾”。克莱因认为，各基础学派的分歧说明，数学尚未找到一个获得普遍认可的最终起点。

为什么：集合原本被寄望于统一不同数学对象，但过于宽松的集合构造原则会导出矛盾。要修补它，就必须限制哪些对象可以构造、哪些定义和证明可以使用。逻辑主义希望从逻辑出发，直觉主义强调可构造性，形式主义寻求形式体系及其一致性证明，集合论路线则重建公理。不同方案各有代价，也没有让所有对手接受同一套标准。

4. 形式化不能提供人们期待的全部保证

克莱因把哥德尔不完备性定理看作最终保障计划受到的重大打击：足够强的形式体系，不能同时满足人们对无矛盾、包办全部问题和自我担保的所有期待。

为什么：形式化希望把公理和推理规则明确列出，使证明能够逐步检查。可是，对于一致、可有效公理化且足以表达基本算术的体系，总会有该体系不能判定的命题。在通常适用条件下，这样的体系也不能在内部证明自身的一致性。转向更强的体系可以得到更多证明，却把保证问题移到了新的前提上；克莱因据此反对已经获得绝对安全基础的说法，而这些定理本身并没有证明数学存在矛盾。

5. 脱离科学问题，数学可能失去方向

克莱因批评部分现代数学过度依靠内部问题、抽象结构和专业评价来决定研究方向。他担心，数学会因此失去与其他知识领域的联系。

为什么：在他的解释中，对数学真理观的动摇，以及数学和科学日益复杂，共同促使研究者退回较封闭的专业领域。科学问题往往要求数学家学习大量领域知识，而狭窄的内部问题更容易在本专业内展开。发表压力又可能奖励成果数量，而不充分追问问题的重要性。他认为，一旦把新颖、困难和形式上的漂亮当作充分理由，数学就可能减少从自然科学获得的新问题和外部检验；这是他的价值判断，并非数学界的共同结论。

6. 自然提供可靠性，却不提供绝对担保

克莱因并不因确定性的丧失而主张放弃数学。他把数学在自然科学中的解释和预测成效，看作继续信任它的重要理由，同时承认这种信任是可修正的。

为什么：数学方法如果能把观察组织成理论，并成功预测尚未直接观察到的现象，就获得了超出形式推演的支持。与反复检验的结果相符，使我们有理由相信这些方法在相应范围内可靠。但有限的成功不能保证所有数学体系都无矛盾，也不能保证模型适用于任何情境。自然因此既提供约束，也持续提出新问题；至于人类创造的数学为什么能如此有效，作者并没有给出一个彻底的解释。

反对意见

基础方案受限，不等于数学遭遇灾难（Ernest Nagel）

内格尔在《Crises in Mathematics》中肯定本书的解释能力，但反对把公理方法的局限和不完备性结果写成数学整体的灾难。一个体系不能提供全部保证，并不意味着它已有的证明失去效力。他还认为，克莱因对纯数学和应用数学的划分过于鲜明，其经验主义出路也没有得到充分论证。[书评原文](https://www.nybooks.com/articles/1980/11/06/crises-in-mathematics/)

这些变化也可以看作认识的进步（John McCarthy）

麦卡锡在《Review of “Mathematics: the loss of certainty”》中反对把非欧几何、集合论悖论和哥德尔定理串成不断失去信心的历史。他强调，元数学使公理体系及其关系本身成为研究对象；认识不同体系的能力和限制，可以增加知识，而不必解释为数学失去可信度。

人会犯错，不等于数学真理取决于人（Martin Gardner）

加德纳在《Is Mathematics for Real?》中从数学实在论出发，区分人类发现和证明数学命题的活动，与命题本身的真假。依此立场，证明会修订、认识会变化，并不能直接推出数学没有独立于人的真理。他在脚注中直接批评克莱因，但文章主要评论《数学经验》，并非本书的专门书评。

纯数学可以有独立的价值（G. H. Hardy）

哈代在《A Mathematician's Apology》中以数学思想的美、深度和创造性为纯数学辩护。用这个标准看，某项研究暂时没有科学应用，并不足以判定它没有价值。这构成对克莱因研究取向的对照，但该书出版更早，并不是对克莱因的直接回应。