什么是数学

1941 年的数学普及读物大多走两条路：要么是趣味题集，读完一乐；要么是教材缩写，把证明省略成结论。库朗与罗宾斯要写给「有智力的公众」一本书，既不降低难度、也不假设大学训练：让人看到数学的本来面目——定义、证明、反例与推广。库朗本人是从哥廷根流亡到美国的数学家（后来创建了以他命名的应用数学研究所），他关心的是「数学作为一个整体怎么被理解」，而不是某一分支的技巧。还有一层现实考虑：1930 年代后期，欧洲的数学传统正在被战争打散，库朗本人在 1933 年被纳粹解职后去了美国。他写这本书，也是想把「哥廷根式」的数学观——把数学当作一个活的整体、而不是各分支技巧的集合——用英文固定下来，交给下一代读者。

1. 从最熟悉处开始拆：自然数与数学归纳法先被重新审视——为什么归纳法有效、它凭什么算证明，这一步就把「数学=计算」的印象推翻了。
2. 数系是构造出来的：从自然数到整数、有理数、实数、复数，每一步都是为了让某种运算封闭、让方程有解；扩张不是发现，是需求驱动的设计。
3. 几何不止一种：欧氏几何的平行公设可以换成别的选择，于是出现非欧几何——「哪一个才是真的」这个问题在数学内部没有意义，重要的是逻辑一致。
4. 拓扑与集合把「形状」与「无限」变成可推理的对象：从一笔画、欧拉公式到可数集与不可数集，直观被推着走到它失效的地方，然后被定义接管。
5. 微积分与极限是全书的高点：极限概念把「无限接近」讲成了可以严格操作的东西，也是后来所有分析的地基。
6. 贯穿全书的还有一个判断：数学的难度来自抽象，而抽象是人类为了统一而付出的代价。复数不是凭空发明的怪物，而是为了让方程总有解；非欧几何不是奇想，而是把平行公设当成可选项之后自然出现的结果。看清「为什么必须这样抽象」，数学就从记忆变成理解。

数学归纳法

证明「对所有自然数成立」的标准工具：先证第一项，再证「若第 n 项成立则第 n+1 项成立」。例：证明前 n 个奇数之和等于 n²，就是一次典型的归纳。

数系的扩张

数系按「让运算封闭、让方程有解」的需求逐层构造。例：为了让 x+2=0 有解引入负数，为了让 x²=2 有解引入无理数。

非欧几何

换掉平行公设后得到的自洽几何，说明公理是选择而非真理。例：在球面上，「平行线」根本不存在，三角形内角和大于 180°。

可数与不可数

无限也有大小之分：能与自然数一一对应的叫可数，否则不可数。例：全体有理数可数，而 0 到 1 之间的实数不可数——这是康托的著名结论。

构造与存在性

数学不只问「有没有」，还问「能不能构造出来」；两者不是一回事。例：「存在一个实数不是代数数」的证明可以只用反证，而不真的给出那个数——这类区分是 19 世纪数学成熟的标志。

• 出版与评价：1941 年首版，纽约时报当年称它给「有智力的公众」提供了一个全面而刺激的回答；1996 年由伊恩·斯图尔特修订出第二版，至今仍是数学入门书里被推荐最多的一本（Goodreads 4.3 分、两千余条评价）。1996 年伊恩·斯图尔特修订出版第二版，补入新材料但保留原结构——作者身后半个世纪仍被认真修订，说明这套「整体数学」没有被时间淘汰。
• 它怎么讲「无限」：书中用可数与不可数把「无限大」拆成不同层级，并给出对角线论证。这是多数读者第一次意识到「无限」可以被比较大小——也是这本书最常被回忆起来的一章。
• 作者自己的数学史彩蛋：罗宾斯在 1933 年提出过一个关于布尔代数的猜想（后世称「罗宾斯猜想」），悬了六十多年；1996 年由 McCune 用自动定理证明程序 EQP 证明。写入门书的人留下了开放问题，这件事本身就是「数学还活着」的最好注脚。

