# 气吞万里如虎：回顾十九世纪的数学英豪们
**作者**: snowboat
**日期**: 2026-05-02T00:25:31.000Z
**来源**: [https://x.com/snowboat84/status/2050371067278143931](https://x.com/snowboat84/status/2050371067278143931)
---
十九世纪是数学史上最波澜壮阔的一百年。
这一百年的数学家做了一件真正了不起的事：他们当然解决了很多老问题，但更重要的是，他们把"数学是什么"这件事本身彻底改写了。
数学从描述世界的工具，变成了创造世界的工具。它不再只是在替天文学、力学和工程算题，也开始研究结构、空间、无穷和公理本身。
走进这一百年你会看到一群命运极不相同的人。有人英年早逝，有人坐拥盛名；有人穷困潦倒，有人家庭安稳；有人被主流误解，有人活着就站上了数学世界的山顶。
但隔着两百年回头看，他们埋的每一条线索，都在二十世纪长成了改变人类工程能力的核心工具：相对论、量子力学、粒子物理标准模型、整个计算机理论，根都在十九世纪那一百年里。
辛弃疾写过一句词：气吞万里如虎。这八个字，配得上这一百年的数学。
# 一、十八世纪留下的两根引线
要理解十九世纪为什么这么猛，得先往前退两步。
十七世纪像天才的世纪。开普勒、伽利略、笛卡尔、费马、帕斯卡、牛顿、莱布尼茨这些名字挤在同一个时代里。解析几何、微积分、符号代数、天体力学一起爆发，数学不再只是欧几里得式的几何推理，它开始变成研究运动、变化和自然规律的语言。Britannica在写十七、十八世纪数学时说，到十七世纪末，以分析为基础的研究纲领已经取代古典希腊几何，站到了高等数学的中心。
十八世纪则更像分析的世纪。欧拉、达朗贝尔、拉格朗日、拉普拉斯把微积分、微分方程、变分法、天体力学推到极高水平。数学家越来越习惯用公式处理运动，用级数处理函数，用方程处理世界。这个时代的气质很鲜明：先算，先展开，先把自然现象写成分析表达式。严密性可以稍后补，直觉和计算先往前冲。
但十八世纪也留下了两根没烧完的引线。它们一根在几何，一根在代数。几何那根，缠着欧几里得第五公设。代数那根，缠着五次方程。十九世纪的很多大爆炸，就是从这两根引线开始的。
## 1.1 几何引线：高斯的正十七边形与平行公设
几何这根引线，首先是高斯点燃的。1796年3月30日，十九岁的高斯（Carl Friedrich Gauss）一个清晨醒来，在床上想出了正十七边形可以用尺规作图的证明。
这件事听起来像一道数学竞赛题，其实分量很重。古希腊人提出了只用没有刻度的直尺和圆规绘制几何图形。他们会作正三角形、正方形、正五边形，也会把一个已经能作的正多边形边数翻倍。但哪些正n边形能用圆规直尺作出来，哪些不能，他们没有完整答案。正七边形不行，正九边形也不行，正十七边形到底行不行，古希腊人没有走到那里。
高斯的尺规作出正十七边形的示意图，时年十九岁。
高斯的证明说明了一件事：古希腊人的几何还没有被做完。两千年过去，欧几里得留下的世界仍然可以被推进，而且推进它的工具不再只是几何图形，而是代数和数论。后来高斯在《算术研究》里把这件事放进更大的理论框架，说明正n边形能不能尺规作图，跟费马素数有关系。几何的大门，是被代数从里面撬开的。
这一下会让人自然想到欧几里得体系里更老、更刺眼的那块石头：第五公设。
欧几里得几何里有五条公理，前四条都短、直观、好接受。第五条平行公设却长得很别扭，原文意思大致是：如果一条直线截两条直线，同侧内角和小于两个直角，那么这两条直线延长后会在那一侧相交。
后来的等价说法更熟：
> 过直线外一点，有且只有一条直线与原直线平行。
从古希腊开始，就有人觉得这条不像公理，更像定理。它太复杂了。既然前四条那么朴素，第五条是不是能从前四条推出来？
普罗克洛斯（Proclus）在《几何原本》注释里记录过托勒密（Ptolemy）试图证明第五公设，最后被指出暗中用了等价假设。普罗克洛斯自己也给过证明，但同样额外假定了“平行线之间距离有界”这一类看似显然、实则等价的东西。到了中世纪，伊本·海赛姆（Ibn al-Haytham）和奥马尔·海亚姆（Omar Khayyám）继续尝试。海亚姆研究过后来以萨凯里命名的四边形，已经碰到了椭圆几何和双曲几何的影子，但他还是用一个等价假设把第五公设拉了回来。
十八世纪，萨凯里（Girolamo Saccheri）写了《欧几里得无瑕疵》，想用反证法证明第五公设。他假设第五公设不成立，推演出一大批结论，最后宣布这些结论“违背直线的本性”。今天回头看，尴尬之处正在这里：他以为自己把非欧几何打回去了，实际上差一点把非欧几何生出来。
所以到十八世纪末，几何这根弦已经绷得很紧。高斯的正十七边形告诉大家：古希腊几何还可以继续向前。第五公设的两千年疑案又告诉大家：欧几里得几何的地基也许没有想象中那么不可动摇。只差有人敢说出那句话：第五公设可能根本证明不了，换掉它，也许会得到另一套几何。
高斯心里早就想通了这件事。他知道平行公设可以替换，知道新几何内部可能自洽。但他也知道这句话会冒犯整个欧洲数学传统。他写信给朋友说，自己害怕“希腊人尖叫的声音”，所以一辈子没有公开发表。
跟他形成对照的是法国数学家勒让德（Adrien-Marie Legendre）。勒让德花了几十年想证明平行公设，每次都以为成功了，每次又被自己或后人发现漏洞。他不是不聪明，他代表的是旧几何最后的执念：欧几里得必须是唯一正确的几何。
## 1.2 代数引线：五次方程的三百年悬案
第二根弦在代数。
十六世纪的意大利数学家塔尔塔利亚（Niccolò Tartaglia）和费拉里（Lodovico Ferrari）先后解决了三次方程和四次方程的根式解。所谓根式解，就是只用加减乘除和开方，把方程的根从系数里写出来。二次方程有公式，三次、四次也有公式，那下一个自然问题就是：五次方程有没有公式？
塔尔塔利亚解决了三次方程的通解。
这个问题在十八世纪很火。它的热度不来自直接应用，而来自它像一座门槛：如果五次方程也能被同样方式解决，代数就沿着文艺复兴以来的路继续走；如果不行，那就说明旧代数的路到这里断了。
Britannica在讲十八世纪方程论时说，当时兴趣集中在两个问题上：一般N次方程的根是否存在，以及能不能把根表示成系数的代数函数。大约1770年前后，一个叫做Waring的数学家在英国写方程论，另一位数学家Vandermonde向法国科学院提交论文，大数学家拉格朗日更是向柏林科学院提交长篇回忆录。大家盯着的核心，都是同一件事：二次、三次、四次方程为什么能解，五次为什么卡住。
五次方程的求解是十八世纪方程论最显眼的公开难题之一，各国科学院、学报和数学通信网络都在承载这个问题的竞赛。Vandermonde在1770年向法国科学院读论文，拉格朗日在1770到1771年发表《代数方程解法的反思》，这说明它确实是当时最前沿的题目。
拉格朗日（1736—1813）
拉格朗日做了最深的一步。他没有继续硬猜公式，而是回头拆三次和四次方程：这些公式为什么能工作？他发现，答案不在表面的开方技巧，而在根的排列和对称性。把方程的几个根互相交换，有些表达式会变，有些不变。三次、四次能解，是因为这些对称变化最后还能被控制住。
但到五次方程，他卡住了。用同样办法会冒出更复杂的辅助方程，路反而越走越乱。拉格朗日没有证明五次方程无解，但他把问题的位置挪准了：代数的关键不再只是“怎么写出公式”，而是“根之间的对称结构允许不允许公式存在”。
这就是十九世纪代数革命的入口。谁也没想到，真正把门踹开的人，不是科学院里的老权威，而是两个二十出头就死掉的年轻人：阿贝尔和伽罗瓦。
# 二、几何的解放：罗巴切夫斯基、鲍耶、黎曼
## 2.1 罗巴切夫斯基与鲍耶：非欧几何在边缘地带被点燃
第一根弦是被两个边缘地带的人同时点燃的。这里的“边缘”，不是说他们水平边缘，而是说他们不在当时欧洲数学的主舞台上。
十九世纪早期的数学中心，大致在巴黎、柏林、哥廷根、剑桥这些地方。罗巴切夫斯基（Nikolai Lobachevsky）所在的喀山大学不在这个网络中心。喀山在伏尔加河畔，面向乌拉尔和西伯利亚通道，甚至被描述成俄罗斯西部、靠近西伯利亚边缘的城市。罗巴切夫斯基的学术生命几乎都围绕喀山大学展开：从学生、教授、做到校长，都在那里。他没有像很多欧洲学者那样在巴黎、柏林、伦敦之间流动。
1829年，罗巴切夫斯基在喀山本地刊物《喀山通讯》上发表论文，提出一种全新的几何。1829年到1830年，他又把相关论文投给圣彼得堡科学院，结果被退回，没有发表。后来他继续用俄文写书，传播范围也有限。直到1840年，他用德文出版《平行线理论的几何研究》，欧洲大陆才更容易看到他的想法。
罗巴切夫斯基（1792—1856）
他到底改了什么？他专门改了第五公设。欧几里得的旧说法是：
> 过直线外一点，有且只有一条直线与原直线平行。
罗巴切夫斯基的新假设可以写成：
> 过直线外一点，至少有两条直线不与原直线相交。
这句话看起来只是把“有且只有一条”改成“至少有两条”，后果却极其巨大。它推出的几何内部没有矛盾，三角形内角和小于180度，面积和角亏有关，空间不再像欧几里得想象的那样平直。今天我们叫它双曲几何。
为什么前面两千年的人没有走到这里？因为他们的目标一直是“救欧几里得”。Proclus、Khayyám、Saccheri、Lambert、Legendre这些人都在试图证明第五公设。他们常用的方法是：先假设第五公设不成立，再希望推导出荒谬结论。但推到最后，他们要么悄悄塞回一个等价假设，要么在看到“怪异但不矛盾”的结论时，以为那就是荒谬。问题不在计算不够，而在心理边界：他们想证明欧氏几何唯一正确，不是想承认另一套几何也可能成立。
匈牙利的鲍耶（János Bolyai）几乎同时在做同一件事。他也在边缘地带。他不是巴黎科学院里的人，也不是哥廷根大学里的教授，而是一名奥匈帝国军官。父亲法尔卡斯·鲍耶（Farkas Bolyai）是高斯的老朋友，曾经苦劝儿子不要碰平行公设，"那是吞噬生命的深渊"。儿子不听，1832年把成果作为附录塞进父亲的一本数学教科书里出版。这篇附录后来通常就叫Appendix。
匈牙利数学家 János Bolyai （1802—1860）
法尔卡斯把书寄给了高斯。高斯回信说："夸赞这件作品，等于夸赞我自己——它的核心思想跟我三十多年前的想法完全一致。"这句话表面是赞美，骨子里是一根针：年轻的鲍耶花了一辈子才走到的高度，原来高斯三十年前就到了，但没说。鲍耶受了这刺激，从此基本不再做严肃数学。
鲍耶后来并没有完全停止数学思考，他留下过大量手稿，也继续研究几何和数论问题。但在公开发表、形成学派、推动领域这件事上，他基本没有再拿出能和Appendix相提并论的成果。一个原因是性格和处境，另一个原因是高斯的回信给了他极大打击。他知道自己做出了大事，却没有得到一个年轻人最需要的确认。
罗巴切夫斯基也活得并不舒畅。他做到喀山大学校长，但晚年被排挤、解职、双目失明，一个孩子死在他前面。他至死都不知道自己开创的几何会改变世界。
## 2.2 几何不再是对经验世界的描述
非欧几何的真正冲击不在"又多了一种几何"。
它说明了一件让所有人不安的事：欧几里得几何并非对真实世界的唯一描述，它只是从五条公理出发的一种逻辑推演。换一组公理，会得到另一种内部完全自洽的几何。哪一种是"真的"？这个问题在数学之内根本没有答案，它是个物理问题，要看真实空间到底是什么样的。
这件事把"数学"和"物理直觉"之间一条隐秘的脐带剪断了。在此之前，很多人默认几何是在描述真实空间，欧几里得几何之所以正确，是因为世界本来就长这样。罗巴切夫斯基和鲍耶逼大家承认另一种可能：几何也可以只是从一组公理出发的逻辑系统。只要内部自洽，它就有资格存在。
这一步已经很大，但还没有把事情做到底。罗巴切夫斯基和鲍耶仍然是在改平行公设，仍然是在讨论某种二维或三维空间里的“直线”。真正把几何从平面、直线、三角形这些旧词里解放出来的人，是黎曼。
## 2.3 黎曼1854：一场几乎没有公式的演讲
非欧几何之后还有更狠的一步。
1854年6月10日，二十七岁的黎曼（Bernhard Riemann）在哥廷根大学做就职演讲（Habilitation），题目是《论作为几何基础的假设》。
Bernhard Riemann （1826—1866）
论作为几何基础的假设（英译本第一页）
这不是一篇我们今天想象中的“硬核数学论文”。它篇幅不长，公式很少，很多关键地方甚至更像哲学宣言。黎曼没有在台上铺开一套完整计算体系，也没有把后来所谓“黎曼曲率张量”的公式写清楚。Historia Mathematica一篇研究黎曼曲率史的论文甚至说，这篇演讲神秘之处就在于：它给出了一个非常精确的曲率概念，却几乎没有用计算来支撑。
所以，1854年现场没有出现“数学界轰动”的场面。它先是一次资格演讲，听众很少，真正能意识到它分量的人更少。唯一可以确定的是，高斯坐在下面。
这一步划时代，原因不在于黎曼又发明了一种非欧几何，而在于他把“几何”这件事本身重新定义了。
在黎曼之前，人们谈几何，脑子里大多还是点、线、面、空间。即使到了罗巴切夫斯基和鲍耶，问题仍然围绕“平行线到底有几条”展开。黎曼换了一个问法：如果我们面对的不是平面，不是三维空间，而是一个任意维数的连续对象，怎么在里面谈距离、角度、曲率？
他的答案是“流形”。流形是一种局部看起来像普通空间、整体却可以弯曲得很复杂的东西。地球表面就是最容易想象的例子：站在地面上，周围看起来像平面；但从整体看，它是球面。黎曼的胆子更大，他说：这样的对象不一定要是二维球面，也不一定要嵌在我们能想象的三维空间里。它可以是任意维数。
更关键的是曲率。过去人们也研究曲面，比如球面几何早就存在。希腊的梅涅劳斯（Menelaus）一世纪写过《球面学》，托勒密（Ptolemy）二世纪的《天文学大成》大量使用球面三角学，中世纪阿拉伯天文学和欧洲航海也离不开这些公式。但在这些传统里，球面通常被看成三维欧氏空间里的一个曲面。它像一个“嵌进去的东西”，不是一个可以独立规定自身几何的世界。
高斯1827年的"绝妙定理"（Theorema Egregium）先把门推开了一条缝：曲面的曲率是它自己的内部属性，不依赖它怎么嵌入三维空间。想象一只爬在球面上的二维生物，它看不到第三个维度，但只靠测量距离、角度、面积，就能发现自己生活的世界不是欧式的。
黎曼把这扇门彻底推开。他说，几何不必依赖外部空间。一个空间内部只要有了度量，也就是知道无穷小距离怎么计算，就可以定义长度、角度、面积、体积和曲率。于是几何从“研究我们眼前这个空间”，变成“研究所有可能的空间结构”。
这才是黎曼真正划时代的思想：空间不是数学的背景板，空间本身可以成为数学对象。
听众里坐着七十七岁的高斯。演讲结束后，据数学家戴德金（Richard Dedekind）后来的回忆，老人步出讲堂时神情异常，远超出他对一场就职演讲的预期。这是高斯生命最后一年里少有的情绪失态。他知道，眼前这个年轻人走的路比自己当年还要远得多。
大数学家高斯（1777-1855）
但高斯的惊讶不等于学界立刻转向。黎曼这篇演讲到他去世后才正式发表，1867年由戴德金整理发表在哥廷根科学院论文集里，1873年才由克利福德译成英文发表在Nature上。换句话说，它的影响不是现场爆炸，而是死后慢慢扩散。
## 2.4 为什么这篇演说后来开创了黎曼几何
为什么一场几乎没有公式的就职演讲，后来会有这么大的影响力？
因为黎曼没有只是解决一个问题。他打开了一片新大陆。
所谓新大陆，不是比喻说说而已。一个学科真正能繁荣，通常要满足几件事：它有新的对象，有新的基本问题，有一套可以继续发展的语言，还能把别的领域的问题吸进来。黎曼这篇演讲四件事都做到了。
第一，它给了数学家新的对象：流形。过去几何研究的是平面、曲线、曲面，或者三维欧式空间里的图形。黎曼说，我们可以研究任意维数的连续空间。这个对象一出现，问题就不是一两个，而是一整片：什么是流形上的距离？什么是流形上的直线？曲率怎么定义？不同流形怎么比较？一个流形能不能分类？
第二，它给了数学家新的语言：度量和曲率。黎曼没有把完整计算体系写出来，但他抓住了最关键的入口：只要知道无穷小距离怎么计算，几何就开始了。度量决定长度、角度、体积，也决定曲率。换一个度量，就像换一套物理世界的规则。这个想法太肥沃了，后人可以在上面不断开分支。
第三，它留下了大量“可耕种”的问题。黎曼没有给出完整公式，反而让后来的人有事可做：坐标换了，几何量怎么保持不变？曲率到底该怎么计算？沿着一条曲线搬运一个向量，方向会怎么变？什么是测地线？这些问题不是边角料，它们后来长成了Christoffel符号、协变导数、曲率张量、平行移动和测地线理论。
第四，它天然能接入物理。物理学最需要的不是某一种特殊几何，而是一套能处理任意弯曲空间的语言。如果空间本身可以有度量和曲率，那么引力、光线、运动轨迹都可以被写成几何问题。黎曼当时没有做广义相对论，但他把未来物理学需要的数学接口先造了出来。
黎曼几何示意图
这就是黎曼影响力的真正来源。他不是交出一套完成品，而是划出一块足够大的土地，告诉后人：这里可以建一个新学科。
所以“黎曼几何”不是1854年那天讲完就立刻成型的。黎曼只是把大陆指了出来。后面几十年，别人才真正上岸开荒。
Beltrami在1860年代给非欧几何找模型，帮助数学家相信非欧几何并非逻辑怪物。Christoffel在1869年发展坐标变换下的微分表达式，后来所谓Christoffel符号就是从这里来的。Ricci和Levi-Civita在十九世纪末、二十世纪初发展出“绝对微分学”，也就是后来广义相对论用到的张量演算。这些工作之所以能接到一起，是因为黎曼给了它们共同母题：在流形上研究度量与曲率。
六十年后，新的浪潮来了。1915年爱因斯坦完成广义相对论，需要一套数学来描述时空怎么被质量弯曲。他要的不是平面几何，也不是普通曲面几何，而是四维时空上的度量和曲率。那时，黎曼开出的这条路线已经被后人修成工具箱。
这时，“真实空间是不是欧式的”这个问题终于有了物理答案：不是。引力不是一种传统意义上的力，而是时空的曲率。十九世纪一个年轻人在哥廷根讲堂里提出的抽象几何，最后变成了二十世纪物理学理解宇宙的语言。
# 三、代数的革命：阿贝尔与伽罗瓦
## 3.1 阿贝尔：1829年4月，柏林的聘书晚到了两天
代数那根弦，是被两个二十出头死掉的年轻人点燃的。
挪威人阿贝尔（Niels Henrik Abel）出身贫寒，父亲是穷牧师，母亲精神不稳定。他从小靠老师施舍学费读书。为什么一个挪威年轻人会盯上五次方程？不是为了参加某个比赛，而是因为这个问题太显眼了。三次、四次方程已经有根式解，五次方程卡了三百年。一个没有位置、没有名声、远离巴黎和哥廷根的年轻人，如果想让欧洲数学界看见自己，最直接的方式就是拿下最难的问题。
更有意思的是，阿贝尔一开始也不是奔着“不可能”去的。他最初相信自己找到了五次方程的通解，后来检查时发现不对，反过来意识到：也许真正的答案不是公式太难找，而是公式根本不存在。这个转向很关键。十八世纪很多人都在寻找新公式，阿贝尔开始问的是：在什么条件下，这种公式本身就不可能存在？
他为什么能比前人走远？第一，他站在拉格朗日的肩膀上。拉格朗日已经发现，三次、四次方程的根式解背后有根的置换和对称结构。第二，鲁菲尼（Paolo Ruffini）此前也尝试证明五次方程无根式通解，虽然证明没有完全被接受，但方向已经摆在那里。第三，阿贝尔的证明补上了关键缺口：如果假定五次方程可以用根式解出来，那么这个解应当具有怎样的形式？他把“找公式”变成了“分析所有可能公式的结构”，然后证明这种结构走不通。
这就是阿贝尔真正厉害的地方。他不是又想了一个更复杂的公式，而是证明所有这类公式都不够用。这个答案震撼之处在于它告诉你：有些门不是还没找到钥匙，而是根本没有门。数学史上从这里开始，"做不到"本身也可以成为严肃定理。
问题是，当时的学术界没有马上理解这件事。
1824年，阿贝尔自费印了一本很薄的小册子，题目很宏大，叫做《一般一元五次方程式无公式解的代数方程证明》，内容却极度压缩。他把它寄给当时的数学权威，包括高斯。高斯连看都没看。很多年后，人们在高斯的书架上找到那本小册子，封套都没拆开。一个可能解释是：高斯本来就不太重视“根式解”这类问题，觉得给根发明一个符号并不比说“方程有一个根等于这个符号”高明多少。
还有一个更现实的原因：阿贝尔太边缘了。他来自挪威，年纪太轻，没有职位，没有学派，没有能替他站台的欧洲中心人物。他的1824小册子又短到近乎冷酷，读者必须自己补很多细节。一个二十二岁的无名青年寄来一份“我证明了三百年难题不可能”的小册子，对很多权威来说，第一反应很可能不是惊喜，而是怀疑。
后来情况才慢慢改变。1825年到1826年，阿贝尔到柏林，遇见August Crelle。Crelle不是顶级数学家，却是一个极重要的数学组织者。他创办《纯粹与应用数学杂志》，也就是后来的Crelle's Journal，并在第一卷刊登阿贝尔更完整的五次方程论文和其他论文。阿贝尔的名声这才开始进入欧洲数学网络。
但命运没有给他时间。阿贝尔继续做研究，陷入贫困，得了肺结核。1829年4月6日他在挪威死去，年仅二十六岁。两天之后，1829年4月8日，Crelle从柏林发出一封信，告诉他柏林大学已经为他争取到了教授席位。信抵达时，Abel已经死了。
阿贝尔（1802-1829）
## 3.2 伽罗瓦：决斗前夜的那封信
法国人伽罗瓦（Évariste Galois）走得更远，也死得更年轻。
如果说阿贝尔回答了“五次方程一般不能用根式解”，伽罗瓦问的是更深一层的问题：到底哪些方程能用根式解，哪些不能？能不能给出一个判定标准？
这就是他和阿贝尔的差别。阿贝尔给的是一个总否定：一般五次方程没有通用根式解。伽罗瓦想要的是一台机器：拿到一个具体方程，先看它的根之间有什么对称关系，再判断它能不能用根式解。
他的核心洞见是：不要盯着根本身，要盯着根的置换。
假设一个方程有几个根。你把这些根互相交换，有些关于根的表达式会保持不变，比如所有根的和；有些会改变，比如第一个根减第二个根。换句话说，方程的系数只能看见那些“怎么交换都不变”的对称信息，看不见每个根单独的身份。能保持哪些关系，不能保持哪些关系，背后有一个结构。伽罗瓦把这种结构叫做群（group）。方程能不能根式求解，取决于这个群有没有某种可逐层拆开的结构。今天我们叫“可解群”。
这一步几乎把代数的灵魂换掉了。旧代数把方程当作计算对象，目标是求根。伽罗瓦把方程当作结构对象，目标是理解根之间的对称性。你会发现，他真正开创的不是一种新公式，而是一种新眼光。
他为什么能想到这一步？一方面，他继承了拉格朗日对根的置换的研究，也知道阿贝尔已经证明一般五次方程走不通。另一方面，他年轻到近乎蛮横，不愿意沿着老路继续找公式。他想要一个总原则，一个能解释所有方程的判据。
但这套思想太超前了。伽罗瓦的人生也太糟糕了。他考巴黎综合理工学院两次落榜，其中一次因为跟主考官冲突；后来进入巴黎高等师范学校，又因为政治活动被开除。他卷入1830年法国革命，两次进监狱。对巴黎科学院来说，他既年轻、脾气坏、政治上危险，写出来的东西又高度压缩。
他的论文命运几乎是灾难。1829年前后，他第一次把关于方程论的论文交给大数学家柯西（Cauchy）。柯西建议他修改，但论文没有进入正常发表轨道。1830年，他又把论文提交给法国科学院大奖，交到秘书傅里叶（Fourier）那里。傅里叶很快去世，论文随之不知所踪。1831年，他第三次提交，评审包括泊松（Poisson）。泊松的报告说看不懂，并认为里面有严重问题，论文被退回。
这里不能简单说评审都是蠢人。伽罗瓦确实写得太浓缩，很多定义没有充分展开，很多推理像电光一闪。他脑子里已经有现代代数的雏形，但他留给读者的不是一条铺好的路，而是一张压缩到极限的地图。当时的数学语言还没准备好接住他。
1832年5月30日清晨，二十岁的伽罗瓦在巴黎郊外决斗，腹部中弹，第二天清晨在医院死去。决斗前一夜，他通宵给朋友Auguste Chevalier写信，把自己的主要想法塞进几页纸里。那封信里最著名的一句，是他反复催促朋友把这些东西交给雅可比（Jacobi）或高斯（Gauss）判断，因为他已经没有时间了。
这不是浪漫桥段。那封信就是一个年轻人在死亡前夜给未来数学留下的索引。
伽罗瓦 （1811—1832）
## 3.3 从"求解"到"理解结构"
阿贝尔和伽罗瓦加在一起，把代数这门学科的问题意识彻底改了。
旧代数关心的是"怎么解这个方程"，目标是给出一套具体的计算流程。阿贝尔和伽罗瓦之后，代数学开始关心"为什么这类问题能解或不能解"，背后的对称结构是什么。这相当于从工匠精神切到结构思维：从能不能做出某件具体器物，转到能不能理解器物背后的规律。
两个人的发现，也不是立刻被世界接住的。
阿贝尔的命运稍好一点。Crelle在1826年创办《纯粹与应用数学杂志》后，把阿贝尔的五次方程论文和大量其他论文发表出来。阿贝尔死后，他在椭圆函数、阿贝尔函数、无穷级数、方程论里的工作逐渐被欧洲数学界吸收。后来的法国数学家Hermite后来有一句常被转述的话，说“阿贝尔留下的东西足够让数学家忙五百年”。这个说法当然是赞美式夸张，但它抓住了事实：阿贝尔不是只解决了一个五次方程问题，他打开了很多后续理论的入口。
伽罗瓦更晚。Chevalier在1832年把他的遗书性质的信发表出来，但没有引起足够注意。真正把伽罗瓦带回数学主线的人，是Joseph Liouville。1843年，Liouville在法国科学院宣布自己理解了伽罗瓦论文的重要性；1846年，他在《纯粹与应用数学杂志》发表伽罗瓦遗稿。Britannica说，伽罗瓦手稿经Liouville整理后在1846年发表，但直到1870年Camille Jordan出版《置换论》之后，群论才真正成为数学的一部分。
这说明一个很残酷的事实：天才的发现需要后来的翻译者。阿贝尔需要Crelle，伽罗瓦需要Liouville和Jordan。没有这些人，他们留下的东西可能只是一堆难读的纸。
他们到底开创了什么新思想？
第一，是“不可能性证明”。阿贝尔让数学家认真接受：证明某件事做不到，不是失败，而是胜利。五次方程没有通用根式解，这不是说我们笨，而是说问题本身有边界。
第二，是“结构先于公式”。伽罗瓦让数学家看到，真正重要的不是把答案写出来，而是理解对象内部的对称结构。一个方程的秘密，不只在它的根里，也在根可以怎样互相置换而不破坏关系。
第三，是“群”作为数学语言。群论后来进入几何、数论、拓扑、物理、化学、密码学。今天的粒子物理讲对称性，晶体学讲空间群，椭圆曲线密码依赖代数结构，魔方解法也靠群论语言。根都在这场代数革命里。
所以，阿贝尔和伽罗瓦真正改变的，不只是五次方程。他们让代数从“求出答案的技术”，变成了“研究结构的科学”。
# 四、几何与代数合流：克莱因的爱尔兰根纲领
## 4.1 另一份伟大的就职宣言
十九世纪中后段的一件大事，是几何和代数终于汇流了。
为什么需要“汇流”？因为到克莱因（Klein）登场的时候，几何已经快变成一个群雄割据的世界。
克莱因（1849—1925）
欧几里得几何还在，研究长度、角度、面积。解析几何也已经成熟，用坐标和方程处理曲线曲面。射影几何从透视画法和Poncelet、Desargues那条线长出来，关心直线、交点、圆锥曲线在投影下保持什么性质。仿射几何关心平行性和比例，但不关心长度角度。反演几何、圆球几何也在发展。再加上罗巴切夫斯基和鲍耶的双曲几何，黎曼式的弯曲空间，几何学突然多出一堆彼此都说得通、但语言完全不同的王国。
射影几何示意图
仿射几何示意图
这会让人头大：这些几何到底是什么关系？欧氏几何和射影几何谁更基本？非欧几何是异端，还是某种更大体系里的正常成员？一个几何里有意义的“长度”和“角度”，为什么到另一个几何里就不重要了？
在克莱因之前，已经有人在往统一方向走。射影几何本身就是一种强大的统一语言，因为它不关心长度，只关心投影下不变的关系。von Staudt试图把射影几何建立在不依赖度量的基础上。Laguerre发现欧氏角度可以用交比表达。凯莱（Cayley）在1859年写《距离理论》，用射影几何里的“绝对二次曲线”和交比来定义距离。后来克莱因继续发展这条线，形成所谓Cayley-Klein度量，欧氏几何、双曲几何、椭圆几何都能在这个框架下被看成不同选择的结果。
也就是说，到1872年前后，统一几何的材料已经散落一地：射影几何给了大框架，凯莱给了用交比定义度量的办法，伽罗瓦那边已经把“群”变成代数语言，索菲斯·李也正在研究连续变换群。缺的是一句总纲，把这些东西放进同一个盒子里。
爱尔兰根纲领（Erlanger Programm）
汇流点是1872年。这一年，二十三岁的克莱因（Felix Klein）在德国爱尔兰根大学（Erlangen）作为新就任教授发布了一份研究宣言，后来简称爱尔兰根纲领（Erlanger Programm）。它的核心想法可以一句话概括：
> 几何学就是研究在某个变换群下保持不变的性质
这里的“群”，和伽罗瓦那里是一脉相承的抽象语言。伽罗瓦研究的是根的置换：把方程的根互相交换，哪些关系保持不变。克莱因研究的是空间的变换：把图形平移、旋转、投影、反演，哪些性质保持不变。
所谓变换群，就是一组可以连续使用、互相组合、还能反过来的变换。比如平移之后再旋转，还是一个欧氏运动；旋转可以反向旋回来；什么都不做也是一个变换。这些变换合在一起，就构成一个群。几何里的问题就变成：在这组允许的变换下，什么东西不会变？
这句话听着平淡，但威力惊人。它把几何从“研究某种图形”，改成了“研究某类变换下的不变量”。
这个表的意思不是说所有几何都被克莱因一次性彻底解决了。黎曼几何后来会超出爱尔兰根纲领的原始范围，因为一般黎曼流形未必有足够大的对称群。但克莱因给出的方向已经非常清楚：每一种几何都要问清楚，允许哪些变换，哪些性质在这些变换下不变。
所有这些几何，原来背后都有一个共同语法：变换群加不变量。几何和代数（群论）从此合二为一。
## 4.2 不变量理论：希尔伯特的存在性证明
跟爱尔兰根纲领并行的另一条线是不变量理论。
这个问题一点也不小。十九世纪的代数和几何都在大量使用坐标，一条曲线、一个曲面、一个方程，只要换一套坐标，写出来的公式就会完全变样。数学家马上会遇到一个麻烦：眼前这两个长得不一样的公式，到底是两个不同对象，还是同一个对象换了个写法？
英国数学家凯莱（Arthur Cayley）和西尔维斯特（James Sylvester）研究的，就是这个麻烦的核心版本：把一个多项式做线性变换，哪些组合系数会保持不变？比如一个二次型，换一套坐标之后，系数会变，但判别式这一类组合可能不变。坐标只是人的写法，不变量才更接近对象本身。
这听起来像一个偏门小题，其实是代数几何的身份证问题。公式长相会被坐标改变，坐标会骗人；只有那些无论怎么改坐标都不变的量，才更接近对象本身。凯莱和西尔维斯特盯上的，正是这个“换了名字以后还能认出它”的问题。
这就是不变量理论的重要性。它把克莱因那句“变换群下保持不变的性质”，翻译成代数里的具体问题：给定一组变换，哪些代数表达式保持不变？这些不变量之间有什么关系？能不能用有限个基本不变量，把其他不变量都生成出来？
十九世纪数学家非常需要这个工具。方程、曲线、曲面、多项式，换一个坐标系就会换一副面孔；如果只盯着公式表面，人会被符号牵着走。不变量理论的价值，是在一堆变化的公式里找出真正不随坐标变化的结构。
这看上去是纯计算问题，但凯莱和西尔维斯特发现这些不变量本身有结构，可以分类。真正卡住人的问题是：不变量可能有无限多个，能不能只找出有限个“基本不变量”，再用加减乘除和乘方把其他不变量都造出来？整个十九世纪后半叶，欧洲一大批数学家在做不变量的具体计算，论文堆得汗牛充栋。
1888年，年仅二十六岁的希尔伯特（David Hilbert）写了一篇文章，用一种全新的存在性证明把整个领域一笔扫平：对任意次数、任意变量数的代数形式，这套不变量总能由有限个基本不变量生成。换句话说，他证明了有限基底必然存在，但完全没告诉你这个基底长什么样。
年轻的希尔伯特
当时这个领域的领军人物哥达（Paul Gordan）看了之后大喊："这不是数学，这是神学！"他坚持希尔伯特的证明算不上数学证明，因为它没构造出任何具体东西。但希尔伯特的方法很快被整个数学界接受了：数学家不必每次都把东西算出来，知道它一定存在就够。
这件事的重要性有两层。对不变量理论来说，它把一门靠大量手算推进的学科，改造成了可以讨论“有限生成”“理想”“基底”的抽象代数。对整个数学来说，它让非构造性的存在证明登上主舞台。希尔伯特不再问“这个不变量具体长什么样”，他问的是“这套不变量能不能由有限个东西控制住”。
到这里，十九世纪数学的方向已经很清楚了。公式还在，但数学家开始越过公式表面，去追公式背后的结构，以及结构在变换下留下的痕迹。
## 4.3 李群与拓扑学：两条不同入口
爱尔兰根纲领之后，几何和代数的关系变得更紧。李群和拓扑学并不是克莱因纲领的两个直接后代，但它们和克莱因共享同一个时代气质：公式只是表面，更深的东西藏在变换、对称和整体结构里。
先说挪威数学家索菲斯·李（Sophus Lie）。他研究连续变换群，不只是因为“离散群有了，那连续情况也看看”。他的核心动机更具体：微分方程太难了。
Sophus Lie (1842—1899)
十九世纪的数学和物理到处都是微分方程。行星运动、流体、热传导、光学、力学，全都要解方程。但当时很多解法靠技巧，某类方程有某类招数，换一个形式就要重新猜。李想做一件野心很大的事：像伽罗瓦用群解释代数方程能不能求根一样，用连续变换群解释微分方程为什么能解、怎么降阶、怎么系统地求解。
这就是李群最初的现实动机。一个微分方程如果在某些连续变换下保持不变，比如平移、旋转、尺度伸缩，那么这些对称性就是解题线索。沿着对称方向，方程可能被简化，维数可能被降下来，原本看不见的结构会露出来。
李和克莱因确实有密切交流，几何里的变换群思想也给了他语境，但李真正要攻的是微分方程。他后来和Friedrich Engel合作出版三卷本《变换群理论》，把连续变换群变成一套系统理论。这类群既是代数对象，又是几何对象，后来进入诺特定理、量子力学和粒子物理，今天标准模型骨子里就是SU(3)×SU(2)×U(1)三个李群。
另一条线是拓扑学，它的入口在庞加莱（Henri Poincaré）的天体力学。
大数学家庞加莱
经典力学最骄傲的传统，是把运动方程解出来。两体问题可以漂亮求解：一个太阳、一个行星，轨道是椭圆。但一旦变成三体问题，事情就完全变了。三个天体互相吸引，方程写得出来，通用的闭式解却找不到。
庞加莱在研究三体问题时，逐渐意识到：如果解不出完整公式，就换一个问法。轨道会不会稳定？会不会回到附近？相空间里的轨迹怎样缠绕？某些区域能不能互相连通？这些问题已经不只是求函数，而是在研究空间里的整体形状。
这条路把他带向了analysis situs，也就是后来的拓扑学。拓扑学关心的是抛开长度、角度、面积之后，空间仍然保留下来的性质。比如球面和环面从拓扑学上看不同，一个圆圈在球面上一定能缩成一点，在环面上不一定。庞加莱用代数工具研究这种“形状”，开创了代数拓扑。
克莱因、李、庞加莱从不同入口出发，把十九世纪数学推向了同一个方向：具体公式退到后面，变换、对称和整体结构走到前面。
庞加莱在1904年提出一个看似简单的猜想：任何单连通的紧致三维流形是不是都同胚于三维球面？这个庞加莱猜想悬了一百年，2003年俄罗斯数学家佩雷尔曼（Grigori Perelman）才解决，并因此获得2006年菲尔兹奖（他拒绝接受奖项）。
# 五、分析学的严格化
## 5.1 贝克莱的攻击：微积分的基础问题
十九世纪数学的第三条主线是分析学严格化。
分析学严格化的起点要退回到牛顿和莱布尼茨发明微积分的时代。微积分太好用了：行星运动、抛体、光学、流体、曲线切线、面积体积，全都被它一把打开。但它的基础很别扭，尤其是“无穷小”到底是什么，说不清。
1734年，爱尔兰哲学家贝克莱（George Berkeley）写《分析家》（The Analyst），专门攻击微积分的逻辑基础。他最著名的嘲讽是：数学家口中的无穷小，是“已消逝量的幽灵”。意思很尖刻：计算时先把一个量当作不是零来除，最后又把它当作零扔掉，这到底算什么证明？
这不是外行找茬。微积分在应用上已经赢了，但在证明上确实有缝。很多数学史叙述会把这称为“第二次数学危机”：第一次数学危机是古希腊发现无理数，第二次就是微积分的无穷小基础遭到质疑。
## 5.2 柯西和魏尔斯特拉斯：把直觉换成极限
十九世纪的分析学严格化，就是给这套强大工具补地基。
法国的柯西（Augustin-Louis Cauchy）是关键人物。1821年，他出版《分析教程》（Cours d'analyse），开始系统使用极限、连续、收敛这些概念来组织分析学。柯西还没有完全摆脱无穷小语言，但他把分析学从“凭图像和直觉算”往“按定义证明”推进了一大步。
再往后，德国的魏尔斯特拉斯（Karl Weierstrass）把事情推得更彻底。极限不再靠“越来越接近”这种口头直觉，而要写成精确的ε-δ语言：给定任意误差ε，都能找到一个范围δ，只要输入落在这个范围里，输出误差就被控制住。这样一来，连续、极限、导数这些概念才真正变成可检查的定义。
这就是所谓分析学的“算术化”：尽量不用几何图像，不用物理直觉，不用含糊的无穷小，而是把分析学压回数、序列、集合和明确定义上。
魏尔斯特拉斯还有一个更狠的贡献。1872年，他公开展示一个处处连续、处处不可微的函数。直观上，一条不断开的曲线总该有很多地方能画切线；魏尔斯特拉斯告诉大家，直觉又错了。这类怪物函数逼着数学家承认：分析学不能再靠画图，必须靠定义。
## 5.3 傅里叶级数与康托尔集合论
傅里叶分析正是在这个大背景下变得麻烦起来。
法国人傅里叶（Joseph Fourier）研究的是金属棒上的热传导。他写下了一组偏微分方程，但没法直接求解。1807年他做了一个石破天惊的设想：任何函数都可以分解成一系列正弦波（不同频率的三角函数）的叠加。
这个想法当时被法国科学院主流（拉格朗日、拉普拉斯）质疑了十五年，因为它太反常识：连不连续都不要紧的函数，怎么可能用平滑的正弦波拼出来？傅里叶坚持自己是对的，最后科学院在他的推动下还是把论文发表了。一百年下来，傅里叶分析成了物理、工程、信号处理、图像压缩所有领域的基础工具。今天你听MP3、看JPG、用WiFi、做地震波分析、做天文图像处理，背后全是傅里叶分析。
但傅里叶分解提出了一个严肃的数学问题：这种分解唯一吗？某些"病态"的函数会不会破坏唯一性？
德国人康托尔（Georg Cantor）从这个问题入手。他研究的是这样一类问题：如果两个傅里叶级数在绝大多数点上给出同一个函数，只在少数点上出岔子，那这两个级数到底算不算同一个展开？这些“出岔子的点”能有多少，能乱到什么程度？
康托尔
这就是所谓“唯一性问题”。如果一个函数可以用三角级数表示，这种表示是不是唯一的？如果允许在某些点上出错，唯一性还成不成立？康托尔一开始研究的不是抽象集合论，而是这些坏点组成的集合。
这个转向很关键。康托尔研究“无穷”，起点不是玄学，而是分析学里一个很具体的技术问题。傅里叶级数要想严格成立，就必须搞清楚坏点能有多复杂，坏点集合怎么分层，两个无穷集合能不能比较大小。
所以集合论在十九世纪不是一条完全孤立的线。傅里叶把函数展开成三角级数，黎曼继续研究三角级数和积分（没错，又是他！），Heine把唯一性问题交给年轻的康托尔，Bolzano更早已经认真讨论过无穷悖论。康托尔面对的是整个严格化时代的压力：柯西、黎曼、魏尔斯特拉斯、Heine这一代人不断追问收敛、连续、函数、级数到底是什么意思，康托尔就在这个问题环境里，把坏点集合一路推到无穷集合。
康托尔的发现震动了整个数学界：无穷也有大小之分。这不是玩概念，康托尔给出的是一组硬结论。
自然数集合、整数集合、有理数集合，虽然看起来一个比一个大，但都可以和自然数一一配对，所以它们是同一种无穷，叫“可数无穷”。实数集合不一样，康托尔用对角线方法证明，0和1之间的所有实数无法和自然数一一配对，所以实数是“不可数无穷”。这等于说，数轴上的点比所有可以数出来的数多得多。
更狠的是幂集定理：任何一个集合的所有子集组成的新集合，都一定比原集合更大。自然数有一个幂集，那个幂集比自然数大；幂集还可以再取幂集，于是无穷不是一个，而是一层一层往上长。这些结论直接把“无穷”从哲学词变成了可以计算、比较、证明的数学对象。
它还立刻逼出一个大问题：自然数的无穷和实数的无穷之间，有没有中间大小的无穷？这就是连续统假设。康托尔相信没有；希尔伯特1900年把它列为二十三个问题里的第一题；二十世纪的Gödel和Cohen后来证明，它在通常的集合论公理里既不能被证明，也不能被否定。
这在今天看是数学常识，在当时却很刺耳。很多数学家看不上集合论，原因不只是保守。它离传统计算太远，看起来不像在解方程、算积分、研究曲线，反而像在玩语言游戏。它还直接挑战了人们对无穷的直觉：无穷怎么还能比大小？更麻烦的是，它很快碰到悖论的阴影，让人怀疑这套东西会不会把数学地基挖塌。
康托尔的代价惨痛。他的导师辈数学家克罗内克（Leopold Kronecker）猛烈抨击他，称他"腐蚀年轻人"，发动学术封锁让康托尔多年发不出论文、找不到好的教职。康托尔晚年精神崩溃，多次入院，1918年死在哈雷大学的精神病院里。
但后来数学家发现，绕不开它。
原因也很简单：现代数学要谈函数、空间、实数、连续性、极限、概率、拓扑、代数结构，最后都要先说清楚“对象的集合”是什么。一个函数是什么？可以看成两个集合之间的对应。一个空间是什么？可以看成点集加上额外结构。一个代数系统是什么？可以看成集合加上运算。集合论提供的不是某个定理，而是一套底层语言。
这就是集合论后来被认为是数学基础的原因。它一开始像一门偏门学问，后来变成数学的操作系统。现代数学未必总在显眼处谈集合论，但大多数概念都运行在它提供的底层语言上。
## 5.4 戴德金与实数的严格定义
戴德金（Richard Dedekind）的工作面对的是分析学严格化的另一个核心缺口：实数本身到底是什么。他的入口不是傅里叶级数问题，也不是康托尔集合论的应用。
微积分已经用了两百年，但它的地基长期靠几何直觉撑着。极限是什么？连续是什么？实数是什么？很多教材会把实数想象成直线上的点，把连续性想象成一条没有缝的线。问题是，这样一来，分析学就还没有真正从几何里独立出来。
1858年，戴德金在苏黎世教微积分时，越来越不满意当时的讲法：明明是在讲数和函数，却总要借助直线、长度、连续曲线这些几何图像。他想把分析学彻底算术化，也就是只从有理数和明确规则出发，重新定义实数和连续性。
戴德金注意到一件事：人人都在用"实数"这个概念，但严格地说，实数到底是什么？是有理数加一些无理数？那"无理数"又怎么严格定义？
他给了一个绝妙的回答，叫戴德金分割：把全部有理数分成两半，使得左半部分的每一个数都小于右半部分的每一个数。每一个这种分割对应一个实数（如果分割点恰好是有理数则对应那个有理数，否则对应一个无理数）。这把实数从直觉概念变成了严格定义。
傅里叶级数暴露出函数和极限的麻烦，康托尔从坏点集合走向无穷集合，戴德金则从连续性和无理数问题出发，给实数本身下定义。他们做的是同一件事：把分析学从直觉、图像和含糊说法里拉出来。
戴德金和康托尔是多年好友，两人通信讨论无穷的问题。他们都在做同一件事：把过去靠直觉使用的对象，改造成可以明确定义、可以比较、可以推理的对象。康托尔把无穷集合变成数学对象，戴德金把实数变成有理数集合上的结构。两条线合在一起，才构成十九世纪后半叶分析学的"严格化运动"。
## 5.5 严格化到底完成了什么
把这一章里的数学家们放在一起看，分析学严格化是一串补洞工程，不属于某一个人的单点突破。
贝克莱先把漏洞指出来：微积分的无穷小在计算上有效，但在逻辑上说不清。柯西把问题推进到极限、连续、收敛这些概念上，让分析学开始按定义说话。魏尔斯特拉斯继续把定义压硬，用ε-δ语言把“无限接近”改成可以逐行检查的量化条件。
但光有极限语言还不够。极限总要落在某个数系里，连续性也要有一个真正的数轴作地基。戴德金用有理数分割定义实数，康托尔用集合和无穷理论处理实数、函数、例外点这些对象，才把“连续”“极限”“函数”这些词从图像里抽出来，放到数和集合上。
傅里叶在这条线里的作用，是不断制造压力。他的三角级数让数学家没法继续满足于“曲线看起来很顺”的直觉，因为函数可以很怪，级数可以很难控制，坏点集合也可能复杂到超出想象。康托尔正是从这种具体问题里走向无穷集合。
所以，到十九世纪后半叶，微积分本身的地基基本补上了。标准分析学可以建立在实数、极限、连续、收敛和集合语言之上，不再需要把无穷小当成半直觉半神秘的东西。但这场胜利也把问题往更深处推了一层：如果分析学要靠集合论和逻辑来支撑，那集合论和逻辑本身靠什么支撑？
# 六、地基的危机
## 6.1 从分析危机到基础危机
十九世纪数学的几条主线，最后都汇到同一个问题：直觉不够用了。
分析学严格化，本质上是一次去几何化。早期微积分经常借助曲线、面积、运动、无穷小这些直观图像说话。贝克莱攻击的，正是这种“算起来对，但说不清为什么对”的状态。到了柯西、魏尔斯特拉斯、戴德金和康托尔这里，分析学一步步从图像退回到定义：极限、连续、收敛、实数、函数、例外点集合，都要能用数和集合说清楚。
这条路的结果是，分析学不再把几何直线当作最后根据。实数可以用有理数分割来定义，函数可以看成集合之间的对应，连续性可以写成ε-δ条件，傅里叶级数里的坏点也可以作为集合来研究。换句话说，分析学把自己从几何直觉里抽出来，最后站到了集合论语言上。
几何那边也在发生类似的事，只是路径不同。非欧几何先打碎了“欧几里得几何就是唯一真实几何”的信念，Beltrami等人又用模型说明，双曲几何如果有问题，欧氏几何也会跟着有问题。到希尔伯特1899年写《几何基础》时，问题已经变成：我们能不能把欧氏几何写成一套清楚的公理系统，并逐条分析哪些公理独立、哪些定理依赖哪些公理、整个系统的一致性要靠什么保证？
希尔伯特确实把欧氏几何的基础整理到了一个新水平。他给出一套更严格的公理，把“点、线、平面、之间、全等”这些对象和关系放进形式系统里，不再依赖画图直觉。但他的工作没有回答“世界到底是哪种几何”这种物理问题，也没有把所有广义几何一次性封顶。他真正给出的是一种新公理观：几何可以是一套由公理规定的结构，欧氏几何、非欧几何、射影几何、黎曼几何，都可以在各自的公理或模型里讨论。
这一步很关键。分析学去几何化，几何学去直觉化，两边都把数学从“看起来显然”推向“按规则证明”。旧危机看似被压住了：微积分不再靠幽灵般的无穷小，欧氏几何也不再靠图形直觉撑场面。
但问题没有消失，只是下沉了。分析学越来越依赖集合论，几何的公理化也要谈模型、一致性和逻辑推理。于是新的问题冒出来：集合论和逻辑本身可靠吗？
康托尔的无穷论一开始确实被很多人看不上，尤其是克罗内克那一派。他们觉得这套东西太抽象，离具体计算太远，还把“完成的无穷”当成对象来谈。但问题在于，分析学、拓扑、实数理论、函数空间都越来越离不开集合语言。数学家可以不喜欢康托尔，却很难不用康托尔打开的工具。
麻烦也正是在这里出现的。集合论一旦被当作数学的底层语言，就必须回答一个危险问题：是不是任何说得清楚的条件，都能定义一个集合？如果可以，那“所有不包含自身的集合所组成的集合”算不算集合？1901年前后，罗素把这个问题写出来，就成了罗素悖论。
第三次数学危机由此浮出水面。第一次数学危机来自无理数，第二次来自微积分基础，第三次则来自集合论和逻辑：如果数学的底层语言自己会制造悖论，那么前面补好的分析学、几何学、公理系统，都要重新追问自己的地基。数学从“怎样算得更严格”，走到了“什么东西有资格存在，什么规则有资格推理”。
## 6.2 重建工程：弗雷格、皮亚诺、二十世纪余响
有人开始重建地基。
德国人弗雷格（Gottlob Frege）想把全部数学从纯逻辑出发推出来，写了一部宏大的《算术基本规律》（Grundgesetze der Arithmetik），1893年出第一卷，1903年出第二卷。意大利人皮亚诺（Giuseppe Peano）走了另一条路：1889年，他给自然数列出了五条公理（皮亚诺公理），把"自然数是什么"变成了一组明确的形式陈述。
皮亚诺这么做，不是因为他迷上了抽象游戏，而是因为十九世纪后半叶的数学已经越来越不满足“大家都知道自然数是什么”这种说法。分析学在补地基，集合论在重定义无穷，代数和几何在公理化，数学家开始反过来问：最基础的东西，能不能也用同样严格的方式说清楚？
皮亚诺的答案是可以。他想把自然数从直觉、数手指、排队数数这些生活图像里剥离出来，变成一组可以写进公理、可以逐条验证的形式系统。那五条公理不是为了算题更快，而是为了说明“0、后继、归纳”这些最基本的东西，已经足够搭起整个算术。
这背后还有更大的背景。1890年代前后，数学界正在经历一波形式化冲动：弗雷格想把算术放进逻辑，皮亚诺想把算术写成最简洁的公理系统，戴德金则在用分割定义实数。皮亚诺后来还推动了Formulario Mathematico计划，想用统一的符号语言把数学写成一本可以机械查阅的百科全书。换句话说，他不是孤立地“发明了一套公理”，而是在替现代数学寻找一种新的书写方式。
但在十九世纪的边界上，这场重建工程才刚开了个头。二十世纪一开局，它就引发了三场大爆炸。1901年，22岁的罗素（Bertrand Russell）用一个简单悖论"所有不包含自身的集合所组成的集合"把弗雷格的体系炸塌；1931年哥德尔（Kurt Gödel）的不完备定理证明希尔伯特号召的"完全形式化数学"理想根本做不到；1936年图灵（Alan Turing）从希尔伯特的"判定问题"出发发明了图灵机，电脑诞生。
十九世纪种下的这粒种子，到二十世纪长成了一整片森林。
# 七、希尔伯特站在山口（1900）
1900年8月8日，巴黎国际数学大会。三十八岁的希尔伯特做了一次后来被反复引用的演讲，列出了二十三个问题。
准确地说，他在大会演讲里只讲了其中十个问题，完整的二十三个问题后来发表出来。但这不影响它的历史地位：这份清单像一张十九世纪数学遗产的地图，也像一份二十世纪数学的作战计划。
这二十三个问题，大体上都能从前面讨论过的十九世纪主线里长出来：几何从欧几里得到非欧、射影、拓扑和公理化；代数从方程求解走向群、结构和不变量；分析从微积分的无穷小争议走向极限、函数、变分法和微分方程；集合论和逻辑则把数学基础问题推到台前。
当然还有一条古老的大河，本文没有展开写，那就是数论。从高斯开始，十九世纪数论已经变成一门极深的现代学科。希尔伯特的问题里有不少数论题，只能在这里点到为止。
希尔伯特厉害的地方，是他把这些十九世纪留下来的主线，压缩成一份面向未来的清单。它不是随机挑题，也不是个人趣味汇编，而是把当时数学最有生命力的方向，交给二十世纪继续推进。
这场演讲后来被认为是二十世纪数学的开场白。整个二十世纪的数学家，相当大一部分时间都在攻打希尔伯特那二十三个问题：第8题黎曼猜想到今天仍然悬着，是数学界的圣杯之一；第1题连续统假设被哥德尔和柯恩证明独立于现有公理；第10题被马季亚谢维奇1970年证明无算法可解；第13题被科尔莫戈罗夫和阿诺尔德1957年解决。
英雄们打下了江山，希尔伯特站在山口，把下一个百年的战场指给了后来的人看。
# 结语
为什么说十九世纪是数学史上最伟大的一个世纪？
因为数学在这一百年里换了身份。十八世纪的数学，很大一部分还在给天文学、力学、工程和测量提供计算工具；到了十九世纪，数学开始转向自己的内部结构。它研究的不再只是“怎么把答案算出来”，还包括结构、空间、变换、无穷、公理和可证明性。数学从服务科学和工程的强大计算术，变成了一门能自己制造对象、自己审查地基、自己开辟世界的学科。
更惊人的是，这场转向很大程度上是由个人完成的。没有大团队，没有现代基金，没有实验室流水线。很多关键突破来自孤身一人的年轻人：罗巴切夫斯基在喀山，鲍耶在军队，阿贝尔在贫病中，伽罗瓦在决斗前夜，黎曼在哥廷根讲堂，康托尔在傅里叶级数的坏点里一路撞进无穷。他们靠的不是成熟共同体的共识，而是一股不肯沿旧路走的闯劲。
回头看十九世纪，真正成型的是几条主线。
几何这条线，从高斯的正十七边形和第五公设，走到罗巴切夫斯基、鲍耶、黎曼，再走到克莱因的爱尔兰根纲领。它最终成形的，是非欧几何、流形、射影几何和几何公理化这一整套新语言。
代数这条线，从拉格朗日对五次方程的分析，走到阿贝尔和伽罗瓦，最后接到凯莱、西尔维斯特、希尔伯特。它最终成形的，是群、结构、不可解性和不变量理论。
分析这条线，从贝克莱批评无穷小，到柯西、魏尔斯特拉斯、傅里叶、康托尔、戴德金。它最终成形的，是极限、ε-δ语言、傅里叶分析、集合论、实数和分析学的严格化。
基础这条线，从康托尔的无穷和弗雷格、皮亚诺的形式化，一直走到罗素悖论和希尔伯特的二十三问题。它最终成形的，是集合论、逻辑、公理系统，以及对“数学究竟建立在什么上”的持续追问。
“气吞万里如虎”，写的是一股向前撞的劲。十九世纪数学最动人的地方，也正在这里：一群单独的人，很多还很年轻，硬是把几百年留下来的门一扇扇撞开。后来二十世纪的广义相对论、量子力学、密码学和计算机理论，都是沿着这些主线长出来的。
# 作者其它文章
- Vibe Reading：AI 时代读书的系统化方法
- 长篇分析：Manus 案折射出的中国 AI 创业生态
- 别再被 AI 新词绕晕了：Prompt、Context、Agent 背后的工程主线
- 两万字科普：AI 为什么会编程——原理、历史与未来
- 兄弟们，真·Vibe Writing时代到来了
- 全网最详细的AI学习路线图
- 每个人都应该使用的三个最有用的Claude Skill
- SpaceX立志传（一）：赌上全部的最后一次发射
- 估值290亿美元的套壳公司，正在被自己的房东杀死
- 黄仁勋和主持人吵红了脸：芯片封锁中国，美国到底能不能打赢？
- AI将如何颠覆教育，普通人又应该如何抢夺教育新的生态位
- 学物理的八方英雄们，物理学已死，请转行搞AI
- 不会编程、没有融资、没有员工，他怎么一个人做到年入2000万
- 兄弟们想清楚：究竟是你为X打工，还是X为你打工？
- 一人公司盈利四亿美元：是骗子，还是可复制的红利？
- 2026第一季度大裁员，AI是背锅侠吗？
- 重返星辰大海：这次绕月飞行有意义吗？
- 张雪峰在美国为什么无法成功
- 2026企业尸检报告：不用AI，你的公司能活过今年吗？
- 兄弟们，我创业失败了，人生完整了
# 本文参考文献
- Britannica: Mathematics in the 17th and 18th centuries - 十七世纪科学革命、十八世纪分析与力学的发展背景
- Britannica: Theory of equations - 十八世纪方程论、拉格朗日、Vandermonde、Waring关于一般方程和五次方程的工作
- Britannica: The theory of equations - 十九世纪方程论、Abel与Galois对五次方程问题的推进
- Wolfram MathWorld: Geometric Construction - 古希腊尺规作图问题与Gauss正十七边形
- Mathematical Association of America: Saccheri on Euclid's Parallel Postulate - Saccheri《欧几里得无瑕疵》与平行公设
- Parallel postulate - Wikipedia - Proclus、Ptolemy、Ibn al-Haytham、Omar Khayyám等对第五公设的尝试
- MacTutor: Nikolai Ivanovich Lobachevsky - 喀山大学生涯、论文投圣彼得堡科学院被拒、1840年德文著作
- Britannica: Nikolay Ivanovich Lobachevsky - 罗巴切夫斯基生平、喀山大学与非欧几何
- Britannica: János Bolyai - 鲍耶生平、1832年Appendix及后续数学研究
- MacTutor: Galois' predecessors - 拉格朗日对二、三、四次方程解法与五次方程的分析
- National Academies Press: The Assault on the Quintic - 五次方程问题在十八世纪与十九世纪初的历史地位
- Britannica: Niels Henrik Abel - Abel自费出版五次方程不可能性证明、寄给Gauss、Crelle和柏林职位
- MacTutor: Niels Henrik Abel - Abel生平、Gauss未读小册子、取消拜访Gauss、Crelle支持
- Oxford Academic: The Insolvability of the Quintic by Radicals - 拉格朗日、鲁菲尼、Abel与五次方程根式不可解的历史
- MAA Review: Abel's Proof - Ruffini证明缺口、Abel如何补足并使用Cauchy相关结果
- Landmark Writings: Niels Henrik Abel, paper on the irresolvability of the quintic equation - Abel 1826年论文结构与五次方程不可解证明
- Carl Friedrich Gauss - Wikipedia - 1796年正十七边形作图、平行公设私见、晚年评价黎曼演讲
- Nikolai Lobachevsky - Wikipedia - 1829年喀山学报发表非欧几何
- János Bolyai - Wikipedia - 1832年随父书出版非欧几何附录
- Bernhard Riemann - Wikipedia - 1854年6月10日哥廷根就职演讲，引入流形与曲率
- Trinity College Dublin: Riemann, On the Hypotheses which lie at the Bases of Geometry - 黎曼演讲文本、Dedekind死后发表、Clifford英译信息
- Historia Mathematica: The mystery of Riemann's curvature - 黎曼1854演讲曲率概念精确但公式很少的历史分析
- Landmark Writings in Western Mathematics: Riemann's posthumous thesis - 黎曼演讲对高维流形微分几何的影响
- Dae Yeon Won: Development of Differential Geometry from Christoffel, Ricci and Levi-Civita - Christoffel、Ricci、Levi-Civita对微分几何工具化的后续发展
- Niels Henrik Abel - Wikipedia - 1829年4月6日去世，柏林聘书晚到
- Évariste Galois - Wikipedia - 1832年5月30日决斗，群论开端，二十岁
- Britannica: Évariste Galois - Galois三次投稿、Poisson负面报告、Liouville 1846发表遗稿、Jordan 1870确立群论
- Historia Mathematica: The editors and editions of the writings of Évariste Galois - Galois遗稿、1831年被拒、1846年Liouville发表、后续版本史
- Journal of Modern Applied Statistical Methods: Joseph Liouville’s Mathematical Works Of Évariste Galois - Liouville 1846年导言与Galois原创性的后世确认
- Open Library: Oeuvres mathématiques publiées en 1846 dans le Journal de Liouville - Galois 1846年Liouville期刊遗稿版本与Sophus Lie影响研究
- Eric Temple Bell, Mathematics: Queen and Servant of Science, quote via Goodreads - Hermite关于Abel成果“足够数学家忙五百年”的后世转述
- Felix Klein: Erlangen program - Wikipedia - 1872年爱尔兰根纲领
- Britannica: Felix Klein - Klein把几何统一为给定变换群下不变量研究
- Stanford Encyclopedia of Philosophy: Epistemology of Geometry - Klein视角下几何作为群作用与不变量的观点，射影、仿射、度量几何关系
- Cayley-Klein metric - Cayley、von Staudt、Laguerre、Klein通过交比和绝对二次曲线统一度量几何的历史脉络
- Springer: Felix Klein, The Erlangen Program - Erlangen Program历史语境、Klein与Sophus Lie合作、变换群不变量观点
- Britannica: Arthur Cayley - 凯莱在群论、矩阵理论、不变量理论和解析几何中的工作
- Britannica: Applications of group theory - 1854年凯莱把群抽象化，以及1872年克莱因把群论用于几何
- Historia Mathematica: The rise of Cayley's invariant theory - 凯莱早期不变量理论工作
- Britannica: James Joseph Sylvester - 西尔维斯特与凯莱共同开创不变量理论
- David Hilbert - Wikipedia - 1888年不变量存在性证明、1900年巴黎二十三问题
- Hilbert's problems - Wikipedia - 二十三个问题完整列表与背景
- Britannica: Sophus Lie - 李创立连续群理论及其在微分方程中的应用
- Springer: Theory of Transformation Groups I - 李与Engel《变换群理论》及连续变换群体系
- Britannica: Celestial mechanics, the three-body problem - 庞加莱与天体力学、三体问题、轨道稳定性
- Britannica: History of topology - 庞加莱1895年Analysis Situs与拓扑学作为独立领域的形成
- Henri Poincaré - Wikipedia - 拓扑学开创、1904年庞加莱猜想
- Sophus Lie - Wikipedia - 李群与连续变换
- Britannica: Analysis, Rebuilding the foundations - 十九世纪分析学算术化、柯西、魏尔斯特拉斯、戴德金分割
- The Analyst - Wikipedia - 贝克莱1734年批评微积分无穷小基础
- Cours d'analyse - Wikipedia - 柯西1821年《分析教程》与极限、连续、收敛概念
- Mathematical Association of America: Cantor's On Trigonometric Series - 康托尔从三角级数唯一性问题走向集合论
- Stanford Encyclopedia of Philosophy: The Early Development of Set Theory - Riemann、Dedekind、Cantor和十九世纪集合论早期发展
- Britannica: History of logic, Georg Cantor - Bolzano、Dedekind、Cantor和无穷集合思想
- Stanford Encyclopedia of Philosophy: Dedekind's Contributions to the Foundations of Mathematics - 戴德金从分析学严格化和1858年微积分教学出发定义实数
- Britannica: Dedekind cut - 戴德金分割与实数连续性的算术化定义
- Joseph Fourier - Wikipedia - 1807年热传导论文与三角级数分解
- Georg Cantor - Wikipedia - 集合论、对角线方法、克罗内克攻击、1918年哈雷精神病院去世
- Richard Dedekind - Wikipedia - 戴德金分割与实数严格定义
- Karl Weierstrass - Wikipedia - 1872年处处连续处处不可微的怪物函数
- Britannica: Foundations of mathematics, The quest for rigour - 集合论、Frege、Russell悖论与数学基础危机
- Stanford Encyclopedia of Philosophy: Russell's Paradox - Russell悖论、Frege体系受挫、类型论回应
- Stanford Encyclopedia of Philosophy: The Frege-Hilbert Controversy - Hilbert几何基础、公理独立性与相容性
- Gottlob Frege - Wikipedia - 《算术基本规律》1893/1903年，被罗素悖论击破
- Giuseppe Peano - Wikipedia - 1889年皮亚诺公理
- Britannica: Hilbert's 23 problems - Hilbert 1900年巴黎二十三问题及历史地位
- Encyclopedia of Mathematics: Hilbert problems - 二十三问题列表、1900年演讲只讲十题的说明
- MacTutor: David Hilbert's Problems - Hilbert问题完整历史与清单
- Grigori Perelman - Wikipedia - 2003年庞加莱猜想证明、2006年拒绝菲尔兹奖
- MacTutor: Galois biography - 决斗细节、年龄
- MacTutor: Abel biography - 死亡与柏林聘书时间线
## 相关链接
- [snowboat](https://x.com/snowboat84)
- [@snowboat84](https://x.com/snowboat84)
- [401](https://x.com/snowboat84/status/2050371067278143931/analytics)
- [Vibe Reading：AI 时代读书的系统化方法](https://x.com/snowboat84/status/2050008577511973253)
- [长篇分析：Manus 案折射出的中国 AI 创业生态](https://x.com/snowboat84/status/2049643679804248305)
- [别再被 AI 新词绕晕了：Prompt、Context、Agent 背后的工程主线](https://x.com/snowboat84/status/2049286033427349809)
- [两万字科普：AI 为什么会编程——原理、历史与未来](https://x.com/snowboat84/status/2048919554882215954)
- [兄弟们，真·Vibe Writing时代到来了](https://x.com/snowboat84/status/2047828585537548574)
- [全网最详细的AI学习路线图](https://x.com/snowboat84/status/2047457686070141051)
- [每个人都应该使用的三个最有用的Claude Skill](https://x.com/snowboat84/status/2047110768773197834)
- [SpaceX立志传（一）：赌上全部的最后一次发射](https://x.com/snowboat84/status/2046743964192276766)
- [估值290亿美元的套壳公司，正在被自己的房东杀死](https://x.com/snowboat84/status/2046380497627230607)
- [黄仁勋和主持人吵红了脸：芯片封锁中国，美国到底能不能打赢？](https://x.com/snowboat84/status/2046022377830801725)
- [AI将如何颠覆教育，普通人又应该如何抢夺教育新的生态位](https://x.com/snowboat84/status/2044932338262667509)
- [学物理的八方英雄们，物理学已死，请转行搞AI](https://x.com/snowboat84/status/2044584627046920278)
- [不会编程、没有融资、没有员工，他怎么一个人做到年入2000万](https://x.com/snowboat84/status/2044216044575998136)
- [兄弟们想清楚：究竟是你为X打工，还是X为你打工？](https://x.com/snowboat84/status/2043842017260908743)
- [一人公司盈利四亿美元：是骗子，还是可复制的红利？](https://x.com/snowboat84/status/2043493870265422223)
- [2026第一季度大裁员，AI是背锅侠吗？](https://x.com/snowboat84/status/2042766853404307931)
- [重返星辰大海：这次绕月飞行有意义吗？](https://x.com/snowboat84/status/2042405716380835998)
- [张雪峰在美国为什么无法成功](https://x.com/snowboat84/status/2042045634245746743)
- [2026企业尸检报告：不用AI，你的公司能活过今年吗？](https://x.com/snowboat84/status/2041672997959057517)
- [兄弟们，我创业失败了，人生完整了](https://x.com/snowboat84/status/2040948420391940272)
- [Britannica: Mathematics in the 17th and 18th centuries](https://www.britannica.com/science/mathematics/Mathematics-in-the-17th-and-18th-centuries)
- [Britannica: Theory of equations](https://www.britannica.com/science/mathematics/Theory-of-equations)
- [Britannica: The theory of equations](https://www.britannica.com/science/mathematics/The-theory-of-equations)
- [Wolfram MathWorld: Geometric Construction](https://mathworld.wolfram.com/GeometricConstruction.html)
- [Mathematical Association of America: Saccheri on Euclid's Parallel Postulate](https://old.maa.org/press/periodicals/convergence/mathematical-treasures-saccheri-on-euclids-parallel-postulate)
- [Parallel postulate - Wikipedia](https://en.wikipedia.org/wiki/Parallel_postulate)
- [MacTutor: Nikolai Ivanovich Lobachevsky](https://mathshistory.st-andrews.ac.uk/Biographies/Lobachevsky/)
- [Britannica: Nikolay Ivanovich Lobachevsky](https://www.britannica.com/biography/Nikolay-Ivanovich-Lobachevsky)
- [Britannica: János Bolyai](https://www.britannica.com/biography/Janos-Bolyai)
- [MacTutor: Galois' predecessors](https://mathshistory.st-andrews.ac.uk/Projects/Brunk/chapter-2/)
- [National Academies Press: The Assault on the Quintic](https://nap.nationalacademies.org/read/11540/chapter/11)
- [Britannica: Niels Henrik Abel](https://www.britannica.com/biography/Niels-Henrik-Abel)
- [MacTutor: Niels Henrik Abel](https://mathshistory.st-andrews.ac.uk/Biographies/Abel/)
- [Oxford Academic: The Insolvability of the Quintic by Radicals](https://academic.oup.com/book/45622/chapter/394863601)
- [MAA Review: Abel's Proof](https://old.maa.org/press/maa-reviews/abels-proof-an-essay-on-the-sources-and-meaning-of-mathematical-unsolvability)
- [Carl Friedrich Gauss - Wikipedia](https://en.wikipedia.org/wiki/Carl_Friedrich_Gauss)
- [Nikolai Lobachevsky - Wikipedia](https://en.wikipedia.org/wiki/Nikolai_Lobachevsky)
- [János Bolyai - Wikipedia](https://en.wikipedia.org/wiki/J%C3%A1nos_Bolyai)
- [Bernhard Riemann - Wikipedia](https://en.wikipedia.org/wiki/Bernhard_Riemann)
- [Trinity College Dublin: Riemann, On the Hypotheses which lie at the Bases of Geometry](https://www.maths.tcd.ie/pub/HistMath/People/Riemann/Geom/)
- [Dae Yeon Won: Development of Differential Geometry from Christoffel, Ricci and Levi-Civita](https://www.researchgate.net/publication/281389195_On_the_Development_of_Differential_Geometry_from_mid_19C_to_early_20C_by_Christoffel_Ricci_and_Levi-Civita)
- [Niels Henrik Abel - Wikipedia](https://en.wikipedia.org/wiki/Niels_Henrik_Abel)
- [Évariste Galois - Wikipedia](https://en.wikipedia.org/wiki/%C3%89variste_Galois)
- [Britannica: Évariste Galois](https://www.britannica.com/biography/Evariste-Galois)
- [Journal of Modern Applied Statistical Methods: Joseph Liouville’s Mathematical Works Of Évariste Galois](https://digitalcommons.wayne.edu/coe_tbf/8/)
- [Open Library: Oeuvres mathématiques publiées en 1846 dans le Journal de Liouville](https://openlibrary.org/books/OL19974583M/Oeuvres_math%C3%A9matiques_publi%C3%A9es_en_1846_dans_le_Journal_de_Liouville)
- [Eric Temple Bell, Mathematics: Queen and Servant of Science, quote via Goodreads](https://www.goodreads.com/quotes/952957-in-his-wretched-life-of-less-than-twenty-seven-years-author-abel-75744)
- [Felix Klein: Erlangen program - Wikipedia](https://en.wikipedia.org/wiki/Erlangen_program)
- [Britannica: Felix Klein](https://www.britannica.com/biography/Felix-Klein)
- [Stanford Encyclopedia of Philosophy: Epistemology of Geometry](https://plato.stanford.edu/archives/fall2024/entries/epistemology-geometry/)
- [Cayley-Klein metric](https://en.wikipedia.org/wiki/Cayley%E2%80%93Klein_metric)
- [Springer: Felix Klein, The Erlangen Program](https://link.springer.com/book/10.1007/978-3-031-85474-3)
- [Britannica: Arthur Cayley](https://www.britannica.com/biography/Arthur-Cayley)
- [Britannica: Applications of group theory](https://www.britannica.com/science/algebra/Applications-of-group-theory)
- [Britannica: James Joseph Sylvester](https://www.britannica.com/biography/James-Joseph-Sylvester)
- [David Hilbert - Wikipedia](https://en.wikipedia.org/wiki/David_Hilbert)
- [Hilbert's problems - Wikipedia](https://en.wikipedia.org/wiki/Hilbert's_problems)
- [Britannica: Sophus Lie](https://www.britannica.com/biography/Sophus-Lie)
- [Springer: Theory of Transformation Groups I](https://link.springer.com/book/10.1007/978-3-662-46211-9)
- [Britannica: Celestial mechanics, the three-body problem](https://www.britannica.com/science/celestial-mechanics-physics/The-three-body-problem)
- [Britannica: History of topology](https://www.britannica.com/science/topology/History-of-topology)
- [Henri Poincaré - Wikipedia](https://en.wikipedia.org/wiki/Henri_Poincar%C3%A9)
- [Sophus Lie - Wikipedia](https://en.wikipedia.org/wiki/Sophus_Lie)
- [Britannica: Analysis, Rebuilding the foundations](https://www.britannica.com/science/analysis-mathematics/Rebuilding-the-foundations)
- [The Analyst - Wikipedia](https://en.wikipedia.org/wiki/The_Analyst)
- [Cours d'analyse - Wikipedia](https://en.wikipedia.org/wiki/Cours_d'analyse)
- [Mathematical Association of America: Cantor's On Trigonometric Series](https://old.maa.org/press/periodicals/convergence/mathematical-treasure-cantors-on-trigonometric-series)
- [Stanford Encyclopedia of Philosophy: The Early Development of Set Theory](https://plato.stanford.edu/entries/settheory-early/)
- [Britannica: History of logic, Georg Cantor](https://www.britannica.com/topic/history-of-logic/Georg-Cantor)
- [Stanford Encyclopedia of Philosophy: Dedekind's Contributions to the Foundations of Mathematics](https://plato.stanford.edu/entries/dedekind-foundations/)
- [Britannica: Dedekind cut](https://www.britannica.com/science/Dedekind-cut)
- [Joseph Fourier - Wikipedia](https://en.wikipedia.org/wiki/Joseph_Fourier)
- [Georg Cantor - Wikipedia](https://en.wikipedia.org/wiki/Georg_Cantor)
- [Richard Dedekind - Wikipedia](https://en.wikipedia.org/wiki/Richard_Dedekind)
- [Karl Weierstrass - Wikipedia](https://en.wikipedia.org/wiki/Karl_Weierstrass)
- [Britannica: Foundations of mathematics, The quest for rigour](https://www.britannica.com/science/foundations-of-mathematics/The-quest-for-rigour)
- [Stanford Encyclopedia of Philosophy: Russell's Paradox](https://plato.stanford.edu/archives/win2025/entries/russell-paradox/)
- [Stanford Encyclopedia of Philosophy: The Frege-Hilbert Controversy](https://plato.stanford.edu/archives/fall2024/entries/frege-hilbert/)
- [Gottlob Frege - Wikipedia](https://en.wikipedia.org/wiki/Gottlob_Frege)
- [Giuseppe Peano - Wikipedia](https://en.wikipedia.org/wiki/Grigori_Perelman)
- [Britannica: Hilbert's 23 problems](https://mathshistory.st-andrews.ac.uk/Biographies/Galois/)
- [Encyclopedia of Mathematics: Hilbert problems](https://mathshistory.st-andrews.ac.uk/Biographies/Abel/)
- [MacTutor: David Hilbert's Problems](https://mathshistory.st-andrews.ac.uk/Extras/Hilbert_Problems/)
- [Grigori Perelman - Wikipedia](https://en.wikipedia.org/wiki/Grigori_Perelman)
- [MacTutor: Galois biography](https://mathshistory.st-andrews.ac.uk/Biographies/Galois/)
- [MacTutor: Abel biography](https://mathshistory.st-andrews.ac.uk/Biographies/Abel/)
- [8:25 AM · May 2, 2026](https://x.com/snowboat84/status/2050371067278143931)
- [401 Views](https://x.com/snowboat84/status/2050371067278143931/analytics)
---
*导出时间: 2026/5/2 10:02:19*