数学史话 · 大事年表

数学大事年表

Milestones in the History of Mathematics

从公元前 3000 年的两河泥板到 2026 年的菲尔兹奖，按六个时代记录数学史上的关键事件：重要著作的诞生、伟大定理的证明与学科的开创时刻。

共 51 件大事6 个时代

时代分布

色带宽度 ∝ 事件数 · 点击色块、圆点或图例可跳转

远古与古代

11 件

约公元前 3000 年

埃及与巴比伦的记数

尼罗河与两河流域出现十进制、六十进制记数系统，几何知识用于土地丈量与建筑。

约公元前 1800 年

普林顿 322 泥板

巴比伦泥板记录 15 组勾股数，如 $(3,4,5)$ ，是勾股定理应用最早的实物证据。

约公元前 1650 年

《莱因德纸草书》

古埃及数学文献，含分数运算与一次方程解法，共 84 道题目。

约公元前 600 年

泰勒斯开始演绎推理

泰勒斯对几何命题给出最早的逻辑证明，被视为演绎数学的开端。

约公元前 530 年

毕达哥拉斯学派

发现勾股定理的一般形式与无理数，以「万物皆数」理念研究数与音乐。

约公元前 300 年

欧几里得《几何原本》

以五条公设演绎 465 个命题，确立公理化方法，成为两千余年数学严密性的典范。

约公元前 250 年

阿基米德求 π 近似

以穷竭法得 $\frac{223}{71}<\pi<\frac{22}{7}$ ，并计算抛物弓形面积。

约公元 100 年

《九章算术》成书

中国数学体系奠基之作，含分数运算、方程术与勾股术等 246 个问题。

约公元 250 年

丢番图《算术》

以符号研究不定方程，开启「丢番图方程」研究传统。

约公元 263 年

刘徽注《九章算术》

以割圆术求得 $\pi\approx3.14$ ，提出出入相补原理，中国数学走向理论化。

约公元 480 年

祖冲之的圆周率

得 $3.1415926<\pi<3.1415927$ 与密率 $\frac{355}{113}$ ，世界纪录保持近千年。

中世纪

7 件

约 628 年

婆罗摩笈多《婆罗摩修正体系》

系统使用零与负数，给出二次方程求根公式与不定方程解法。

约 820 年

花拉子米《代数学》

代数成为独立学科，「algebra」一词源于书名中的 al-jabr。

约 1120 年

奥马·海亚姆解三次方程

以圆锥曲线交点几何地求解三次方程，并研究二项展开。

1202 年

斐波那契《算盘书》

向欧洲引入印度-阿拉伯数字与斐波那契数列。

1247 年

秦九韶《数书九章》

大衍总数术完整解决一次同余组（中国剩余定理），比高斯早 554 年。

1303 年

朱世杰《四元玉鉴》

四元术解多元高次方程组，并研究高阶等差级数求和。

1545 年

卡尔达诺《大术》

三次与四次方程求根公式公诸于世，近代代数拉开序幕。

近代（17—18 世纪）

7 件

1614 年

纳皮尔发明对数

《奇妙的对数定理说明书》出版，把乘除化为加减，被誉为一生的「省时发明」。

1637 年

笛卡尔《几何学》

创立解析几何，以坐标把几何翻译为代数，「我思故我在」作者的数学遗产。

1654 年

帕斯卡与费马通信

解决「点数分配问题」，概率论由此诞生。

1684 年

莱布尼茨发表微积分

引入 $\int$ 与 $\frac{dy}{dx}$ 记号；1687 年牛顿《原理》出版，微积分正式问世。

1736 年

欧拉解决七桥问题

否定柯尼斯堡七桥走法，创立图论。

1748 年

欧拉《无穷分析引论》

引入函数概念与 $e^{i\theta}=\cos\theta+i\sin\theta$ ，分析学奠基之作。

1788 年

拉格朗日《分析力学》

以纯分析语言重构力学，成为理论物理与变分法的里程碑。

十九世纪

8 件

1801 年

高斯《算术研究》

现代数论的奠基之作，二次互反律的证明与同余理论系统建立。

1823 年

柯西严密化分析

以 $\varepsilon$ - $\delta$ 语言重构极限理论，微积分获得严格基础。

1829 年

罗巴切夫斯基非欧几何

平行公设独立性的发现，几何学进入多元时代。

1832 年

伽罗瓦群论遗稿

决斗前夜写下群论手稿，完整刻画方程根式可解条件。

1854 年

黎曼就职演讲

《论作为几何基础的假设》奠定 n 维流形与黎曼几何。

1859 年

黎曼猜想提出

关于 $\zeta(s)$ 零点分布的猜想，成为数论皇冠上的明珠。

1874 年

康托尔创立集合论

以对角线法证明实数不可数，无穷从此可以分层比较。

1899 年

希尔伯特《几何基础》

几何学彻底公理化，「点、线、面」只是满足公理的抽象对象。

二十世纪

10 件

1900 年

希尔伯特 23 问题

巴黎数学家大会的纲领性演讲，引领整个 20 世纪数学研究方向。

1904 年

庞加莱猜想提出

「单连通闭三维流形同胚于球面」，2003 年由佩雷尔曼证明。

1931 年

哥德尔不完备定理

任何包含算术的一致公理系统都存在不可判定的命题。

1936 年

图灵机与可计算性

图灵定义通用计算模型，为计算机科学与算法理论奠基。

1936 年

首届菲尔兹奖颁发

阿耳福斯与道格拉斯获奖，菲尔兹奖成为数学界最高荣誉。

1944 年

冯·诺依曼博弈论

《博弈论与经济行为》出版，博弈论成为独立学科。

1948 年

香农信息论

《通信的数学理论》以熵刻画信息，奠定信息时代。

1963 年

科恩力迫法

证明连续统假设独立于 ZFC 公理。

1976 年

四色定理机器证明

阿佩尔与哈肯借助计算机证明四色定理，开创机器证明时代。

1994 年

怀尔斯证明费马大定理

历经七年孤独研究，证明 $x^n+y^n=z^n$ （ $n>2$ ）无正整数解。

二十一世纪

8 件

2000 年

千禧年大奖难题

克雷研究所悬赏百万美元征解七大难题，黎曼猜想与 P=NP 在列。

2003 年

佩雷尔曼解决庞加莱猜想

以里奇流方法证明庞加莱猜想，拒绝菲尔兹奖与百万奖金。

2006 年

陶哲轩获菲尔兹奖

31 岁获奖，是迄今获奖时最年轻的得主之一。

2012 年

深度学习革命

神经网络在图像识别上取得突破，数学驱动的 AI 时代全面开启。

2018 年

舒尔茨获菲尔兹奖

彼得·舒尔茨因完美胚空间理论获奖，年仅 30 岁，是继陶哲轩后又一位 30 岁级别得主。

2020 年

菲尔兹奖在线颁发

新冠疫情下大会改为线上，数学家共同体以数字方式传承荣誉。

2022 年

维亚佐夫斯卡获菲尔兹奖

玛丽娜·维亚佐夫斯卡因 8 维球体堆砌问题获奖，成为史上第二位女得主。

2026 年

王虹、邓煜获菲尔兹奖

首批中国籍得主诞生，中国数学真正屹立于世界前沿。