• 一级当年书评认为它给「有智力的公众」提供了一个全面而刺激的回答：不回避证明，也不假设专业训练，这正是它长期被推荐的原因。The New York Times（1942-08-23）：The Essence of Mathematics访问于 2026-09-12
• 二级工程领域的专业人士推荐它作为「把数学当整体看」的入门：清晰、不迁就读者，但确实需要耐心与纸笔。DSPRelated（Neil Robertson）：Book Recommendation – What is Mathematics?访问于 2026-09-12
• 二级读者普遍承认它是经典，但也常提醒「不适合零基础通读」：章节难度不均，几何与拓扑部分需要额外的耐心。Goodreads：What Is Mathematics?（4.3 分）访问于 2026-09-12

• 支持一级它证明了面向公众写数学不必降级：定义、证明与反例可以原样出现，读者反而更有收获——这个判断今天依然成立。The New York Times（1942）访问于 2026-09-12
• 支持二级专业读者几十年后重读仍然受益：它把不同分支串成一条思想线，这是后来大量「科普数学」书籍做不到的。DSPRelated访问于 2026-09-12
• 批评二级它并不适合真正的初学者：难度不匀、几何与拓扑部分偏硬，很多人读几章就停下——「经典」与「读得下去」是两回事。Goodreads访问于 2026-09-12
• 批评二级全书反映的是二十世纪前期的数学版图：现代代数、逻辑与计算机相关的部分几乎缺席，第二版能补的也有限。DSPRelated（关于内容范围）访问于 2026-09-12

第一，内容停在二十世纪前期：抽象代数、范畴论、数理逻辑与计算数学基本不在书里，1996 年斯图尔特修订版补了一些，但骨架没变——想知道「今天的数学长什么样」，它不够。第二，它不是零基础读物：书里默认读者愿意拿纸笔推导，几何与拓扑章节的门槛尤其高，「入门经典」这四个字容易误导初学者。第三，它的讲解方式是「带你看懂证明」，而不是「教你考试」：对只想应付课程的人是低效的，对想理解数学的人是高效的。第四，中文语境里它常被当成「数学思维圣经」供奉而不读，实际上它的价值全在动手推导那一步——只读不推，收获接近于零。第六，也要说清它的定位：它是「读完能知道数学是什么」的书，不是「读完能做数学」的书；真正的计算与证明能力要靠具体课程与大量练习，这本书给的是地图与品味。第七，中文版与英文版在章节编排上略有差异，引用页码前先确认版本。

• 挑一章（建议从素数或无限那章开始），把书里的证明遮住自己写一遍，再对照——这本书的唯一正确用法。
• 遇到「某个结论显然成立」时，逼自己追问：它是定义、是公理，还是需要证明的命题？
• 读完后补一本现代数学导览类读物，把书里缺失的代数、逻辑与计算补上，避免把 1941 年的版图当成今天。

1. 数学归纳法为什么算证明？它和「举几个例子都对」有什么本质区别？
2. 非欧几何的出现为什么动摇了「公理是真理」的看法？
3. 可数集与不可数集的区别是什么？对角线论证要说明什么？

读法：第 1 章（自然数与归纳法）→ 数系 → 几何（含非欧几何）→ 拓扑 → 函数与极限 → 微积分与极大极小 → 无限与集合。史论型提醒：不必按顺序通读，挑自己最不熟的两章精读收益更大；书里的图与推导过程必须动手跟一遍。想配套读：站内微积分、集合论两篇看现代讲法，再找一本讲现代数学分支的导读补上缺的部分。如果只读一章，读「无限」那章——它最能体现这本书的口味：先用直觉走一段，再用定义把直觉钉住。

• 集合论本书讲无限与可数性的部分就是集合论的入口；站内那篇是现代版，两篇合读能把「无限有大小」这件事彻底讲透。
• 微积分思想极限概念是本书的高点，也是站内微积分那篇的起点；对照读能看出「严格化」是怎么把直觉变成可操作定义的。
• 三角与解析几何本书用坐标把代数与几何接起来；站内那篇是这条线索的入门版，读完再回看书里的几何章节会顺很多。
• 函数与图像函数与图像是本书把代数与几何接起来的第一座桥；站内那篇是它的入门版，读完再回看坐标与曲线的章节会顺很多。