世界数学发展史
A History of World Mathematics从巴比伦泥板上的六十进制到 21 世纪的人工智能,世界数学走过了五千余年的历程:它诞生于东方文明的实用算术,成熟于古希腊的演绎证明,经阿拉伯之手薪火相传,在近代欧洲爆发为微积分革命,最终走向抽象化与计算化的现代图景。以下按五个时期梳理这部人类智慧的史诗。
古代东方数学
公元前 3000 年 — 公元前 300 年世界数学最早的文字记录来自两河流域与尼罗河谷。巴比伦人创造了六十进制记数法与位置制,其泥板上的乘法表、倒数表甚至二次方程解法令人惊叹,普林顿 322 号泥板保存着最早的三元毕达哥拉斯数组。古埃及人则发展了十进制计数与分数运算,《莱因德纸草书》记载了面积、体积与一次方程的求解技巧。古印度最早出现十进制位置记数思想的萌芽。这些东方文明以实用算术见长,为后世提供了大量经验材料,也孕育了代数的雏形。
巴比伦六十进制
两河流域以 60 为基数计数,位置制记数沿用至今——我们今天的角度与时间单位(60 分、60 秒)即源于此。
普林顿 322 泥板
约公元前 1800 年的泥板刻有 15 组三元数组,如 ,是勾股数最早的成体系记录,早于毕达哥拉斯千余年。
巴比伦二次方程
泥板记载了求「长宽和与积已知」问题的标准程序,等价于求解 型二次方程。
《莱因德纸草书》
古埃及约公元前 1650 年的数学文献,含 84 道题目,覆盖分数运算、面积体积与一次方程,是埃及数学最重要的实物遗存。
埃及分数
埃及人以单位分数之和表示一切分数,如 ,形成独特的分数算法体系。
古希腊数学
公元前 600 年 — 公元 500 年古希腊数学完成了人类数学史上最深刻的转折:从「如何算」转向「为什么对」。泰勒斯开始对命题给出逻辑论证;毕达哥拉斯学派发现无理数并研究比例与数论;欧几里得《几何原本》以五条公设与公理演绎出 465 个命题,其公理化方法成为两千余年数学严密性的典范。阿基米德以穷竭法求得圆周率的精密近似并计算抛物弓形面积,几乎触摸到微积分的大门;阿波罗尼奥斯《圆锥曲线论》的成就直到千年后才被超越。晚期丢番图《算术》则开启了用符号研究不定方程的先河。
毕达哥拉斯定理
直角三角形两直角边平方和等于斜边平方:。学派还发现了音乐与整数比的联系。
《几何原本》
欧几里得约公元前 300 年成书,五公设演绎 465 个命题,是西方科学史上印行次数仅次于《圣经》的著作。
阿基米德穷竭法
以圆内接与外切正 96 边形逼近,得 ;用「穷竭法」求抛物弓形面积,蕴含定积分思想。
《圆锥曲线论》
阿波罗尼奥斯系统研究椭圆、抛物线与双曲线,提出「抛物线」等术语,其成就 1800 年后才被开普勒、笛卡尔超越。
丢番图《算术》
以缩写符号研究一次、二次与高次不定方程,「丢番图方程」由此得名,费马大定理的批注即写于此书页边。
中世纪与文艺复兴
公元 500 年 — 1600 年西罗马帝国衰落后,古希腊学术的薪火由阿拉伯世界接续。花拉子米《代数学》第一次把「代数」确立为一门独立学科——algebra 一词即源自书名中的 al-jabr;阿拉伯数学家保存、翻译并推进了希腊与印度数学,还把印度-阿拉伯数字传播到欧洲。与此同时,印度数学迎来黄金时代:阿耶波多与婆什迦罗研究三角学与不定方程,零作为数字的地位在印度最终确立。13 世纪斐波那契将阿拉伯数学引入意大利;文艺复兴时期,塔尔塔利亚、卡尔达诺、费拉里相继解决三次与四次方程,为近代代数学吹响号角。
花拉子米《代数学》
约 820 年成书,系统阐述一元二次方程的配方法,「代数 algebra」与「算法 algorithm」两个词都源于他的名字。
零与十进制体系
印度在 7 世纪前后确立包括零在内的十进制位置记数,经阿拉伯传到欧洲,成为今日全球通用的记数法。
三次方程公式解
塔尔塔利亚发现三次方程求根公式,卡尔达诺 1545 年《大术》公诸于世: 可解。费拉里进而解决四次方程。
斐波那契《算盘书》
1202 年成书,向欧洲系统介绍印度-阿拉伯数字与实用算术,并载有著名的斐波那契数列问题。
印度三角学
阿耶波多与婆什迦罗系统发展正弦表与三角恒等式,婆什迦罗还研究了一元二次方程的两根公式。
近代数学
公元 1600 年 — 1800 年17 世纪是数学革命的世纪。笛卡尔《几何学》把几何问题翻译为代数方程,创立解析几何,为所有后续进展提供了舞台;费马在数论、概率论与求极值方法上多线并进。牛顿与莱布尼茨几乎同时独立发明微积分,把运动、变化与无穷小纳入精确计算:莱布尼茨的记号 与 沿用至今。18 世纪欧拉、拉格朗日、拉普拉斯等把分析学推向极致——欧拉引入 、 与函数概念,发现 ;拉格朗日奠定分析力学;拉普拉斯把分析推广到概率与天体力学。数学从几何时代全面进入分析时代。
笛卡尔《几何学》
1637 年发表,以坐标把曲线变为方程,「我思故我在」的作者在此奠定了「几何代数化」的方向。
微积分的诞生
牛顿与莱布尼茨分别从运动学与几何角度创立微积分:求切线、求面积与运动问题被统一为微分与积分的互逆运算。
欧拉恒等式
欧拉发现 ,把数学中五个最重要的常数融为一体,被誉为「最优美的数学公式」。
变分法与最速降线
约翰·伯努利提出最速降线问题,欧拉与拉格朗日创立变分法,为近代物理的极值原理提供数学工具。
概率论的奠基
费马与帕斯卡的通信解决「点数分配问题」,开启概率论;拉普拉斯《分析概率论》将其发展为数学学科。
现代数学
公元 1800 年至今19 世纪以来,数学走向深度抽象与严格化。高斯在数论与曲面内蕴几何上开辟新域;罗巴切夫斯基与波尔约的非欧几何动摇了欧氏几何两千年的独尊地位;黎曼几何与黎曼猜想分别成为广义相对论的数学基础与数论皇冠上的明珠。康托尔创立集合论,为全部数学提供了统一容器;希尔伯特 1900 年提出的 23 个问题引领了整个 20 世纪的研究方向,而哥德尔不完备定理揭示了公理系统的内在界限。20 世纪中叶,布尔巴基学派倡导「结构主义」整理数学,电子计算机的问世又催生了数值分析、算法与机器证明;21 世纪,数学与 AI、量子计算等前沿深度融合,仍在不懈地开拓人类认知的边界。
非欧几何革命
罗巴切夫斯基与波尔约证明平行公设独立于其余公理,高斯早年亦有同样洞见,几何学进入多元时代。
黎曼几何与猜想
黎曼 1854 年演讲奠定 n 维流形理论;1859 年关于 零点分布的猜想至今悬而未决,成为千禧年难题之一。
康托尔集合论
以对角线法证明实数不可数,无穷可分层次:,为数学奠基同时也引发第三次数学危机。
希尔伯特 23 问题
1900 年巴黎数学家大会的纲领性演讲,23 个问题横跨全数学,被誉为 20 世纪数学的「地图」。
计算机与数学
图灵 1936 年定义可计算性;冯·诺依曼奠基计算机体系;吴文俊创立几何定理机器证明方法,数学进入计算时代。
当代前沿
怀尔斯 1994 年证明费马大定理 无正整数解;佩雷尔曼解决庞加莱猜想;2026 年王虹、邓煜获菲尔兹奖。