书 · 1941 · 理查德·柯朗、赫伯特·罗宾斯

《什么是数学》

科学通识书单第 19 名

一句话结论

理解数学，要亲自看清问题怎样催生概念、直观怎样接受证明的检验，以及不同领域怎样通过共同方法联系起来。

值不值得读完整本？

值得读完整本，尤其适合想从会算题走向理解数学的读者；不过需要分段读、动笔想，不能指望一路轻松读完。

先读序言和第一、二章的基础部分，抓住数学归纳法，以及整数、有理数、实数、复数各自解决了什么问题。
第三至五章重点看三件事：代数怎样证明尺规作图不可能，公理怎样限定几何结论，拓扑怎样研究变形中不变的性质。
第六章的函数与极限要慢读，再读第七章的极值问题和第八章的微积分；重点追踪概念之间的联系，不必先追求熟练计算。
第一遍可以暂跳补充部分中较难的数论证明，例如二次互反律的深入讨论，以及部分附录习题；每章至少亲手重建一个证明或图形论证。
如果读的是含第九章的版本，要分清：那是伊恩·斯图尔特为1996年第二版补写的后续发展，本卡的核心思想和练习以原作八章为范围。

核心观点

1. 直观提出问题，证明说明为什么必然如此

数学需要计算、图像和猜想，也需要能够检查的推理。理解一个结论，不只是知道它成立，还要知道哪些理由使它成立。

为什么：检查许多个例能帮助发现规律，却不能排除尚未检查的反例。证明把注意力转向任意对象都必须满足的关系，因此能够超出已经算过的范围。数学归纳法就是把一个起点和一个普遍有效的递推步骤结合起来，从而覆盖所有相关自然数。直观负责寻找方向，逻辑则检查这条路有没有遗漏。

2. 数系的扩充由问题推动，也受规则约束

负数、分数、无理数和复数不是随意添加的符号，而是对旧数系表达能力的扩充。新对象是否有意义，要看能否明确规定它们的关系和运算。

为什么：自然数不能容纳所有减法结果，整数又不能容纳所有非零除法结果，这推动了整数和有理数的发展。几何中的不可公度量表明，有理数仍不足以表示所有长度，实数理论因而需要处理这些缺口和极限。复数使原本在实数中无解的方程获得解，但扩充也有代价，例如不能保留与实数相同的有序域结构。讨论无穷集合时，同样不能只凭直觉说它们都一样大，而要用一一对应等明确定义来比较。贯穿这些讨论的要求是：对象可以超出日常经验，推理规则必须说清楚。

3. 证明做不到，也是一种解决问题

一道题长期没人做出来，与它在指定规则下根本做不到，是两回事。把几何操作翻译成代数，可以证明某些作图任务不可能完成。

为什么：从给定线段出发，直线与圆的交点所产生的坐标，受到一次、二次方程的约束。因此，有限次尺规操作所能得到的数，只能落在由四则运算和逐次开平方形成的范围内。如果目标长度的代数性质不允许它进入这个范围，再巧妙的尺规步骤也不会奏效。这样的证明把无休止的尝试，变成了对工具能力边界的理解。

4. 几何研究什么，取决于公理和保留的关系

几何不只研究长度和角度，也可以研究投影后或连续变形后仍然存在的关系。理解几何结论，需要先问它依赖什么前提，以及允许什么变化。

为什么：公理把推理的前提明确列出，使人能区分图形看起来如此与结论确实由前提推出。非欧几何说明，改变平行公设会产生不同的几何理论，不能把熟悉感当作唯一裁判。射影几何舍去许多长度和角度信息，转而研究点线关联等关系。拓扑允许更大的连续变形，研究其中仍然保留的连接性质。通过寻找不变量，外形差异很大的对象也能被放在同一框架中理解。

5. 极限把变化率与累积联系起来

函数表达数量之间的确定关系，不必总能写成一个简洁公式。极限使瞬时变化率和连续累积得到精确定义，微积分则揭示两者的联系。

为什么：函数概念首先要求给定输入时输出得到确定，而不是必须找到一个熟悉的代数表达式。极限把不断接近改写成任意精度都能满足的要求，避免把很小和等于零混在一起。导数考察非零增量下的差商如何趋于确定值，积分则从越来越细的有限分割建立累积量。在适当条件下，累积函数的局部变化率等于被累积的函数，因此求导和积分可以互相连接。

6. 极值问题连接几何直观、物理现象和严格推理

许多问题可以改写成寻找允许方案中的最短、最大或最小。找到一个看起来最优的形状、证明最优值存在，以及真正求出它，需要分别论证。

为什么：明确约束和比较目标后，原本复杂的问题有时可以通过反射、对称或几何不等式简化，不一定先用微分。即使一些方案越来越好，也不能立即断定存在一个方案达到极限值。肥皂膜等物理现象能提示极小形状和可能的数学关系，却不能替代理想条件下的证明。这让直观和实验成为发现问题的方法，也让严格推理承担确认结论的工作。

反对意见

证明存在，还应说明怎样找到它（埃里特·毕晓普）

毕晓普在《构造性分析基础》的序言和第一章主张，数学应保留明确的数值意义，存在性结论应尽可能包含构造或计算信息。这与本书采用的经典数学立场有实质区别：经典证明可以确认对象存在，而不一定给出求出它的方法。这是关于什么算充分解释的分歧，并不是说本书所有反证法都有问题。

无穷小也能获得严格基础（亚伯拉罕·鲁宾逊）

鲁宾逊在《非标准分析》中借助数理逻辑建立包含无穷小的严格框架，说明微积分可以有另一种可靠表述。因此，读本书对早期无穷小用法的批评时，应区分当时含混的操作与后来建立的理论。这是晚于本书的另一条道路，不构成对极限方法正确性的否定。

完成的证明不能代替发现过程（伊姆雷·拉卡托斯）

拉卡托斯在《证明与反驳》中以多面体欧拉公式为中心，展示反例怎样迫使人修改猜想、定义和证明中的隐藏条件。他反对把数学呈现为从一开始就安排妥当的定理序列。这不是针对本书的直接书评，而是对读视角：读本书的漂亮证明时，还应追问它可能经历过哪些失败；本书重视直观的立场与他也有相通之处。

预备知识要求少，不等于容易读（布莱恩·E·布兰克）

布兰克在2001年的书评中指出，本书虽然主要预设高中知识，却要求相当强的数学思考能力；较早出现的素数定理和二次互反律会让普通读者吃力。他总体高度肯定本书，因此这条意见针对的是阅读门槛：不能把读不动某段证明，直接理解成自己不适合数学。