∑

数学知识体系

Observatory Archive of Mathematics
⌕2026/8/31
数学博览 · 名著

数学名著

Classics of Mathematics

数学家靠论文交流,靠著作传世。从公元前 300 年的《几何原本》到 1941 年的《什么是数学?》,这 12 部著作各自开创或重塑了一个时代:有的定义了数学的书写方式,有的点燃了整个学科的转向。按时间顺序展开,即是一部浓缩的数学思想史。

共 12 部著作公元前 300 年 — 1941 年
01

《几何原本》

欧几里得
约公元前 300 年古希腊

共 13 卷,从 5 条公设、5 条公理出发,演绎出 465 个命题,覆盖平面几何、数论与立体几何。它以「公理化方法」示范了数学的应有形态:先立不证自明的公理,再以逻辑推出一切结论。

历史地位

印刷版数仅次于《圣经》的著作。两千多年来它是全球的几何教科书,爱因斯坦称其「令人惊叹的逻辑体系」。非欧几何的诞生正是从质疑其第五公设开始的。

02

《九章算术》

佚名(刘徽注)
约公元 1 世纪中国

中国现存最古老的数学经典,共 9 章 246 问,涵盖方田(面积)、粟米(比例)、商功(体积)、方程(线性方程组)等。刘徽、祖冲之父子先后作注,其中刘徽的割圆术与「出入相补」原理尤为深刻。

历史地位

确立了中国数学「以算法为中心」的传统,与《几何原本》的公理化传统并立为古代数学两大范式。其线性方程组解法(方程术)领先欧洲一千余年。

03

《算术》

丢番图
约公元 250 年古希腊

13 卷中的 6 卷流传至今,系统研究不定方程(丢番图方程)的整数解,并最早引入缩写符号表示未知数。书中「求两个数使其平方和为 16」一类问题催生了后世的数论研究。

历史地位

费马正是在此书的页边写下「费马大定理」的批注;「丢番图方程」「丢番图逼近」沿用其名。它是古典数论与符号代数的共同源头。

04

《代数学》

花拉子米
约公元 820 年阿拉伯

书名《还原与对消的科学》,系统阐述一次与二次方程的解法:移项即「还原」(al-jabr),合并同类项即「对消」。全书以文字叙述,附几何验证,并首次系统讨论方程的求根公式。

历史地位

「代数」一词即来自书名中的 al-jabr,演变为今天的 algebra。此书传入欧洲后,成为 12 世纪以后欧洲大学的代数教材,也把印度的十进位制数字带到了西方。

05

《自然哲学的数学原理》

牛顿
1687 年英国

以几何语言阐述牛顿三大运动定律与万有引力定律,证明开普勒行星运动三定律。书中孕育了流数术(微积分)的思想,却以古典几何形式呈现,以示严谨。

历史地位

近代科学的奠基之作:它证明「自然这部大书是用数学语言写成的」,从此数学成为物理学的母语。哈雷彗星回归预言等成果奠定了其不朽地位。

06

《无穷小分析引论》

欧拉
1748 年瑞士

两卷本巨著,第一次把函数作为数学的中心概念,系统引入 exe^x、ln⁡x\ln x、sin⁡x\sin x 等记号与无穷级数理论,并给出欧拉公式 eiθ=cos⁡θ+isin⁡θe^{i\theta}=\cos\theta+i\sin\theta 的雏形。

历史地位

现代分析学的第一本教科书,其记号与表述沿用至今。拉普拉斯告诫后人:「读读欧拉吧,他是我们所有人的老师。」

07

《算术研究》

高斯
1801 年德国

七章系统论述同余理论、二次互反律与二次型理论,首次给出二次互反律的完整证明(前后共给出 8 种证明)。书中还证明了正 17 边形可以尺规作图。

历史地位

现代数论的开山之作。它把数论从「业余爱好者的花园」变成一门严格的科学,二次互反律被高斯称为「算术的宝石」。

08

《论几何学基础之假设》

黎曼
1854 年德国

黎曼的求职演讲(Ueber die Hypothesen, welche der Geometrie zu Grunde liegen),提出「流形」与「黎曼度量」概念,把高斯曲面的内蕴几何推广到任意维数,并预言空间曲率与物理的联系。

历史地位

黎曼几何的诞生宣言。60 年后,爱因斯坦正是以黎曼几何为语言写出广义相对论——这场演讲因此被称为「史上最伟大的求职演讲」。

09

《数学问题》

希尔伯特
1900 年德国

希尔伯特在巴黎国际数学家大会上的演讲,提出 23 个问题(演讲文本含前 10 题)。他宣称「每个确定的数学问题都必有解答」,并给出「问题驱动数学发展」的著名论断。

历史地位

20 世纪数学的「路线图」。解决其中任意一个都足以载入史册:韦尔、科恩、马季亚谢维奇、怀尔斯等巨匠皆因攻克希尔伯特问题而成名。

10

《数学原理》

怀特海、罗素
1910—1913 年英国

三大卷、近两千页,试图把全部数学严格化约为逻辑:从逻辑公理出发推导出集合论、算术与分析。为此发明了类型论,并用 362 页才证明 1+1=21+1=2。

历史地位

逻辑主义纲领的巅峰与终结:它展示了「数学可化为逻辑」能推进到多远,其失败(无法完全回避无穷公理等)与哥德尔不完备定理一起,重塑了 20 世纪的数学哲学。

11

《数学原本》

布尔巴基(集体笔名)
1939 年起法国

一群法国青年数学家的集体创作,署名尼古拉·布尔巴基。以「结构」(代数结构、序结构、拓扑结构)为纲重新组织全部数学,追求最大限度的严格与一般性,至今出版数十卷。

历史地位

塑造了 20 世纪下半叶数学的书写风格:公理化、结构化、极度抽象。其「结构主义」思想深刻影响了全球数学教育与研究范式。

12

《什么是数学?》

柯朗、罗宾斯
1941 年美国

面向大众却不失深度的经典:从数论、几何、拓扑到微积分与极小曲面,用直观语言展示「数学思想」而非技巧。柯朗在序言中写道:「数学是人类智慧最古老的领域,也将是最年轻的事业。」

历史地位

史上最成功的数学普及读物之一,全球累计销量数百万册,1996 年增补版加入四色定理、黎曼猜想等新进展。无数数学家的职业选择始于这本书。