导论 1
第1章 基础 7
1.1 1920年代：集合 8
1.2 1940年代：结构 12
1.3 1960年代：范畴 15
1.4 1980年代：函数 18
第2章 纯粹数学 21
2.1 数学分析：勒贝格测度（1902） 24
2.2 代数：施泰尼茨对域的分类（1910） 28
2.3 拓扑学：布劳威尔的不动点定理（1910） 31
2.4 数论：盖尔芳德的超越数（1929） 33
2.5 逻辑：哥德尔的不完全性定理（1931） 37
2.6 变分法：道格拉斯的极小曲面（1931） 40
2.7 数学分析：施瓦兹的广义函数论（1945） 43
2.8 微分拓扑：米尔诺的怪异结构（1956） 47
2.9 模型论：鲁宾逊的超实数（1961） 50
2.10 集合论：科恩的独立性定理（1963） 53
2.11 奇点理论：托姆对突变的分类（1964） 56
2.12 代数：高林斯坦的有限群分类（1972） 60
2.13 拓扑学：瑟斯顿对三维曲面的分类（1982） 66
2.14 数论：怀尔斯证明费马大定理（1995） 70
2.15 离散几何：黑尔斯解决开普勒问题（1998） 75
第3章 应用数学 79
3.1 结晶学：比伯巴赫的对称群（1910） 83
3.2 张量演算：爱因斯坦的广义相对论（1915） 89
3.3 博弈论：冯·诺伊曼的极小极大定理（1928） 92
3.4 泛函分析：冯·诺伊曼对量子力学的公理化（1932） 95
3.5 概率论：柯尔莫哥洛夫的公理化（1933） 99
3.6 优化理论：丹齐格的单纯形法（1947） 102
3.7 一般均衡理论：阿罗-德布鲁存在性定理（1954） 104
3.8 形式语言理论：乔姆斯基的分类（1957） 107
3.9 动力系统理论：KAM定理（1962） 110
3.10 纽结理论：琼斯的不变量（1984） 113
第4章 数学与计算机 119
4.1 算法理论：图灵的刻画（1936） 123
4.2 人工智能：香农对国际象棋对策的分析（1950） 126
4.3 混沌理论：劳伦茨的奇怪吸引子（1963） 129
4.4 计算机辅助证明：阿佩尔与哈肯的四色定理（1976） 131
4.5 分形分析：芒德布罗集（1980） 136
第5章 未解问题 141
5.1 数论：完美数问题（公元前300年） 142
5.2 复分析：黎曼假设（1859） 144
5.3 代数拓扑：庞加莱猜想（1904） 147
5.4 复杂性理论：P=NP问题（1972） 150
结束语 155
参考文献 160
索引 162
译后记 176