数学史
History of Mathematics — 从计数到公理 · 从实用到抽象 · 从直观到严格
数学是人类最古老、也最奇特的知识：它不直接描述任何一件具体的事物，却能精确地描述几乎所有事物。这份文档以时间为经、以分支为纬，梳理数学的关键事件——弄清「数」与「形」的观念如何一步步被抽象、被符号化、被公理化。
贯穿整部数学史的是两条主线：
- 抽象化（Abstraction）：从具体物件（3 只羊、一块田）到「数」本身，从具体的曲线到「函数」，从数到「结构」（群、环、域、拓扑空间）。每一次抽象都扩大了数学的疆域。
- 严格化（Rigor）：从经验算法到演绎证明，从直观「无穷小」到 ε-δ 极限，从朴素集合到公理系统。每一次危机的化解都把标准抬高一层。
1. 断代纵览
数学并非匀速发展：它长期是「实用算术+测量」的技艺，在古希腊第一次被组织成演绎体系，在中世纪经印度与阿拉伯的符号化获得运算能力，在近代随科学革命长出「变量数学」，最后在 20 世纪走向抽象结构与公理化。
1.1 上古：计数、实用与公理化（约前 3000–公元 5 世纪）
最早的数学是生存与治理的工具：巴比伦人用六十进制记账、算面积、解二次方程；埃及人用分数与「假位法」分粮、测地；中国《九章算术》把分数、比例、线性方程组与勾股测量编成问题集。这些成果是算法——能算对，但未追问「为什么」。
转折发生在古希腊。毕达哥拉斯学派提出「万物皆数」，却在 √2 面前碰壁；欧几里得《几何原本》用少数公设推出整个几何，第一次把「证明」作为数学的核心方法；阿基米德用穷竭法逼近面积与体积，思想已触到微积分的门槛。数学自此从「技艺」升格为演绎科学。
1.2 中古：印度—阿拉伯的符号与算法（约 6–16 世纪）
印度数学家给出零与负数的运算规则，并把数字写成十进制位值制；这套「印度—阿拉伯数字」经花拉子米的《代数学》与算术著作传入伊斯兰世界，再由斐波那契《计算之书》引入欧洲，彻底改写了计算的效率。
花拉子米把「移项与化简」系统化为解方程的方法，代数第一次成为独立学科。到 16 世纪，卡尔达诺公布三次、四次方程的求根公式，并在过程中被迫引入虚数；韦达则开始用字母表示已知与未知量，代数从「解数字」变为「操作符号」。
1.3 近代：变量数学的诞生（17–19 世纪中叶）
17 世纪，解析几何（笛卡尔）把「形」翻译成「数」，对数的发明加速了计算，帕斯卡与费马在赌博问题中催生了概率论。而真正的革命是微积分：牛顿与莱布尼茨各自发现「求切线」与「求面积」互为逆运算，数学从此能够处理运动与变化——从静态的量走向动态的函数。
18 世纪是分析的时代，欧拉、拉格朗日、拉普拉斯把微积分发展成强大的计算工具。19 世纪，高斯让数论成为严密学科，柯西用极限严格化分析，阿贝尔与伽罗瓦用「群」解释方程可解性，罗巴切夫斯基与波尔约发明非欧几何——数学从「计算」转向「结构」，从「直观」转向「严格」。
1.4 现代：严格化、公理化与大问题（19 世纪中叶至今）
黎曼把几何推广为任意维、可弯曲的流形，为相对论准备了语言；康托尔创立集合论，把「实无穷」纳入数学，却引发罗素悖论与第三次数学危机。希尔伯特以《几何基础》和 23 个问题推动公理化纲领，但哥德尔不完备定理证明：任何足够强的一致形式系统都无法在内部证明自身的一致性。
20 世纪数学在抽象与分化中爆炸式增长：概率论被柯尔莫哥洛夫公理化，博弈论（冯·诺依曼）、拓扑、泛函分析、范畴论相继成型；同时，四色定理由计算机穷举证明，费马大定理（怀尔斯，1994）与庞加莱猜想（佩雷尔曼，2003）等千年难题被攻克，孪生素数（张益唐，2013）取得突破。数学在「越来越抽象」与「越来越有用」之间持续扩张。
2. 分支流变
数学的主干并非彼此孤立，而是从「数」与「形」两条根上不断分叉、又反复交汇。下图给出主要分支的源流关系。
2.1 七大主干的谱系
2.2 逐支简述
算术与数系
从自然数、分数到负数、无理数、虚数，数系的每一次扩张都是为了解决既有数系「不够用」的困境：减法逼出负数，除法逼出分数，开方逼出无理数与复数。19 世纪，皮亚诺公理与戴德金分割把实数建立在严格基础上。
几何
从欧几里得公理化，经阿拉伯与文艺复兴的复兴，到解析几何（坐标化）、射影几何、非欧几何与黎曼几何。20 世纪几何与拓扑、代数深度交融，成为描述空间的统一语言。
代数
从解方程（花拉子米）、符号化（韦达），到群论（伽罗瓦）与抽象代数（群、环、域、模）。伽罗瓦用「对称性」解决方程可解性，标志代数从「计算」转向「结构」；20 世纪的范畴论进一步用「箭头与函子」统一整个数学。
分析（微积分及其后代）
微积分（牛顿、莱布尼茨）研究变化与累积；经柯西、魏尔斯特拉斯严格化为极限理论，再发展为实分析、复分析、微分方程、泛函分析与测度论。它是物理与工程的通用语言。
概率与统计
起源于 17 世纪的赌博问题，19 世纪由拉普拉斯、高斯系统化（正态分布、最小二乘），20 世纪经柯尔莫哥洛夫用测度论公理化，成为随机过程、统计推断与机器学习的基石。
数论
研究整数的性质：素数、同余、二次互反律（高斯）、解析数论（黎曼 ζ 函数）与代数数论。它是最「纯粹」的分支，却意外成为密码学（RSA）的核心工具。
数理逻辑与基础
从弗雷格的谓词逻辑、罗素的《数学原理》，到希尔伯特的形式主义与哥德尔的不完备定理，再到图灵的可计算性与集合论公理（ZFC）。它追问「数学本身是否可靠、能走多远」，也直接孕育了计算机科学。
3. 关键人物谱系
数学的进步常以「思想传承」与「问题接力」的形式发生。下图按时代梳理关键人物及其主要传承关系。
4. 数学与其它领域
| 领域 | 数学接口 | 代表 |
|---|---|---|
| 物理 | 微积分、微分方程、黎曼几何、群论、泛函分析 | 牛顿力学、麦克斯韦方程、广义相对论、量子力学的希尔伯特空间 |
| 计算 | 数理逻辑、可计算性、离散数学、数值分析 | 图灵机、算法复杂度、密码学、机器学习 |
| 金融 | 概率论、随机过程、最优化、控制论 | 期权定价（布朗运动）、组合优化、凯利公式、随机分析 |
| 经济 | 博弈论、均衡理论、统计学 | 纳什均衡、一般均衡、计量经济 |
| 哲学 | 数理逻辑、集合论、证明论 | 弗雷格与罗素的逻辑主义、希尔伯特的形式主义、哥德尔限度 |
5. 关键事件总表
下表汇总本文梳理的关键事件，与知识库首页的时间轴条目一一对应。点击「链接」可查看外部资料。
| 时间 | 事件 | 人物 / 地点 | 链接 |
|---|---|---|---|
| 约前 1800 | 普林顿 322 泥板：勾股数、六十进制 | 古巴比伦书吏 · 巴比伦 | 维基 |
| 约前 1650 | 《莱因德数学纸草书》：分数与线性方程 | 阿姆斯 · 古埃及 | 维基 |
| 约前 550 | 毕达哥拉斯学派：万物皆数、无理数危机 | 毕达哥拉斯 · 克罗托内 | 维基 |
| 约前 300 | 《几何原本》：公理化演绎体系 | 欧几里得 · 亚历山大 | 维基 |
| 约前 250 | 穷竭法：逼近圆周率与面积体积 | 阿基米德 · 叙拉古 | 维基 |
| 约前 240 | 埃氏筛法与测量地球周长 | 埃拉托斯特尼 · 亚历山大 | 维基 |
| 约前 200 | 《圆锥曲线论》 | 阿波罗尼奥斯 · 亚历山大 | 维基 |
| 约前 100 | 《九章算术》：方程术、勾股、开方 | — · 中国 | 维基 |
| 约 250 | 《算术》：不定方程传统 | 丢番图 · 亚历山大 | 维基 |
| 约 480 | 圆周率密率 355/113、祖暅原理 | 祖冲之 · 建康 | 维基 |
| 约 628 | 零与负数运算、十进制位值制 | 婆罗摩笈多 · 印度 | 维基 |
| 约 830 | 《代数学》：代数独立成科 | 花拉子米 · 巴格达 | 维基 |
| 1202 | 《计算之书》：阿拉伯数字传入欧洲 | 斐波那契 · 比萨 | 维基 |
| 1545 | 《大衍术》：三次/四次求根、虚数 | 卡尔达诺 · 米兰 | 维基 |
| 1591 | 符号代数：用字母表示数 | 韦达 · 巴黎 | 维基 |
| 1614 | 发明对数 | 纳皮尔 · 爱丁堡 | 维基 |
| 1637 | 解析几何：坐标统一形与数 | 笛卡尔 · 莱顿 | 维基 |
| 1654 | 帕斯卡—费马通信：概率论诞生 | 帕斯卡、费马 · 巴黎 | 维基 |
| 1665–1666 | 创立流数术（微积分） | 牛顿 · 剑桥 | 维基 |
| 1684 | 发表微分学、确立微积分符号 | 莱布尼茨 · 莱比锡 | 维基 |
| 1735 | 解决巴塞尔问题、欧拉公式 | 欧拉 · 圣彼得堡 | 维基 |
| 1799–1801 | 代数基本定理、《算术研究》 | 高斯 · 德国 | 维基 |
| 1821–1823 | ε-δ 极限、分析严格化 | 柯西 · 巴黎 | 维基 |
| 1824–1832 | 五次方程无根式解、群论 | 阿贝尔、伽罗瓦 · 挪威/法国 | 维基 |
| 1829 | 非欧几何的创立 | 罗巴切夫斯基、波尔约 · 喀山 | 维基 |
| 1854 | 黎曼几何与几何基础演讲 | 黎曼 · 哥廷根 | 维基 |
| 1874 | 集合论与无穷基数 | 康托尔 · 哈勒 | 维基 |
| 1879 | 《概念文字》：现代数理逻辑 | 弗雷格 · 耶拿 | 维基 |
| 1899 | 《几何基础》：公理化方法 | 希尔伯特 · 哥廷根 | 维基 |
| 1900 | 希尔伯特 23 问 | 希尔伯特 · 巴黎 | 维基 |
| 1931 | 哥德尔不完备定理 | 哥德尔 · 维也纳 | 维基 |
| 1933 | 概率论公理化 | 柯尔莫哥洛夫 · 莫斯科 | 维基 |
| 1936 | 菲尔兹奖首次颁发 | — · 奥斯陆 | 维基 |
| 1944 | 《博弈论与经济行为》 | 冯·诺依曼、摩根斯特恩 · 普林斯顿 | 维基 |
| 1976 | 四色定理的计算机证明 | 阿佩尔、哈肯 · 伊利诺伊 | 维基 |
| 1994 | 证明费马大定理 | 怀尔斯 · 普林斯顿 | 维基 |
| 2003 | 阿贝尔奖首次颁发 | — · 奥斯陆 | 维基 |
| 2003 | 证明庞加莱猜想 | 佩雷尔曼 · 圣彼得堡 | 维基 |
| 2013 | 孪生素数猜想的突破 | 张益唐 · 新罕布什尔 | 维基 |
6. 参考资料
- Carl B. Boyer, A History of Mathematics（《数学史》），最通行的数学史教材。
- Morris Kline, Mathematical Thought from Ancient to Modern Times（《古今数学思想》）。
- E. T. Bell, Men of Mathematics（《数学大师》），人物导向的经典。
- 维基百科：数学史、各数学家与定理词条（本文外链主要来源）。
- MacTutor History of Mathematics Archive（圣安德鲁斯大学），数学家传记权威数据库。