# 我见青山多妩媚：二十世纪数学史（上）
**作者**: snowboat
**日期**: 2026-05-16T00:35:04.000Z
**来源**: [https://x.com/snowboat84/status/2055446902171406761](https://x.com/snowboat84/status/2055446902171406761)
---
上一篇《气吞万里如虎：回顾十九世纪的数学英豪们》写的是十九世纪那一百年。那时的数学家像开疆拓土的古代英豪，带着一股"气吞万里如虎"的劲，往没人去过的地方冲。伽罗瓦（Évariste Galois）打开代数，罗巴切夫斯基（Nikolai Lobachevsky）和黎曼（Bernhard Riemann）打开几何，康托尔（Georg Cantor）打开无限，庞加莱（Henri Poincaré）打开拓扑和动力系统，每个人都像是在荒原上开出一片新大陆。
二十世纪的数学家们做了完全不同的事。
二十世纪当然还有天才，也还有新大陆。但它最核心的工作，已经从单人突进式的开荒，转向对十九世纪几条主线的系统化、结构化和工程化。十九世纪留下了代数、几何、分析与基础这几条路，二十世纪把它们连成了一整片可以反复进入、反复使用的山系。
推动这片山系成形的力量，还来自数学之外。二十世纪数学背后有两个巨大的外部用户：物理学和计算机。广义相对论、量子力学、规范场论不断向数学要语言；逻辑、可计算性、信息论又把数学基础一路推向计算机。
辛弃疾另有一句词："我见青山多妩媚，料青山见我应如是。" 这句话更适合二十世纪。十九世纪的数学家是在山外看山，一座一座命名；二十世纪的数学家走进山里，才发现这些山彼此相连，山脉内部还有更深的结构。
到二十世纪上半叶，原来分散的孤山被连成了一整片山脉。物理学家和工程师不断从这片山里取石头、修道路、造机器。少数天才的个人远征，最后变成了现代科学和现代工程的基础设施。
这就是这一篇要讲的事。
# 引子：从十九世纪的山口走下来
上一篇停在1900年8月。巴黎国际数学家大会上，38岁的希尔伯特（David Hilbert）站在讲台前，抛出23个问题，把十九世纪留下的悬案交给了下一个世纪。
这一篇从那个山口往下走，讲接下来70年发生的事。二十世纪上半叶的数学，看起来人物更多、方向更散，其实主线很清楚：十九世纪留下的几条路，被一代人接着一代人往深处修。
代数这条线，从伽罗瓦群走向抽象代数，进入诺特（Emmy Noether）、布尔巴基（Bourbaki），最后走到格罗滕迪克（Alexander Grothendieck）的概型。它的关键词是结构。
几何这条线，从黎曼、李（Sophus Lie）、庞加莱的拓扑学走向广义相对论，进入规范场，最后走到Atiyah-Singer指标定理。它的关键词是物理语言。
分析这条线，从十九世纪分析严格化分出一条独立支线，经过希尔伯特、巴拿赫（Stefan Banach）、冯·诺依曼（John von Neumann），最后变成量子力学的数学骨架。它的关键词是无穷维。
还有一条基础-计算线，从康托尔、戴德金（Richard Dedekind）走向数学基础危机，进入哥德尔（Kurt Gödel）、图灵（Alan Turing）、香农（Claude Shannon），再继续往二十世纪后期延伸，撞上AI。这条线的二十世纪没有终点，它的整段弧放在下篇里一次讲完，这篇不再单独成章。
这一篇真正想讲的，是这四条线背后的动力。它们为什么会在二十世纪被建得这么快、这么深？除了数学本身，数学发现了自己的两大甲方大用户：物理学和计算机。
物理学扛走了几何那条线和分析那条线，也扛走了结构化数学的一部分。计算机扛走了基础那条线的下游。没有这两个外部用户，二十世纪数学很可能不会长成后来那副样子。
# 一、代数从解方程变成研究结构：诺特和她的继承者们
## 1.1 哥廷根：希尔伯特和克莱因把诺特请进来
如果从十九世纪代数往前看，当然不能只写伽罗瓦。伽罗瓦前面还有阿贝尔（Niels Abel）。
阿贝尔做的是第一刀。几百年来，数学家一直在找三次方程、四次方程之后的下一步：一般五次方程能不能也像二次、三次、四次那样，用加减乘除和开方写出通用公式？阿贝尔给出的答案很残酷：一般五次方程没有这种根式解。
这件事本身已经足够惊人。一个22岁左右的挪威青年，在贫穷、疾病和无人赏识里，证明了一条“做不到”的定理。他没有告诉你怎么解五次方程，而是直接宣布：这条路本身走不通。阿贝尔1829年去世，年仅26岁，几乎没来得及看到自己的工作被欧洲数学界真正承认。
伽罗瓦接着做的是第二刀。阿贝尔证明了一般五次方程不能用根式解，伽罗瓦进一步解释了为什么不能解。方程有没有根式解，要看根之间的对称关系。伽罗瓦最厉害的地方，不在于留下一个漂亮公式，而是把方程背后的“群”看出来。代数第一次从“怎么把方程解出来”，转向“方程背后有什么结构”。
但伽罗瓦打开的只是一道门，后面还没有整座城市。十九世纪之后，群、域、理想、不变量这些东西陆续出现，像一片被开垦过但还没修路的大陆。真正把这片大陆修成现代代数的人，是艾米·诺特（Emmy Noether）。
Emmy Noether
诺特不是从数学世界外面闯进来的。她1882年出生在德国埃尔朗根的一个犹太家庭，父亲Max Noether就是埃尔朗根大学的数学教授，研究代数几何和代数函数论，在当时已经是很有分量的数学家。换句话说，诺特从小就在数学空气里长大。
但这个出身没有让她走得轻松。她最早在埃尔朗根学习，1907年完成博士论文，导师是Paul Gordan。Gordan是十九世纪不变量理论的大人物，喜欢给出具体构造和算法，属于旧时代代数的最后一批大师。诺特从这个传统里出发，后来却把它彻底推向了更抽象的结构语言。
1915年夏天，33岁的艾米·诺特从埃尔朗根来到哥廷根。她的代数才华已经被同行知道，但德国的大学规矩还不允许女性当讲师。
希尔伯特和克莱因决定硬把她留下来。在哲学系和历史系的教授会议上，几位老先生反对让女性进入私聘讲师序列，希尔伯特当场顶回去：私聘讲师候选人的性别不构成反对她的理由，我们这里是大学，不是澡堂。
诺特最后是以希尔伯特讲座助理的身份留在哥廷根的，挂别人名字开课，正式职位拖到1919年才解决。但这件事本身的意义大过制度问题。它定调了二十世纪上半叶整个代数的源头：诺特带来的真正东西，是一种新的看问题方式。她接下来要做的事，是把伽罗瓦的核心洞察推到极致。
## 1.2 诺特定理：对称性与守恒量
诺特进哥廷根之后，首先做的是广义相对论。爱因斯坦（Albert Einstein）正在把引力改写成时空几何，希尔伯特也在从数学一侧追赶这个理论。问题很快卡在一个非常硬的地方：在弯曲时空里，"能量守恒"到底该怎么写？
牛顿力学里，能量守恒、动量守恒、角动量守恒都很熟。你可以把它们当成物理世界的几条规矩。但到了广义相对论，时空本身会弯，坐标也可以换，老式写法突然变得很不稳。物理学家知道守恒律重要，却需要一个更深的数学解释。
诺特的做法，是从变分法和不变量入手。一个物理系统通常可以写成一个作用量，真实运动路径让这个作用量取到某种极值。她关心的核心问题变成了：如果我对系统做某种连续变换，作用量保持不变，会发生什么？
1918年，她发表《不变变分问题》。这篇论文证明了一个比眼前问题大得多的结果：每一个连续对称性，都对应一个守恒量。时间平移对称，对应能量守恒；空间平移对称，对应动量守恒；旋转对称，对应角动量守恒。
这句话今天看起来很短，当时却像把物理学的仓库翻了个底朝天。过去物理学家一条一条发现守恒律，像在盘点货架上的东西。诺特告诉他们，货架后面有一条生产线：只要系统有某种连续对称性，就会自动生产出相应的守恒律。
A table showing some common symmetries and their associated conserved quantities. From D. Feng and G. Jin, Introduction to Condensed Matter Physics, vol. 1, Singapore: World Scientific Publishing, 2005, p. 18.
这也是她后来影响现代物理的根本原因。量子力学、量子场论、规范场论都离不开对称性。物理学家后来研究一个理论，常常先问它有哪些对称性，再看这些对称性允许什么粒子、什么相互作用、什么守恒量。这个思维习惯，源头就在诺特。
但这还只是诺特的一只手。她一只手把数学和物理在最深处焊在一起，另一只手要回到纯数学内部，把代数本身重新组织。真正让她成为二十世纪代数核心人物的，是下一步。
## 1.3 《环域中的理想论》：把伽罗瓦思维灌进环和模
1921年，诺特发表《环域中的理想论》。这篇论文标题很干，内容更是硬核。普通读者看到“环”、“理想”、“链条件”这些词，基本会立刻退出。但在代数史上，它的位置非常高，因为它把十九世纪留下的一堆材料，整理成了现代抽象代数的骨架。
先回到伽罗瓦。伽罗瓦最厉害的洞察，是把方程的根放到一边，去看根之间的对称关系。一个方程能不能用根式解，关键不在表面形式漂不漂亮，而在它背后的群有什么结构。
诺特把这个思路推广到更广的代数世界。她的视野从方程和方程的根，转向环、理想、模这些更抽象的东西。听起来离现实很远，其实它们都是从很具体的问题长出来的。
环可以先粗略理解成一类能加、能减、能乘的代数世界。整数是一个环，多项式也是一个环。它们具体样子不同，但运算规律相似。数学家一旦把这套规律抽出来，就能同时处理很多原本分散的问题。
理想则可以理解成环内部一种特别稳定的子系统。比如整数里的偶数，全体偶数加起来还是偶数，任意整数乘一个偶数仍然是偶数。这样的子系统可以把整除、余数、因子分解这些老问题，用统一方式表达。
诺特真正厉害的地方，是把这些对象从具体例子里拔出来。她不再追问某个数怎么分解，某个多项式怎么因式分解，而是追问：在什么样的代数系统里，分解还能成立？什么条件保证一个过程不会无限往下掉？什么样的子结构足够稳定，可以拿来重建整个理论？
这就是“诺特环”背后的精神。所谓升链条件，说白了就是不允许你沿着越来越大的理想链条无限爬下去，总得在某处停住。这个“会停住”的条件非常重要，因为数学证明最怕的就是结构无限增殖，永远收不了口。诺特把“能不能停住”变成一个抽象条件，然后让大量代数问题重新获得秩序。
这一步才是真正的结构化。伽罗瓦让人看到方程背后的群，诺特让人看到所有代数对象背后的组织方式。一个环、一个模、一个域，具体元素长什么样，已经退到第二层；第一层问题变成了：它有什么子结构？这些子结构怎样生成？映射怎样保持它们？条件怎样保证整个系统可控？
今天抽象代数课里那些冷冰冰的定义，很多都从这里长出来。学生第一次学会觉得烦，为什么要先定义群、环、域、模，再证明一堆看起来离题很远的定理？原因就在这里。二十世纪代数已经不满足于解决某一道题，它要制造一套可以反复迁移的结构语言。
诺特本人写得并不铺陈。她的论文像压缩包，里面都是高密度技术。但她打开的风格，很快通过学生和讲义扩散出去。范德瓦尔登（Bartel van der Waerden）、布尔巴基（Bourbaki）、艾伦伯格（Samuel Eilenberg）、麦克莱恩（Saunders Mac Lane）、格罗滕迪克（Alexander Grothendieck），全部都是从这条主线里长出来的。
## 1.4 范德瓦尔登《代数学》：讲义如何席卷全球
一种新数学要真正统治世界，靠论文不够。论文能打穿前线，教材才能训练军队。
诺特自己不是教材型作者。她的风格更像在黑板前带人上山，边走边指路。她每年开课，把自己正在想的问题直接抛给学生。很多思想先在哥廷根的课堂里流动，再进入学生笔记和同行通信。这样的传播很有生命力，但范围有限。
真正把这套新代数写成标准课程的人，是范德瓦尔登。1920年代末，他在哥廷根听诺特，在汉堡听阿廷（Emil Artin），把两边的讲义和思想整合起来，写成两卷本《代数学》。这本书1930年和1931年在柏林出版。
范德瓦尔登
这本书真正改变的是代数课的样子。过去学生学代数，常常从方程、行列式、具体计算一路学过去。范德瓦尔登把顺序倒过来：先讲群、环、域、模这些结构，再讲它们怎样组织具体问题。
这很像把一座城市的交通图重新画了一遍。原来你从一个问题走到另一个问题，靠经验找路。现在书里先给你地铁图：哪里是群，哪里是环，哪里是域，哪里是伽罗瓦理论，哪里是理想理论。你不一定马上知道每一站有什么风景，但你知道这座城市有一套骨架。
这一步很像十九世纪分析学严格化。柯西（Cauchy）和魏尔斯特拉斯（Weierstrass）让微积分不再靠图形直觉和无穷小手感，范德瓦尔登则让代数不再靠具体算式和解题技巧。代数从此不再只是“解方程”，而是一种研究结构的语言。
这里也能看出诺特和阿廷的分工差异。诺特提供的是结构眼光，阿廷提供的是清晰讲法，范德瓦尔登把两者压成教材。一个人的黑板，一群人的课堂，最后变成几代人的训练程序。
诺特1935年因肿瘤手术后突然去世，享年53岁。她去世很早，正式职位也来得很晚，但她的数学风格已经通过《代数学》进入制度。一个数学家真正改变世界，有时靠的是改变后来的人如何入门。
## 1.5 布尔巴基：把结构主义变成默认写法
如果说范德瓦尔登把现代代数写成教材，那么布尔巴基（Bourbaki）做的事更夸张。他们想把整部数学改写成一种统一风格。
这里说的“风格”，不是排版好不好看，也不是文风冷不冷。它指的是一整套写数学、教数学、组织数学的默认方式：先给定义，再给结构，再研究保持结构的映射；尽量少讲历史动机，尽量少依赖图形直觉，把数学写成一台可以自我运转的公理机器。
这件事有一个法国背景。第一次世界大战对法国数学界打击很大，年轻一代断层严重，德国的哥廷根却在希尔伯特、诺特、Artin这一批人手里继续向前。到1930年代，法国年轻数学家普遍觉得，本国大学里的分析教材已经跟不上现代数学的变化。
故事的开头很日常。1934年12月，巴黎拉丁区的一家咖啡馆里，几位年轻法国数学家坐在一起抱怨教材。发起人是安德烈·韦伊（André Weil）和亨利·嘉当（Henri Cartan）。他们当时关心的是一个具体问题：法国大学的微积分教材太旧，能不能大家合伙写一本新的。
布尔巴基学派的成立
这群人后来还包括克劳德·谢瓦莱（Claude Chevalley）、让·德尔萨特（Jean Delsarte）、让·迪厄多内（Jean Dieudonné）等人。他们大多出身法国高等师范学校，年纪不大，数学胃口却很大。1935年夏天，他们在法国中部的Besse-en-Chandesse开了第一次正式会议，布尔巴基这个集体项目从玩笑变成制度。
但年轻数学家的野心一旦被点燃，很难停在一本微积分书上。他们很快决定，用一个统一的现代风格，把整个数学的基础全部重写一遍。作者名字也不写真实姓名，而是写一个虚构人物：尼古拉·布尔巴基（Nicolas Bourbaki）。
这个名字本身带着玩笑气。它听起来像一个严肃老教授，实际背后是一群年轻人。后来他们甚至会给“布尔巴基”安排传记、写信、开玩笑，好像这个虚构人物真的存在。数学史上很少有这么奇怪的作者：没有一个真实的人叫布尔巴基，但布尔巴基又确实改变了二十世纪数学。
他们的工作方式也很特别。布尔巴基不是一个人闭门写书，这个团体会反复讨论、互相批改、集体定稿。一个章节要经过多轮报告和修改，直到整个小组觉得语言、定义、证明都足够干净。后来这个团体还形成了一种更新机制，年纪大的成员逐渐退出，年轻成员接上来，保证“布尔巴基”的声音能延续。
他们真正要写的书叫《数学原本》（Éléments de mathématique）。注意这里的“数学”是单数。这个细节很能说明他们的野心：他们要把分散教材收束成一个整体，一套从集合论和结构出发的巨大建筑。
布尔巴基带给数学的主要东西，是一种风格。“定义、定理、证明”成为正文的基本节奏。所有数学被组织成由“结构”长出来的层级。集合是底座，结构是骨架，映射是道路。计算、技巧、历史动机、几何直觉，很多时候都被赶到边缘。
这套写法和诺特的代数精神是同一种气质。诺特关心的是对象背后的结构，布尔巴基关心的是整部数学背后的结构。群、环、域、拓扑空间、向量空间，看起来属于不同地方，但在布尔巴基眼里，它们都是结构的不同类型。数学家的任务，就是把这些结构定义清楚，再研究保持结构的映射。
它的影响很快扩散到二十世纪中叶的研究生训练里。到1950年代末，很多一流数学系的研究生都在读布尔巴基。你可以讨厌它，但你绕不开它。一个人如果想进入当时最前沿的代数、拓扑、泛函分析、代数几何，布尔巴基式语言几乎就是通行证。
这种胜利也有代价。布尔巴基式写法很强，也很冷。它把历史、动机、失败路径全部擦掉，只留下完美机器。对已经入门的人，这种写法非常干净；对初学者，它常常像一堵墙。
所以布尔巴基后来遭到很多批评。有人觉得它把数学写成了没有血肉的公理机器，有人觉得它过度迷恋形式统一。还有人认为，它对概率论、分析里的某些直觉传统不够友好，把数学里很多活生生的计算经验压得太扁。
但这类批评反过来也说明了它的分量。只有真正改变了一个时代的风格，才会引发这么强的反弹。布尔巴基没有发明诺特式结构主义，却把这种结构主义推成了二十世纪数学的默认语法。
这也解释了为什么布尔巴基在这条线里必须出现。诺特提供了结构主义的代数核心，范德瓦尔登把它写进教材，布尔巴基则把这种风格推向整个数学。到这里，代数结构化已经超出代数学内部，开始变成二十世纪数学的总体气质。
## 1.6 范畴论：结构的结构
结构主义走到布尔巴基，已经很抽象了。但很快又出现一个更抽象的问题：如果数学里到处都是结构，那么结构之间的关系本身，能不能也作为研究对象？
这就是范畴论出现的背景。
1945年，艾伦伯格（Samuel Eilenberg）和麦克莱恩（Saunders Mac Lane）发表《自然等价的一般理论》。这篇论文的出发点并不玄。代数拓扑里经常出现一种情况：你从一个空间出发，可以构造出一个代数对象；换一个空间，就得到另一个代数对象；空间之间的映射，又会诱导代数对象之间的映射。
Samuel Eilenberg Saunders Mac Lane，1990年
数学家已经在大量使用这种“自然”的对应关系，但“自然”这个词本身很模糊。到底什么叫自然？什么时候一个构造不依赖人为选择，会自动随对象一起变化？Eilenberg和Mac Lane想把这个说清楚。
这套语言一开始连Eilenberg和Mac Lane自己都觉得太抽象，他们半开玩笑地称之为"抽象废话"（abstract nonsense）。它和具体的数学问题之间隔了一层抽象，没人确定到底有什么用。
范畴论的基本思路，可以用“对象和箭头”来理解。一个范畴里有对象，也有对象之间的箭头。对象可以是集合、群、拓扑空间、向量空间；箭头可以是函数、同态、连续映射、线性映射。重点不再只是对象内部有什么，而是对象之间的箭头怎样组合。
函子则是范畴之间的翻译器。它把一个范畴里的对象和箭头，系统地送到另一个范畴里。自然变换更高一层，它研究两个函子之间怎样相互比较。听起来绕，其实抓住了一件非常重要的事：数学里很多“相同”，看的是关系模式是否一致。
这一步很像结构主义的二次抽象。诺特研究代数对象内部的结构，布尔巴基把数学组织成结构体系，范畴论开始研究结构之间怎样流动、翻译和对应。它关心的已经不再是一座城市，而是不同城市之间的交通网。
但范畴论后来变成了二十世纪下半叶数学的通用语言。格罗滕迪克用它重写代数几何。劳维尔（F. William Lawvere）用它重写逻辑。到21世纪，它又出现在编程语言（Haskell的类型系统）和形式化数学（LEAN的依赖类型）里。
它一开始并没有被广泛接受，被叫作“抽象废话”，后来却变成很多领域的底层语法。这个反差本身就很二十世纪：最初看起来离应用最远的抽象语言，最后常常成了连接不同大陆的桥。
## 1.7 格罗滕迪克概型：用范畴论重写代数几何
范畴论刚被造出来时，看起来只是"结构的结构"，离具体问题很远。它真正改变数学版图的时刻，发生在它落到一个特殊的人手里之后。这个人就是格罗滕迪克，二十世纪结构化这条线的封顶之人。
格罗滕迪克1928年生在柏林，父母都是欧洲左翼。纳粹上台后，父亲死在奥斯维辛，他自己在法国南部的难民营度过童年的一段时间，长期没有稳定国籍。1958年，他被请进新成立的法国高等科学研究院（IHES）。接下来十二年，他几乎以一个人的节奏，把整个代数几何推倒重建。
格罗滕迪克（1928—2014），数学界的传奇人物
他做的事可以用一句话概括：用范畴论这把新工具，把数学的抽象推到几乎不可思议的高度。
这句话需要解释。普通数学家研究具体对象，圆、椭圆、抛物线，每个都有自己的性质。更上一层的数学家会发现，这三种曲线其实都是"二次曲线"的不同样子。研究二次曲线，等于一口气研究了三种曲线。这一步抽象很值钱，三件事变成了一件。
格罗滕迪克要做的事，是把这种"升级一层"推到极限。范畴论给了他一个非常大的容器：任何东西，只要满足"对象加箭头"的形式，都能放进同一个范畴里讨论。他想做的，是让几何里的曲线、代数里的方程、数论里的整数、有限域上的算术，全部当成同一个大范畴里的对象，它们之间的所有变换都成为同一类箭头。一旦做成这件事，原本分散在不同分支里的东西，第一次可以用同一套词汇被谈论。
他真的造出了这个共同语言，叫概型（scheme）。
概型是一种几何空间，但它的"点"不是平面上的小圆圈。每一个"点"对应一个代数对象。整数环在格罗滕迪克的眼里就是一个几何空间，每个素数（2、3、5、7……）都是它上面的一个点。模7算术，就是在这个空间里、7这一点附近做的局部观察。
这意味着，原本分散在几何、代数、数论里的对象，在概型这套语言里全都成为同一种事物的不同例子。一条曲线是一种概型。一个整数环是一种概型。一个有限域是一种概型。你可以在它们之间画箭头、做映射、比较结构，像在同一个世界里走动。
格罗滕迪克的工作方式也很特别。他自己给它起名叫"涨潮"（la mer qui monte）。普通数学家面对难题，常常像凿石头：找方法、用力、把它砸开。格罗滕迪克的方式，是把整片海的水位抬高，让水把石头淹没，问题不再需要砸，自然消失在水下。
听起来玄，其实是一种风格：把问题升级到一个足够普遍的框架里，原本卡住所有人的难题，会在新框架下变得几乎平凡。代价是这个框架本身极度抽象，要花很多年才能搭起来。
为了支撑这套新世界，他和合作者迪厄多内（Jean Dieudonné）写了多卷《代数几何原理》（EGA），又通过《代数几何讨论班讲义》（SGA）发展了一整套配套工具，总量几千页。这些文献写出来时几乎没人能完整消化，但所有人都明白，代数几何的边界被改了。后来这套兵器还有过一次大众级别的兑现：他的学生德利涅（Pierre Deligne）1973年用其中一种上同调工具，解决了一组久悬的数论猜想，让外界第一次看到这种极度抽象的语言能切实办事。
这也是第一章想讲的终点。从阿贝尔、伽罗瓦开始，代数先发现"解方程"这条路有边界，然后发现边界背后是群。诺特把这种思路推广成结构语言。范德瓦尔登把它写进教材，布尔巴基把它变成数学风格，范畴论继续抽象到结构之间的关系。到格罗滕迪克这里，结构语言终于强到可以把代数、几何、数论装进同一个母版。
1970年，格罗滕迪克发现IHES接受军方资助，要求停止这种资助。研究院没有接受。他愤而辞职，离开IHES，也逐渐离开数学界主流。后来他退隐到法国南部山村，写下大量越来越接近神秘主义的手稿，直到去世。
那一年，布尔巴基计划也开始走向沉寂。一个建造的时代结束了。
结构化这条线在1970之后并没有停下。怀尔斯1993年用格罗滕迪克留下的工具证了费马大定理。Lurie在2000年代把范畴论本身高维化。Scholze在2010年代造出更新的几何空间。每一代都在上一代搭好的塔上又添几层。
但塔越垒越高，能爬上去看一眼塔顶的人就越来越少。格罗滕迪克当年在IHES还有学生、有合作者、有讨论班。今天最前沿的结构化数学，全世界真正能跟上的可能就几百人。入门门槛从一百年前的几个月，涨到今天近十年。
象牙塔垒到这个高度之后，再往上垒一层已经超出了数学本身，更像一个社会问题。能继续往上垒的人越来越像孤独的高僧。这条线后来嵌套深度有多深、外部用户为什么基本消失、AI时代有没有可能把它重新激活，留到下篇再说。
# 二、几何成了物理的语言：黎曼的复仇
## 2.1 庞加莱：一个人开了两片大陆
亨利·庞加莱（Henri Poincaré）是十九世纪最后一位、也是二十世纪几何线第一位的源头人物。这位法国通才一个人同时开了两片大陆：拓扑学和定性微分方程。
要理解庞加莱，先要理解十九世纪力学的自信。牛顿力学太成功了。行星绕太阳转，炮弹在空中飞，钟摆来回摆，只要写出微分方程，好像原则上都能算出来。拉普拉斯那句著名想象，后来被称为“拉普拉斯妖”：如果一个智能知道宇宙所有粒子的位置和速度，又知道所有力学规律，它就能算出过去和未来。
这个信念在二体问题里确实成立。太阳和一个行星互相吸引，轨道可以算得很漂亮。但到了三体问题，事情突然变得丑陋。太阳、地球、月亮三者互相牵扯，方程看起来仍然是牛顿方程，求解难度却像换了一个宇宙。
1880年代，瑞典国王奥斯卡二世设立数学奖，三体问题是核心题目之一。庞加莱本来想解决天体力学里的稳定性问题：行星系统会不会长期稳定？会不会因为微小扰动，最后整个系统乱掉？
他很快发现，三体问题的困难远比技巧问题更深。它的困难藏在结构里。一个轨道可以在相空间里绕来绕去，靠近、远离、折返，形成极其复杂的几何图案。微小初始差异可能被系统放大，最后走向完全不同的轨道。
这就是后来混沌理论的种子。庞加莱没有现代计算机，也没有今天的“蝴蝶效应”语言，但他已经看到核心事实：决定论系统不等于可预测系统。方程是确定的，未来却可能对初始条件极端敏感。
这件事对数学思想的冲击很大。过去人们面对微分方程，第一反应是求解：给我一个公式，告诉我t时刻在哪里。庞加莱意识到，很多系统根本不会给你漂亮公式。既然算不出精确轨道，那就换一种问法：轨道大致长什么样？有没有周期轨道？会不会稳定？相空间整体结构如何？
这就是定性微分方程的开端。它把微分方程从“求函数”的机器，改造成研究轨道的几何工具。所有可能状态组成一个相空间，每一个解都是相空间里的一条轨道，数学家要研究的是这些轨道的整体形态。
这一转向非常关键。它把分析问题几何化了。一个方程不再只是符号，它画出一片空间；一个解不再只是一串数，它变成空间里的一条曲线。二十世纪动力系统、混沌理论、遍历理论，都可以从这里往后追。
庞加莱开的第二片大陆，是拓扑学。
1895年，他发表《Analysis Situs》。这个标题今天看起来有点陌生，意思大致就是“位置分析”。庞加莱想研究一种比几何更粗、更整体的东西：如果一个形状可以连续拉伸、弯曲、压扁，但不撕裂、不粘合，那么哪些性质会保留下来？
这和传统几何的口味完全不同。传统几何问长度、角度、曲率。庞加莱问洞、连通性、边界、绕法。一个曲面上有几个洞？一条闭曲线能不能缩成一点？一个三维空间整体上是不是球面？这些问题无法靠尺子和量角器解决。
庞加莱最厉害的地方，是把这些问题和代数接上。他没有停在直觉上的“洞”，而是试图给空间分配一些代数不变量。不同空间如果有不同不变量，就不可能通过连续变形互相变成对方。代数拓扑的核心精神，从这里开始。
庞加莱猜想也出自这条线。粗略说，它问的是：一个三维空间如果在拓扑意义上像三维球面那样“没有洞”，它是否真的就是三维球面？这个问题看似朴素，后来困住数学家一百年，直到Perelman在二十一世纪初解决。
所以庞加莱的两片大陆，表面上一个来自天体力学，一个来自拓扑学，内核却很一致。他都在逼数学离开局部计算，转向整体结构。三体问题里，他放下精确公式，去看相空间里的整体轨道；拓扑学里，他放下长度角度，去看空间整体怎样连接、怎样绕、怎样有洞。
这就是二十世纪几何线的真正开端。黎曼给了几何“曲率”和“流形”的语言，庞加莱给了几何“整体结构”的眼光。后来的Stephen Smale做动力系统，William Thurston做三维流形几何化，Grigori Perelman证庞加莱猜想，全是这条线的子孙。
## 2.2 拓扑学：几何不再只问长度和角度
庞加莱打开拓扑学之后，几何的层次变多了。
十九世纪的几何本来就已经分化出几条路：
第一条是欧几里得以来的度量几何。它关心长度、角度、面积，问三角形边多长，两条线夹角多少。
第二条是克莱因（Felix Klein）在埃尔朗根纲领里总结出来的变换群几何：一种几何研究的，是在某类变换下保持不变的性质。欧氏几何、射影几何、仿射几何，都可以放进这个框架里。
第三条是黎曼开启的微分几何。它研究曲面和流形上的局部结构，核心工具是微积分。曲率、度量、测地线、联络，这些概念都属于这条线。微分几何并不等于古典几何，它已经是十九世纪非常现代的一步。广义相对论后来能用黎曼几何，正是因为它能描述局部弯曲的时空。
拓扑学和它们的关系，不能说是简单取代了旧几何，而是换了一个分辨率。
微分几何问：这个空间每一点附近怎么弯？长度怎么量？曲率是多少？拓扑学问：如果我完全不管长度、角度、曲率，只允许连续拉伸和变形，这个空间还有什么东西保留下来？
所以拓扑学问得更粗，也更整体：这个空间是不是连通？里面有没有洞？一条闭曲线能不能缩成一个点？两个形状能不能连续变形为彼此？它绕开局部曲率，直接盯住整体形状。
这当然也和“结构”有关，只是结构的类型不同。第一章讲的代数结构，核心是运算和关系：群怎么乘，环怎么加减乘，模怎么被环作用。拓扑学讲的是空间结构：哪些点靠得近，哪些区域是开的，什么叫连续，整体怎样连通，哪里有洞。
换句话说，拓扑结构是几何里的“最低配结构”。你把长度、角度、曲率全拿掉，剩下的那层空间组织方式，就是拓扑学要抓住的东西。它保留得少，但正因为少，才更稳定，能在连续变形下不变。
所以拓扑学常被形容成“橡皮几何”。杯子和甜甜圈在拓扑学里同类，因为它们都只有一个洞；球面和甜甜圈不同，因为球面没有洞。这个说法很粗糙，却抓住了重点：拓扑学不在乎精确长度，它关心整体形状在连续变形下保留下来的东西。
庞加莱最关键的贡献，是把这种整体问题和代数接起来。一个空间有几个洞，闭曲线怎样绕，曲面怎样拼，这些直觉问题可以变成群、同调、同伦这些代数对象。代数拓扑由此长出来。几何不再只靠画图，也开始用代数来测量“洞”和“绕法”。
但二十世纪的拓扑学没有停在代数拓扑。它很快又和微积分结合，长成微分拓扑。这里要特别分清：微分拓扑和微分几何很近，但关注点不同。
微分几何通常带着度量，关心曲率、长度、角度这些局部量。微分拓扑也研究光滑流形，也用微积分，但它常常故意不指定度量。它关心的是光滑结构本身：一个拓扑流形能不能带光滑结构？两个看起来一样的空间，光滑结构会不会不同？一个流形能不能嵌入欧几里得空间？两个子流形相交时，怎样才算“正常相交”？
惠特尼（Hassler Whitney）在1930年代系统整理光滑流形和嵌入问题。托姆（René Thom）在1950年代发展横截性和配边理论。米尔诺（John Milnor）1956年发现七维球面可以有不同的光滑结构，也就是所谓“怪球面”。这件事非常震撼：拓扑上同一个球面，微分结构居然可以不止一种。
John Milnor
这就是微分拓扑的味道。它既不满足于拓扑学那种只看连续变形的粗粒度，也不回到古典微分几何那种只看曲率和度量的局部计算。它问的是：光滑结构本身能携带多少整体信息？
这条线后来会自然通向Atiyah-Singer指标定理。因为指标定理本质上就是把分析里的微分算子，和拓扑里的整体不变量接在一起。没有拓扑学，二十世纪几何线会少掉一半骨架；没有微分拓扑，后面从几何走向物理的很多桥也搭不起来。
## 2.3 广义相对论：黎曼几何被物理学正式收割
拓扑学关心整体结构，广义相对论则把黎曼那条微分几何线推到了物理中心。这里要看的不是“洞”和“连通性”，重点变成了每一点附近的时空怎样弯。
牛顿引力讲得很直观：两个物体之间有万有引力，质量越大，引力越强，距离越远，引力越弱。这个理论太成功了，解释了行星运动，也支撑了几百年的天文学。
但牛顿理论有一个很深的怪点：引力像是隔空瞬间作用。太阳如果突然移动，地球似乎会立刻感觉到。这和爱因斯坦1905年的狭义相对论冲突，因为狭义相对论说，没有信息能比光更快。
还有一个老问题也一直在那里：引力质量和惯性质量为什么相等？一个物体有多“容易被推动”，和它有多“容易被引力吸引”，在实验上居然一样。这在牛顿力学里像一个巧合。
1907年，爱因斯坦坐在伯尔尼专利局的办公室里，想到了后来被他称为“一生中最快乐的思想”：自由下落的人感觉不到自己的重量。一个人从屋顶掉下来，在下落过程中手里放开的东西会和他一起下落，他在局部会觉得自己像漂浮在没有引力的空间里。
这就是等效原理的核心直觉。引力和加速度在局部看起来可以互相替代。电梯向上加速，你会觉得更重；电梯自由下落，你会觉得失重。爱因斯坦从这里开始怀疑：引力也许更像时空结构本身的变化，而不是普通意义上的力。
这个想法很漂亮，但漂亮想法不等于理论。爱因斯坦需要一种数学语言，能描述“时空本身会弯”。欧几里得几何不够用，克莱因式变换群几何也不够用。他需要的正是黎曼几何：一个空间可以在每一点有自己的度量和曲率。
问题是，爱因斯坦一开始并不掌握这套工具。1912年前后，他回到苏黎世，向老同学马塞尔·格罗斯曼（Marcel Grossmann）求助。格罗斯曼是数学家，他告诉爱因斯坦，黎曼几何、张量分析、Ricci-Curbastro和Levi-Civita发展的张量演算，正是描述弯曲空间的语言。
格罗斯曼和爱因斯坦
张量演算对爱因斯坦来说很痛苦，但它有一个关键好处：它能让物理定律不依赖具体坐标写出来。你换一套坐标，物理内容不该改变。广义相对论要讲的是时空本身，不是某张坐标纸上的数字。
1913年，爱因斯坦和格罗斯曼发表了一个中间版本，通常称为“Entwurf理论”。它已经在往正确方向走，但还没有走到最后。接下来几年，爱因斯坦不断在物理直觉和数学形式之间拉扯。方程要满足能量动量守恒，要能回到牛顿极限，还要具有合适的协变性，每一条都很硬。
1915年11月，爱因斯坦在普鲁士科学院连续四周提交论文，几乎每周都在修正自己的方程。到最后一篇，他写出了广义相对论的核心场方程。用一句最常见的解释说：物质告诉时空怎么弯曲，时空告诉物质怎么运动。
这句话背后是一个巨大转向。牛顿那里，引力是物体之间的力；爱因斯坦这里，引力是四维时空的几何。一个自由下落的物体沿着弯曲时空里“最直”的路径运动，也就是沿着测地线运动。
黎曼几何在这里被彻底收割了。黎曼1854年那场关于几何基础的演讲，原本是高度抽象的数学想象：空间可以有不同维度，可以有自己的度量，可以有曲率。60年后，这套语言突然变成了宇宙运行的语言。
广义相对论还很快给出可检验结果。水星近日点进动的异常，长期让天文学家头疼，爱因斯坦方程给出了正确解释。光线经过太阳附近会弯曲，这也是广义相对论的预言。
1919年5月29日，日全食给了观测机会。爱丁顿（Arthur Eddington）等人组织观测队，在非洲西岸的普林西比岛和巴西索布拉尔拍摄太阳附近恒星的位置。结果公布后，英国皇家学会和皇家天文学会宣布观测支持爱因斯坦的预言。这个实验后来有很多历史细节争议，但它在当时造成的传播效果非常明确：爱因斯坦一夜之间成了世界名人。
从数学史角度看，这件事比爱因斯坦成名更重要。它证明了十九世纪那些看似远离现实的几何，可能在几十年后成为物理世界的核心语言。黎曼几何不是给广义相对论做装饰，它就是理论的骨架。没有流形、度量、曲率、张量，广义相对论根本写不出来。
这就是二十世纪数学和外部用户关系最典型的一幕。数学家先在内部造出一套抽象语言，几十年后，物理学突然发现自己正好需要它。黎曼几何被爱因斯坦一把扛走，几何从研究空间形状的数学分支，变成研究宇宙本身的语言。
## 2.4 嘉当、陈省身与微分几何工具的精炼
广义相对论把黎曼几何推到物理中心，但这还不是几何工具发展的终点。爱因斯坦用到了度量、曲率、张量。接下来几十年，数学家继续把这些工具打磨得更锋利，让它们能处理更复杂的空间、更抽象的对称性和更深的整体不变量。
这里第一个关键人物是法国数学家埃利·嘉当（Élie Cartan）。嘉当从1900年代开始系统整理李群、李代数、外微分形式、活动标架法。他的贡献不靠某个单一漂亮定理取胜，而是把微分几何的语言整体升级了一次。
埃利·嘉当
外微分形式听起来很技术，直觉上可以把它理解成一种适合在弯曲空间里做积分和微分的语言。普通微积分在平面和三维空间里很好用，但到了流形上，坐标可以随便换，局部小块要拼成整体，旧写法就会变得笨拙。外微分形式的好处是，它天然适合在流形上写公式。
这套语言后来到物理里非常好用。麦克斯韦方程组用外微分形式可以写得极其紧凑。广义相对论里的曲率、规范场里的联络和曲率，也都适合用这种语言表达。嘉当像是在给二十世纪几何和物理打造通用工具箱。
但只靠局部曲率还不够。二十世纪几何真正厉害的地方，是把局部微分信息和整体拓扑信息连起来。这个地方就必须写陈省身。
陈省身的代表性贡献，是把曲率和整体不变量联系起来。1940年代，他给出了高维Gauss-Bonnet定理的内蕴证明。二维曲面上，高斯-博内定理说：把曲率在整个曲面上积分，最后得到的东西和曲面的拓扑有关。一个看起来是微积分的量，最后居然等于一个拓扑量。
陈省身
陈省身把这件事推到更高维。粗略说，流形局部怎么弯，经过合适的整体积分之后，会告诉你这个流形的拓扑信息。这正好接上前面说的主题：微分几何和拓扑学不是两条完全隔开的路，它们在二十世纪开始互相咬合。
陈省身示性类也从这里长出来。示性类可以理解成附着在纤维丛上的拓扑标签。一个空间上有一个向量丛，局部看可能都像普通向量空间，但整体拼起来的方式可能很复杂。示性类就是用来测量这种整体扭曲的工具。
后来发展出的Chern-Weil理论，把联络的曲率形式和示性类联系起来。这里的思想非常漂亮：联络和曲率是微分几何里的局部对象，示性类是拓扑里的整体对象，Chern-Weil理论把它们用公式接上。
这套工具为什么重要？因为后面的规范场理论也在讲类似的东西。物理学里的“场”，可以看成纤维丛上的联络；物理学里的“力”，可以看成联络的曲率。数学家在微分几何里打磨出来的联络、曲率、示性类，后来正好变成规范场论的自然语言。
嘉当给了微分形式和活动标架，陈省身把曲率、纤维丛、整体拓扑不变量接起来。到这里，几何已经准备好进入下一幕：Yang-Mills规范场。
## 2.5 Yang-Mills 规范场：几何就是物理
如果说广义相对论把引力几何化，那么Yang-Mills理论把“力”这件事更进一步地几何化。
先从麦克斯韦（James Clerk Maxwell）的电磁理论说起。电磁场本来已经有一种很强的几何味道。电势和磁矢势有一种“规范自由”：你可以改变势的写法，但真正可观测的电场和磁场不变。这听起来像数学上的“同一个对象可以有不同坐标表示”。
麦克斯韦方程
到了二十世纪，物理学家逐渐意识到，规范对称性不是电磁学里的偶然现象。它可能是基本相互作用的组织原则。电磁理论对应的是一个交换群U(1)。问题是，如果把这个对称群换成更复杂的非交换群，会发生什么？
1954年，32岁的杨振宁（Chen-Ning Yang）和23岁的罗伯特·米尔斯（Robert Mills）在布鲁克海文国家实验室合写了一篇论文，把麦克斯韦的电磁理论从交换群U(1)推广到非交换群SU(2)。这就是Yang-Mills理论的起点。
杨振宁和米尔斯
这里要分清群论和微分几何各自的位置。群论告诉你内部对称性是什么，比如U(1)、SU(2)、SU(3)。微分几何告诉你，这些对称性怎样沿着时空展开。用现代语言说，规范场是纤维丛上的联络，场强就是联络的曲率。
所以Yang-Mills理论不是单纯的群论，也不是单纯的微分几何。更准确地说，它是群论在时空上的微分几何化。群论给它内部对称骨架，微分几何给它时空表达方式。
这件事在物理上有一个直接的麻烦：他们的方程预言所有规范玻色子都是零质量的，但现实中的弱相互作用粒子有质量。论文一出来，泡利（Wolfgang Pauli）就当场质疑过这件事。质量问题要等到1964年Higgs机制才解决。
但Yang-Mills理论的真正意义，不只在1954年那篇论文当时解决了什么物理问题。它更像一个新语言被提前写了出来，后来整个粒子物理才慢慢长进这套语言里。
从几何上看，Yang-Mills理论可以被理解为纤维丛上的联络理论。时空是底座，每一个时空点上方挂着一个内部空间，这个内部空间由某个李群控制。联络告诉你，怎样把一个点上方的内部状态，拿到附近另一个点去比较。曲率则告诉你，沿着不同路径移动之后，会不会产生差异。
这听起来抽象，其实和前面的微分几何完全接上了。广义相对论里，曲率描述时空本身怎么弯；Yang-Mills里，曲率描述内部对称空间怎么扭。引力把时空几何化，规范场把相互作用几何化。
物理上的“力”，在这里变成了几何里的“曲率”。这句话很短，但非常深。电磁力、弱力、强力不再只是写在方程里的外力，而是某个对称群在时空上展开之后产生的几何结构。
20世纪后期的标准模型，就是沿着这条路建起来的。电磁相互作用对应U(1)，弱相互作用对应SU(2)，强相互作用对应SU(3)。标准模型的骨架通常写成SU(3) × SU(2) × U(1)。这个符号就是基本相互作用的对称性框架。
Yang-Mills理论也把前面几条数学线拧在一起。它需要李群和李代数，需要纤维丛和联络，需要曲率和微分形式，也需要量子场论里的分析工具。代数、几何、拓扑、分析，在这里一起进入物理。
这就是为什么Yang-Mills应该放在这一章的中后段。前面黎曼几何被广义相对论拿走，嘉当和陈省身把微分几何工具打磨出来。到了Yang-Mills，几何不再只描述时空本身，还开始描述物理相互作用的内部结构。
## 2.6 Atiyah-Singer 指标定理：四条河汇成一海
前面几节分别讲了几条线：拓扑学研究整体形状，微分几何研究曲率和联络，分析研究微分方程，物理学用这些语言描述世界。Atiyah-Singer指标定理厉害的地方，是把这些线直接绑在一个公式里。
1963年，迈克尔·阿蒂亚（Michael Atiyah）和伊萨多·辛格（Isadore Singer）证明了一个巨大的定理：在一个紧致流形上，一个椭圆型微分算子的分析指标，等于它的拓扑指标。
阿蒂亚和辛格
这句话很短，但每个词都很重。微分算子来自分析，流形来自几何，拓扑指标来自拓扑。一个分析问题的答案，居然可以由空间的拓扑结构决定。
可以用更粗的方式理解。很多微分方程的解空间有维数。你想知道某个方程有多少自由解，或者两个解空间的维数差是多少，按理说这是分析问题，要研究算子、边界、光滑性、谱。
Atiyah-Singer定理告诉你，在很广的一类情况下，这个维数差可以通过拓扑不变量算出来。空间整体怎样连通、怎样扭曲、有什么示性类，会直接决定一个微分算子的分析指标。
这就是所谓“分析等于拓扑”。一个看起来属于偏微分方程的量，等于一个看起来属于代数拓扑的量。两片大陆通过一个公式架起桥。
这座桥不是凭空出现的。前面所有工具都在这里汇合：黎曼几何提供流形和曲率，拓扑学提供整体不变量，陈省身的示性类提供连接局部曲率和整体拓扑的语言，泛函分析提供算子理论，物理学后来又给它新的解释。
Atiyah-Singer定理是二十世纪几何的最高峰。它把拓扑、几何、分析、物理四条河汇成一海。Edward Witten后来发现，这个定理在量子场论里有自然的物理解释。指标其实是某个超对称体系的真空态数目。
这也是为什么指标定理在数学史里地位很高。它不是某个小分支的技术定理，而像一座总枢纽。代数拓扑、微分几何、偏微分方程、量子场论，都能从这里接线。
到这一节为止，几何线在二十世纪上半叶的建设基本完成。黎曼给出流形和曲率的语言，庞加莱打开拓扑和整体结构，嘉当、陈省身把微分几何工具磨细，爱因斯坦把黎曼几何变成时空理论，杨振宁和Mills把规范场写成几何，Atiyah和Singer把分析、拓扑、几何接成一个定理。
这条链条已经把几何从“研究形状的数学分支”，变成理解物理世界的根本语言。
# 三、分析与泛函：量子力学的数学骨架
代数走完结构化这一程，几何走完物理化这一程。要讲完二十世纪上半叶的数学，还差一条线没接上：分析。
十九世纪后半，柯西、魏尔斯特拉斯、康托尔等人把微积分的地基重新垒了一遍。极限、连续性、实数构造、集合论，全都在那一百年里完成。但严格化并没有让分析停下来，反而打开了几个新麻烦。
最显眼的是傅里叶级数。傅里叶1822年说任何函数都能展开成三角级数，但这件事在严格意义下能不能成立，要看"收敛"这个词到底怎么定义、收敛到什么。第二桩是积分方程，来自热传导、电势、弹性这些物理问题，未知量是一个函数，方程里还出现这个函数的积分，老办法解不动。更彻底的是变分问题，要在"所有合规的函数"之间找一个最优的，但"所有合规的函数"本身是什么样的对象，谁也没说清楚。
这些麻烦把分析家逼到一个新视角：把"函数本身"当作研究对象，把"函数构成的集合"当作一种空间。这种空间有自己的距离、自己的几何、自己的代数运算。分析从"研究函数怎么变"，转向"研究函数空间里的几何"。
这就是泛函分析。这一章讲它怎么从十九世纪分析严格化里长出来，怎么在二十世纪初成形，最后又怎么变成量子力学的官方语言。
## 3.1 积分方程：分析从有限维往无穷维走
十九世纪末，分析学家手里有一类问题始终摆不平：积分方程。
积分方程跟微分方程长得像，区别在于未知量是一个函数，方程里出现的是这个函数的积分，而不是它的导数。这种方程不是凭空冒出来的，它来自物理。一根弹性绳的形变写下来是积分方程，一块金属里的热传导写下来是积分方程，空间里某点的电势分布写下来还是积分方程。整个十九世纪，物理学家用各种凑解法、特解、级数展开对付这些方程，但没有一套系统的理论。
最早把积分方程当作独立学科来做的人是意大利数学家沃尔泰拉（Vito Volterra）。他在1880年代后期开始研究一类新对象：把函数映射到数的"函数的函数"。今天这种对象叫泛函（functional），一整门新学科的名字就是从这里来的。
但真正把这扇门推开的，是瑞典数学家弗雷德霍姆（Erik Fredholm）。1903年他发表的一篇论文，把一类积分方程整理出了一套类似线性代数的处理方式。
他的关键洞察是：把积分方程看成"无穷维的线性方程"。普通的线性方程组有n个未知数、n个方程，组成一个n维线性代数问题。积分方程的"未知数"是一个连续函数，相当于"无穷多个未知数"。弗雷德霍姆把熟悉的有限维线性代数那一套，行列式、本征值、解的存在性条件，整套推广到这种无穷维场景。结果是，原本顽固的积分方程在新框架下变成了有清晰理论的问题。
这是一次巨大的概念跃迁。分析过去研究的是函数本身。从弗雷德霍姆开始，分析家研究的对象变成了"函数构成的空间"。这个空间里有"点"（每一点是一个函数）、有"距离"（两个函数能不能算近）、有"角度"（两个函数正不正交）。整套几何直觉从普通三维空间搬到了无穷维空间。
这件事很快被希尔伯特接走。1904年到1910年间，他在哥廷根做了一系列关于积分方程的演讲，发展出完整的本征值理论，证明了今天叫"谱定理"的那一类结果。后来一种特殊的无穷维空间被命名为"希尔伯特空间"，根就在这一段。这种空间会在二十多年后变成量子力学的舞台，但希尔伯特1900年代做这件事的时候，物理学家还没用上它。
## 3.2 巴拿赫与泛函分析的成型
希尔伯特做的是一类比较特殊的无穷维空间。它里面有内积、有正交基、有比较丰富的几何结构，几乎像有限维欧几里得空间的无穷维版本。波兰数学家巴拿赫（Stefan Banach）后来把这套思路抽离出来，做得更一般。
巴拿赫的故事本身有点传奇。他1892年生在波兰克拉科夫，年轻时几乎是自学数学，没有进数学系念过书。一战期间他在公园里和朋友讨论数学，被另一位波兰数学家施泰因豪斯（Hugo Steinhaus）偶然听到。施泰因豪斯当时正在想一个具体问题，巴拿赫插嘴提出了解法。施泰因豪斯意识到这是个天才，把他拉进了数学界。后来施泰因豪斯说，他"发现巴拿赫"是他一生最大的数学发现。
巴拿赫1920年的博士论文，研究的是一类比希尔伯特空间更宽的无穷维向量空间。他只要求空间里有一种"长度"，叫做范数，不要求有内积或正交结构。这种空间今天叫巴拿赫空间。
抽掉内积只留范数，看起来失去了几何感，其实换来了更大的适用范围。物理、工程、概率里很多场景，自然出来的就是巴拿赫空间，希尔伯特空间反倒是其中的特殊一类。所有连续函数的集合、所有p次方可积函数的集合、所有有界变差函数的集合，都是巴拿赫空间。
巴拿赫和他的合作者们在波兰利沃夫（今属乌克兰）形成了一个学派。他们的核心活动场所是城里一家叫"苏格兰咖啡馆"的店。每次开会，店里有一本笔记本，谁有问题写进去，谁解出来就把答案写下来。难一点的问题贴上奖金，比如一瓶白兰地、一只活鹅。那本笔记本后来叫"苏格兰书"（Scottish Book），是数学史上一份有名的存档，里面有些问题至今没解开。
巴拿赫1932年的著作《线性算子理论》（Théorie des opérations linéaires）系统化了这套语言。从这本书开始，"泛函分析"作为一个独立学科正式成立。它给二十世纪几乎所有跟函数打交道的领域，提供了底层语法：量子力学、概率论、偏微分方程、最优化、控制论、信号处理。
巴拿赫1945年去世，二战期间利沃夫被纳粹占领，他差点没活下来。但他建立的那套语言已经渗透到全球数学，无论他自己的命运怎么颠沛，他的工作都在各处大学的研究生课程里继续往下走。
## 3.3 量子力学的数学化：希尔伯特空间成为物理学的家
泛函分析刚刚成型，物理学那边就出事了。
十九世纪物理学最熟悉的世界，是连续的世界。粒子沿轨道运动，波在空间里传播，物理量随时间连续变化。可是到了原子尺度，这套直觉开始失灵。原子光谱变成一条一条离散的谱线。电子在原子里到底怎样运动，也不能像行星绕太阳那样直接画出来。
1925年6月，海森堡（Werner Heisenberg）在德国北海边的赫尔戈兰岛上养花粉过敏。他在那里想清楚了一件事：原子里的电子位置不能直接观测，可观测的只是它在不同能级之间跳跃时发出的光。他干脆把不可观测的轨道放到一边，只保留可观测的跃迁频率和强度。
他把这些数据排成一张表，再给这些表定义运算规则。海森堡自己一开始并没有说“我在做矩阵代数”。回到哥廷根之后，玻恩（Max Born）和约尔丹（Pascual Jordan）一眼认出来：这就是矩阵乘法。三个人合作完成了矩阵力学的数学框架。
海森堡和矩阵力学
几乎同时，奥地利物理学家薛定谔（Erwin Schrödinger）从另一条完全不同的路径走过来。他1926年初写出波动方程，把电子描述成弥漫在空间里的波。一边是离散的矩阵，一边是连续的波。两种语言看起来风马牛不相及，却都能正确解释原子光谱。
这就很尴尬。物理学突然有了两套量子力学：海森堡的矩阵力学和薛定谔的波动力学。一个看起来像代数，一个看起来像偏微分方程。它们都对，但为什么都对？1927年，英国物理学家狄拉克（Paul Dirac）把两套理论统一到一种更抽象的变换理论里，说明它们本质上是同一套东西的不同表示。
但统一归统一，量子力学整体上仍然很混乱。物理学家各用各的符号，论证常常半物理半数学。矩阵、波函数、算符、概率幅、测量，这些东西都在出现，却还没有一套真正干净的数学地基。
这个地基最后由冯·诺依曼给出。
1932年，冯·诺依曼出版《量子力学的数学基础》（Mathematische Grundlagen der Quantenmechanik），把整套理论建立在希尔伯特空间上。他的语言极其干净：量子态是希尔伯特空间里的向量，可观测量是希尔伯特空间上的自伴算子，测量结果落在这些算子的谱上，量子态的演化由酉算子描述。
这套语言一下子把前面的混乱压住了。矩阵力学可以看成有限维或可数维希尔伯特空间上的算子理论，波动力学可以看成函数空间上的算子理论。矩阵和波不必再互相竞争，它们成了同一个希尔伯特空间框架里的两种表现。
这套体系一直用到今天。任何现代量子力学教材的开篇，基本都是冯·诺依曼框架的某种简化版本。
这也是一次干净利落的“数学被物理收割”。希尔伯特1904年在哥廷根开始研究的积分方程，30年后变成了量子力学的语言。当年看起来抽象、像是分析家内部工具的无穷维向量空间，突然成了原子世界的官方写法。物理学吃掉了分析这条线最重要的一段。
## 3.4 冯·诺依曼与算子代数
把量子力学公理化以后，冯·诺依曼没有停在“给物理学一个漂亮框架”这一步。他很快看到了更深的问题：既然量子力学的可观测量都是算子，那么这些算子本身组成的世界，到底长什么样？
在希尔伯特空间上，可观测量是自伴算子。算子可以相加，可以相乘，可以取伴随。这样一来，一组算子在这些操作下会形成一种代数结构。这里研究的已经是一整套可观测量的组织方式。
这听起来很学究，背后却有很深的物理动机。量子系统能测什么，哪些观测量能同时测，测量之间怎样相互影响，都写在这些算子的代数关系里。研究算子代数，等于研究“量子世界的代数骨架”。
1936到1943年，冯·诺依曼和默里（Francis Murray）合作发表了一系列论文，把希尔伯特空间上的算子代数分类整理。他们引入了“因子”（factor）这个核心概念，并按性质分成I、II、III型。
I型最接近普通矩阵代数，也是基本量子力学最熟悉的那一类。II型开始出现很奇怪的现象，比如“连续维数”，它和遍历理论、测度论有深关系。III型更神秘，后来在量子场论和统计力学里反复出现。这看起来像在做分类学，其实是在搭一个比量子力学更广的数学世界。
这套体系后来叫“冯·诺依曼代数”。差不多同一时期，苏联数学家盖尔范德（Israel Gelfand）从另一边发展出C*-代数。两套语言并列，成为二十世纪后期算子代数学的两根主梁。它们的应用延伸到量子场论、统计力学、规范场理论。
更深一层的影响在二十世纪末出现。法国数学家阿兰·孔涅（Alain Connes）发现，冯·诺依曼代数可以被看成“非交换的几何空间”。普通几何空间上的函数环是交换的，f·g和g·f一样。但量子世界里的算子一般不交换，PQ和QP通常不同。
这就把问题翻了过来。经典几何可以从交换的函数代数恢复出来，那么非交换的算子代数，会不会也对应某种“非交换几何”？孔涅沿着这条线发展出非交换几何，让几何第一次系统容纳非交换对象。
冯·诺依曼这一手，把分析线推到新的抽象层。从研究函数，到研究函数空间；从研究函数空间，到研究空间上的算子；再从研究算子，到研究算子组成的代数。每一步都比上一步更抽象，但每一步都在物理学里找到对应。
## 3.5 测度论与现代概率论：分析的另一条隐藏出口
分析线还有一个常常被低估的出口。
法国数学家勒贝格（Henri Lebesgue）1902年的博士论文《积分、长度、面积》，把"积分"这个老概念从黎曼意义下的小矩形拼接，提升成一种基于"测度"的现代概念。
什么叫测度？最直观的理解是"赋长度"。一段直线[0,1]的长度是1，这很简单。但一个奇怪的集合，比如所有有理数构成的子集，你能给它一个"长度"吗？黎曼积分对这种集合束手无策。勒贝格定义了一种新的"长度"，叫勒贝格测度，让数学家能给非常不规则的集合赋一个值，从而对一类很广的函数做积分。
勒贝格测度还有一个隐藏的好处：处理极限的能力。一系列函数的积分极限是否等于它们极限的积分，黎曼意义下答案常常是"不一定"，证明很麻烦。勒贝格的新积分让这件事变得自然得多。后来希尔伯特空间、傅里叶分析、概率论里要用的积分，全都是勒贝格意义下的。
这件事一开始只是分析家内部的技术进步。但它带来了一个意想不到的孩子：现代概率论。
苏联数学家柯尔莫哥洛夫（Andrey Kolmogorov）1933年发表《概率论的基本概念》。他在这本薄薄的德文小册子里做了一件让所有人惊讶的事：把概率论彻底建立在测度论之上。一个随机事件本质上就是一个集合。一个事件发生的概率本质上就是这个集合的"测度"。一个随机变量本质上就是一个可测函数。期望就是积分，独立性就是一个特殊的乘积测度条件。
柯尔莫哥洛夫
这个公理化之前，概率论还是一门半民间的应用学科。古典概率论用骰子和扑克牌的语言，统计学家用频率派的语言，物理学家用统计力学的语言，每个圈子各说各的。柯尔莫哥洛夫之后，概率论成了分析的一个分支，正式进入现代数学的版图。
测度论这条隐藏出口，最大的回报要到二十一世纪才显现。现代统计、机器学习、深度学习的底层数学，全都建立在测度论意义下的概率论上。神经网络的损失函数是关于某个测度的期望，反向传播本质上是在概率空间上求导，扩散模型里出现的随机微分方程是测度论下的对象。十九世纪末的分析家以为自己在做几何意义的积分，结果他们在为二十一世纪的AI铺地基。这条线的故事，要到下篇才能讲完。
# 四、谁在用这些数学：数学的甲方大客户
## 4.1 数学不是自己活的
到这里为止，二十世纪上半叶几条主线已经铺开了。代数被诺特、布尔巴基、格罗滕迪克推向结构化。几何从黎曼、庞加莱走向拓扑、微分几何、规范场。分析和泛函把量子力学收进希尔伯特空间和算子理论。基础线在哥德尔的失败里孕育出图灵的计算机。
这些线当然首先是数学家自己建出来的。没有诺特的抽象眼光，没有黎曼的几何想象，没有希尔伯特和冯·诺依曼的分析语言，没有哥德尔和图灵的逻辑功夫，后面什么都谈不上。
但只讲数学家自己的天才，还解释不了二十世纪数学为什么会长得这么快、这么深、这么像基础设施。一个领域内部可以造出很漂亮的语言，但这套语言能不能变成现代文明的一部分，要看外部世界有没有人真的拿它去解决硬问题。
这就是“甲方大客户”的意思。
这里说的甲方，不是字面上的甲方，也不是谁给数学家下订单。它指的是外部世界里那些巨大需求方：它们有自己的问题、实验、机器、工程和产业。它们不会因为一个数学概念漂亮就买单。它们只关心一件事：这个语言能不能解释我的现象，能不能让我算得动，能不能让我造出东西。
一旦这种大客户出现，数学命运就会改变。一个原本只在数学内部流通的概念，会被反复使用、检验、改造、扩展。它会进入教材，进入实验室，进入工程系统，最后变成一整代人的通用语言。
十九世纪留下了很多抽象大陆。二十世纪真正特殊的地方，是外部世界派出了两个特别大的客户来接盘：物理学和计算机。
## 4.2 第一个大用户：20 世纪物理学
第一个甲方大客户是物理学。
二十世纪物理学不是在旧框架里修修补补。它连续遇到几个根本性问题：高速运动怎么描述，引力到底是什么，原子为什么发出离散光谱，基本粒子为什么按某些对称性组织，电磁力、弱力、强力能不能写成统一语言。
这些问题很硬。它们不是靠直觉比喻能解决的，也不是靠旧公式多算几步就能解决的。物理学家需要新语言。
第一波是几何。
黎曼1854年讲曲面和高维空间时，当然没有想到爱因斯坦。那时的物理学还活在牛顿空间里，空间像一个固定舞台，物体在里面运动，舞台本身不参与剧情。黎曼几何看起来更像数学内部的想象力实验：如果空间本身可以弯曲，几何还能怎样做？
中间还要加上一层准备工作。里奇和列维-奇维塔把张量演算做出来，让弯曲空间上的计算有了可操作的符号系统。爱因斯坦1915年底写出广义相对论场方程，1916年发表系统论文时，黎曼几何终于被物理学正式接管。引力不再是远距离拉来拉去的一种神秘力量，而是时空几何本身的弯曲。
第二波是分析。
希尔伯特在1904年前后研究积分方程，本来是在处理分析学内部的问题。他和学生、同事一起推动的那套语言，后来被称为希尔伯特空间。粗略地说，它把有限维线性代数推广到无穷维：向量可以变成函数，矩阵可以变成算子，特征值问题可以变成谱理论。
1925年前后，量子力学突然爆发。海森堡写出矩阵力学，薛定谔写出波动力学，狄拉克把两套语言往统一形式上推，冯·诺依曼再把量子力学整理进希尔伯特空间和算子理论。原子世界不能再用小球轨道直观想象，最后只能用态、算子、谱、概率幅来写。分析学在这里完成了一次身份转变：它从求极限、算积分的工具，变成了微观世界的官方语法。
第三波是代数。
量子力学发展到粒子物理之后，物理学家越来越频繁地撞上对称性。维格纳（Eugene Wigner）把群表示论系统搬进量子力学，说明粒子的许多性质可以通过对称群的表示来理解。到了1960年代，盖尔曼（Murray Gell-Mann）用SU(3)组织强子谱，夸克模型跟着出现。后来标准模型的规范群写成SU(3)×SU(2)×U(1)，强相互作用、弱相互作用、电磁相互作用都被装进李群和表示论里。
这一步很关键。十九世纪的代数本来是从方程根的置换里长出来的，到二十世纪，它被物理学拿去给基本粒子分类。群从数学家研究结构的语言，扩展成了物理学家识别自然界秩序的语言。
第四波是几何和代数合流。
1954年，杨振宁和米尔斯提出Yang-Mills规范理论。表面上看，这是场论中的一个物理模型。后来数学家和物理学家越来越清楚地看见，它背后其实是一套漂亮的几何语言：规范场可以理解为主纤维丛上的联络，场强就是曲率。李群负责内部对称性，微分几何负责把这种对称性沿着时空铺开。
到了这里，几何、代数、分析已经很难分开。广义相对论吃掉黎曼几何，量子力学吃掉希尔伯特空间，粒子物理吃掉群表示论，规范场又把李群、纤维丛、联络、曲率卷到一起。物理学这个甲方，没有一口气搬空数学仓库。它是一波一波遇到难题，再一波一波回头寻找恰好能用的语言。
这就是维格纳1960年那篇名文《数学在自然科学中不可理喻的有效性》真正抓住的感觉。这里没有魔法。可问题在于，物理学一次又一次撞见早就存在的数学结构，撞见的频率高到不像巧合。黎曼几何等了半个多世纪，希尔伯特空间等了二十来年，群表示论和规范几何又接着被卷入基本粒子理论。
所以物理学对数学的作用，远远超过一般意义上的“应用”。它把数学里的抽象工具拉到世界中心，让它们接受实验、计算、预测的压力。能承受住压力的工具，就会从数学分支变成科学基础设施。
## 4.3 第二个大用户：20 世纪计算机与通信
第二个甲方大客户，是计算机与通信。
这条线和物理学不太一样。物理学面对的是自然现象，计算机面对的是可执行的过程。它问的问题更像工程问题：什么叫算法？什么能算，什么不能算？信息最多能压缩到什么程度？信号在有噪声的信道里怎样可靠传输？程序语言怎样定义？机器怎样存储、处理、传递符号？
所以计算机吃数学的方式，也和物理学不一样。
物理学常常是先被自然现象逼到墙角，然后发现某套现成数学语言恰好能用。计算机更像一个巨大的工程系统。它把数学概念拆成可以执行、可以存储、可以传输、可以优化的模块，再一层一层装进机器。
最底下的一层，是数理逻辑和可计算性。
希尔伯特本来想把数学形式化，哥德尔证明这个梦想有边界。图灵进一步把“机械计算”定义成机器模型。这个模型原本是为了解决逻辑问题，后来却变成现代计算机的理论原型。丘奇的lambda演算也是如此。它本来是逻辑里的形式系统，后来成了函数式编程、类型系统、编程语言理论的一条源头。
数理逻辑原本是在追问“证明是什么”。计算机把这个问题改造成了“程序是什么”“机器能执行什么”。从哥德尔1931年到图灵1936年，再到1940年代真正的电子计算机出现，中间没有隔太久。一个哲学味很重的基础问题，很快变成了机器架构、程序语言和计算理论。
再往上一层，是信息论和通信。
香农1948年发表《通信的数学理论》，把“信息”从日常词变成数学量。信息熵、信道容量、噪声、编码、纠错，这些概念很快进入通信工程。它们最后落到电话网、卫星通信、压缩算法、互联网协议和存储系统里。信息论不像一门慢慢等待理解的纯理论，它几乎从诞生开始就贴着工程系统生长。
这一步让计算机从单机计算，走向互相通信。信息怎么表示，怎么压缩，怎么抗噪声，怎么在有限带宽里传得更远、更准，这些问题如果没有数学化，后来的互联网、移动通信、云计算都很难长出来。
第三层，是数值分析和矩阵计算。
电子计算机一出现，人们马上发现，很多科学问题不能只靠漂亮公式。天气预报、弹道计算、流体力学、结构工程、核物理，全都需要把连续世界离散化，再交给机器算。微分方程要变成差分格式，函数要变成数组，线性算子要变成矩阵。数值分析因此变成现代科学工程的日常语言。
这条线后来一直往前走。到今天，线性代数库、矩阵分解、特征值算法、快速傅里叶变换、GPU上的矩阵乘法，已经是计算机科学和AI工程的基础设施。很多人以为AI是突然冒出来的，其实底层一大块就是长期积累的矩阵计算工业。
第四层，是数论和密码。
数论曾经被看作最“无用”的纯数学之一。它研究素数、同余、模运算、椭圆曲线，离日常工程好像很远。但计算机和网络一来，情况完全变了。公开密钥密码、数字签名、网络安全、区块链，全部需要数论撑住。素数从数学家的玩具，变成现代金融、通信和身份认证的底层材料。
这说明计算机还有一个特点：它并不会只吸收“看起来有用”的数学。只要世界进入数字网络，身份、信任、隐私、安全这些问题都会变成数学问题。于是最抽象的数论，也会被拉到最现实的商业和国家安全系统里。
第五层，是测度论、概率和统计。
计算机处理确定性计算，也处理不确定性。随机过程、马尔可夫链、统计估计、贝叶斯方法、蒙特卡洛模拟，背后都离不开测度论和概率论。它们原本属于分析学的一条深线，后来进入搜索、推荐、金融定价、机器学习和大模型训练。AI时代大家天天说“概率模型”，其实说的就是这条数学线已经进入工业系统。
第六层，是优化和图结构。
优化回答的是“在限制条件下怎样做到最好”，图论回答的是“复杂关系怎样组织”。这两个问题听上去很朴素，却几乎遍布整个计算机世界。物流调度、芯片布线、网络路由、搜索排序、广告竞价、推荐系统、机器学习训练，处处都有优化和图结构。算法复杂性则在旁边提醒工程师：有些问题可以算，有些问题理论上能算，实际却算不起。
这样看，AI不是凭空跳出来的新东西。它背后叠着一整套二十世纪数学工程：逻辑给它程序和计算边界，信息论给它压缩和编码语言，矩阵计算给它大规模并行算力，概率统计给它处理不确定性的框架，优化给它训练参数的方法，图论和复杂网络给它处理关系结构的工具。
物理学从黎曼1854年的演讲走到爱因斯坦1916年的广义相对论，花了大约60年。计算机从哥德尔1931年的不完备性定理走到1940年代电子计算机，大约十几年。前者像是在自然深处撞见一把早已铸好的钥匙，后者更像一边造锁、一边改钥匙、一边把钥匙装进机器。
如果没有这个甲方，集合论、可计算性、信息论、数论、概率、优化、图论可能会留在数学系和工程系的专业房间里。因为计算机和通信的扩张，它们变成了现代社会每天都在运行的底层语言。
## 4.4 反事实：没有这两个用户会怎样
可以做一个反事实推演。
假设二十世纪没有相对论革命，物理学还停在牛顿框架里继续算行星轨道。假设没有量子力学，原子物理没有逼出希尔伯特空间和算子理论。假设没有计算机革命，工程师还在用机械计算尺，通信系统也没有走向全球网络。
那么很多数学当然还会存在，但命运会完全不同。
黎曼几何可能仍然是微分几何里的高深分支，不会变成人类理解宇宙的语言。群表示论可能仍然是代数和分析之间的漂亮桥梁，不会变成基本粒子分类的核心工具。希尔伯特空间可能仍然是积分方程和泛函分析里的抽象对象，不会成为量子力学的家。
集合论、可计算性、lambda演算、信息论也可能会继续存在，但它们不会有今天这种文明级影响。它们会是少数专家研究的数学分支，而不是计算机、互联网、通信、AI的地基。
这就是“甲方大客户”的残酷之处。一个领域内部再漂亮，如果没有外部世界反复使用，它的影响半径会有限。外部用户一旦足够大，它就会把一个小分支反复拉伸，拉到教育、工程、产业、战争、科研、资本都必须围着它转。
二十世纪上半叶之所以如此辉煌，根本原因不在于数学突然比十九世纪聪明很多。十九世纪造出的那些抽象工具，刚好等到了两个极强的使用者。物理学把几何、群论、分析吃进去，计算机与通信把逻辑、信息论、离散结构吃进去。吃完之后，这些数学反过来变成二十世纪文明本身的底层。
## 4.5 下篇悬念
1970年前后，一个阶段结束了。
格罗滕迪克离开IHES，布尔巴基走向沉寂，标准模型逐渐成形，计算机科学开始制度化。二十世纪上半叶那种“数学内部建造、外部用户猛吃”的节奏，完成了第一轮。
但故事没有停。1970年之后的50年里，两个甲方开始分化。
物理学当然还在发展，但基础物理越来越难。加速器越来越贵，实验越来越难，弦理论长期缺少直接验证，很多最抽象的数学物理方向开始远离实验。物理学作为数学最大甲方的吞吐能力，和二十世纪上半叶相比，明显变慢了。
计算机这边则完全相反。它从大型机走到PC，从互联网走到移动互联网，从云计算走到AI。它不但继续吃逻辑、离散数学、概率、优化、线性代数，还开始重新吃几何、拓扑、类型论、形式化证明。
这就留下一个很大的问题：1970年之后，数学还在继续生产更深、更抽象的理论，但外部世界还有没有足够大的甲方来消化它们？
AI会不会成为新的甲方？它能不能像二十世纪物理学吃掉黎曼几何、量子力学吃掉希尔伯特空间、计算机吃掉逻辑和信息论那样，把一些原本困在象牙塔里的抽象数学重新激活？
这就是下篇要回答的问题。
# 结语
二十世纪上半叶的故事讲完了。希尔伯特1900年站在山口，把十九世纪留下的几条线交给二十世纪。诺特、格罗滕迪克把代数线建到结构化顶峰。庞加莱、爱因斯坦、杨振宁、Atiyah把几何线建到物理语言的顶峰。希尔伯特空间、泛函分析和算子代数接住了量子力学。哥德尔、图灵、香农、冯·诺依曼把基础线推向计算机。
这一切的发生有一个隐藏的发动机：物理学和计算机这两个甲方大客户来扛。没有它们，数学家造好的大陆会停在被造的那一刻。有了它们，大陆变成广阔的领域，又反过来变成二十世纪文明本身的底层语言。
下一篇要讲1970之后发生的事。两个大用户开始分化，三条线的命运随之分岔。AI能否成为下一个扛起整个数学帝国的接班人，是数学家集体在二十一世纪押下的赌注。
# 作者其它文章
- 一文讲清楚美国医疗系统
- AI 如何打进美国教育生态？
- 一篇文章看懂美国教育全生态
- 马斯克把 xAI 并入 SpaceX，到底意味着什么？
- Vibe Learning：AI 时代，学习这件事被重新组织了
- 福特经济学和 AI 经济学
- 数学照妖镜：AI 能发现新的数学定理吗？
- 手把手教你分析：你会被AI取代吗?
- 一篇文章讲清大语言模型发展史
- 气吞万里如虎：回顾十九世纪的数学英豪们
- 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，你的公司能活过今年吗？
- 兄弟们，我创业失败了，人生完整了
# 本文参考文献
1. David Hilbert, "Mathematical Problems" (1900 Paris ICM Address)
2. Emmy Noether — Wikipedia
3. Noether's theorem — Wikipedia
4. Emmy Noether, "Idealtheorie in Ringbereichen" (1921)
5. Bartel van der Waerden, Moderne Algebra (1930)
6. Nicolas Bourbaki — Wikipedia
7. Bourbaki and the Foundations of Modern Mathematics — CNRS News
8. Nicolas Bourbaki — Britannica
9. Eilenberg & Mac Lane, "General Theory of Natural Equivalences" (1945)
10. Alexander Grothendieck — Wikipedia
11. Scheme (mathematics) — Wikipedia
12. Henri Poincaré — Wikipedia
13. Analysis Situs (paper) — Wikipedia
14. Topology: History of topology — Britannica
15. John Milnor, Differential Topology
16. History of General Relativity — Wikipedia
17. Einstein field equations — Wikipedia
18. Relativity and the 1919 eclipse — ESA
19. Testing General Relativity — NASA
20. Shiing-Shen Chern — Britannica
21. Chern class — Encyclopedia of Mathematics
22. Chern-Weil theory — nLab
23. Yang–Mills theory — Wikipedia
24. Atiyah–Singer index theorem — Wikipedia
25. Matrix mechanics — Wikipedia
26. John von Neumann, Mathematische Grundlagen der Quantenmechanik (1932)
27. Gödel's incompleteness theorems — Wikipedia
28. Alan Turing, "On Computable Numbers" (1936)
29. Alonzo Church, Lambda calculus
30. Claude Shannon, "A Mathematical Theory of Communication" (1948)
31. John von Neumann, The Computer and the Brain (1958, posthumous)
32. Niels Henrik Abel — Britannica
33. Max Noether — MacTutor History of Mathematics
34. How Albert Einstein Developed the Theory of General Relativity — Britannica
35. Murray Gell-Mann and the quark model — CERN
36. Yang and Mills, "Conservation of Isotopic Spin and Isotopic Gauge Invariance" (1954)
37. Eugene Wigner, "The Unreasonable Effectiveness of Mathematics in the Natural Sciences" (1960)
## 相关链接
- [snowboat](https://x.com/snowboat84)
- [@snowboat84](https://x.com/snowboat84)
- [2.8K](https://x.com/snowboat84/status/2055446902171406761/analytics)
- [气吞万里如虎：回顾十九世纪的数学英豪们](https://x.com/snowboat84/status/2050371067278143931)
- [一文讲清楚美国医疗系统](https://x.com/snowboat84/status/2055081426744422697)
- [AI 如何打进美国教育生态？](https://x.com/snowboat84/status/2054721509420372180)
- [一篇文章看懂美国教育全生态](https://x.com/snowboat84/status/2054359249917210633)
- [马斯克把 xAI 并入 SpaceX，到底意味着什么？](https://x.com/snowboat84/status/2054000682114613488)
- [Vibe Learning：AI 时代，学习这件事被重新组织了](https://x.com/snowboat84/status/2052908751435477046)
- [福特经济学和 AI 经济学](https://x.com/snowboat84/status/2052551731385602072)
- [数学照妖镜：AI 能发现新的数学定理吗？](https://x.com/snowboat84/status/2052174034041995572)
- [手把手教你分析：你会被AI取代吗?](https://x.com/snowboat84/status/2051818364507688978)
- [一篇文章讲清大语言模型发展史](https://x.com/snowboat84/status/2051444935547912236)
- [气吞万里如虎：回顾十九世纪的数学英豪们](https://x.com/snowboat84/status/2050371067278143931)
- [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)
- [David Hilbert, "Mathematical Problems" (1900 Paris ICM Address)](https://en.wikipedia.org/wiki/Hilbert's_problems)
- [Emmy Noether — Wikipedia](https://en.wikipedia.org/wiki/Emmy_Noether)
- [Noether's theorem — Wikipedia](https://en.wikipedia.org/wiki/Noether's_theorem)
- [Emmy Noether, "Idealtheorie in Ringbereichen" (1921)](https://en.wikipedia.org/wiki/Noetherian_ring)
- [Bartel van der Waerden, Moderne Algebra (1930)](https://en.wikipedia.org/wiki/Moderne_Algebra)
- [Nicolas Bourbaki — Wikipedia](https://en.wikipedia.org/wiki/Nicolas_Bourbaki)
- [Bourbaki and the Foundations of Modern Mathematics — CNRS News](https://news.cnrs.fr/articles/bourbaki-and-the-foundations-of-modern-mathematics)
- [Nicolas Bourbaki — Britannica](https://www.britannica.com/topic/Nicolas-Bourbaki)
- [Eilenberg & Mac Lane, "General Theory of Natural Equivalences" (1945)](https://www.ams.org/journals/tran/1945-058-00/S0002-9947-1945-0013131-6/)
- [Alexander Grothendieck — Wikipedia](https://en.wikipedia.org/wiki/Alexander_Grothendieck)
- [Scheme (mathematics) — Wikipedia](https://en.wikipedia.org/wiki/Scheme_(mathematics))
- [Henri Poincaré — Wikipedia](https://en.wikipedia.org/wiki/Henri_Poincar%C3%A9)
- [Analysis Situs (paper) — Wikipedia](https://en.wikipedia.org/wiki/Analysis_Situs_(paper))
- [Topology: History of topology — Britannica](https://www.britannica.com/science/topology/History-of-topology)
- [John Milnor, Differential Topology](https://www.maths.ed.ac.uk/~v1ranick/papers/difftop.pdf)
- [History of General Relativity — Wikipedia](https://en.wikipedia.org/wiki/History_of_general_relativity)
- [Einstein field equations — Wikipedia](https://en.wikipedia.org/wiki/Einstein_field_equations)
- [Relativity and the 1919 eclipse — ESA](https://www.esa.int/Our_Activities/Space_Science/Relativity_and_the_1919_eclipse)
- [Testing General Relativity — NASA](https://eclipse2017.nasa.gov/testing-general-relativity)
- [Shiing-Shen Chern — Britannica](https://www.britannica.com/biography/Shiing-shen-Chern)
- [Chern class — Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Chern_class)
- [Chern-Weil theory — nLab](https://ncatlab.org/nlab/show/Chern-Weil+theory)
- [Yang–Mills theory — Wikipedia](https://en.wikipedia.org/wiki/Yang%E2%80%93Mills_theory)
- [Atiyah–Singer index theorem — Wikipedia](https://en.wikipedia.org/wiki/Atiyah%E2%80%93Singer_index_theorem)
- [Matrix mechanics — Wikipedia](https://en.wikipedia.org/wiki/Matrix_mechanics)
- [John von Neumann, Mathematische Grundlagen der Quantenmechanik (1932)](https://en.wikipedia.org/wiki/Mathematical_Foundations_of_Quantum_Mechanics)
- [Gödel's incompleteness theorems — Wikipedia](https://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorems)
- [Alan Turing, "On Computable Numbers" (1936)](https://en.wikipedia.org/wiki/Turing_machine)
- [Alonzo Church, Lambda calculus](https://en.wikipedia.org/wiki/Lambda_calculus)
- [Claude Shannon, "A Mathematical Theory of Communication" (1948)](https://en.wikipedia.org/wiki/A_Mathematical_Theory_of_Communication)
- [John von Neumann, The Computer and the Brain (1958, posthumous)](https://en.wikipedia.org/wiki/The_Computer_and_the_Brain)
- [Niels Henrik Abel — Britannica](https://www.britannica.com/biography/Niels-Henrik-Abel)
- [Max Noether — MacTutor History of Mathematics](https://mathshistory.st-andrews.ac.uk/Biographies/Noether_Max/)
- [How Albert Einstein Developed the Theory of General Relativity — Britannica](https://www.britannica.com/story/how-albert-einstein-developed-the-theory-of-general-relativity)
- [Murray Gell-Mann and the quark model — CERN](https://home.web.cern.ch/news/news/physics/fifty-years-quarks)
- [Yang and Mills, "Conservation of Isotopic Spin and Isotopic Gauge Invariance" (1954)](https://journals.aps.org/pr/abstract/10.1103/PhysRev.96.191)
- [Eugene Wigner, "The Unreasonable Effectiveness of Mathematics in the Natural Sciences" (1960)](https://mathematics.huji.ac.il/sites/default/files/mathen/files/wigner-unreasonable-effectiveness-of-mathematics.pdf)
- [Upgrade to Premium](https://x.com/i/premium_sign_up)
- [8:35 AM · May 16, 2026](https://x.com/snowboat84/status/2055446902171406761)
- [2,877 Views](https://x.com/snowboat84/status/2055446902171406761/analytics)
---
*导出时间: 2026/5/16 18:29:05*