从远古非洲部落的一根刻痕骨头，到揭开宇宙奥秘的微积分方程，数学的历史，就是人类智慧不断攀登的史诗。今天，我们不聊枯燥的考题，只谈一场跨越万年的思想接力——带你认识那些站在人类智力巅峰的“数学英雄”。

文明的基石：数学的史前曙光

早在35000年前的非洲，我们的祖先就在兽骨上刻下第一道计数痕迹。这看似原始的一划，却是数学的“第一声啼哭”。随后，苏美尔人学会了测量土地，埃及人发明了完整的十进制，而古巴比伦的泥板上，已经出现了分数和方程。这些无名先贤的智慧，为后来的一切奠定了根基。

在中国，1200年前的商周时期，古人就有了先进的十进制位值概念。从伏羲八卦到“洛书”幻方，古老的东方智慧从一开始就与数字的和谐之美紧密相连。

理性的丰碑：古希腊的演绎之光

如果说早期数学是经验的积累，那么古希腊人则将它升华为一门严谨的科学。

泰勒斯与毕达哥拉斯：他们开启了对几何原理的追索。“毕达哥拉斯定理”（即勾股定理）的证明，让数与形第一次有了如此牢固的联系。欧几里得：他的《几何原本》是科学史上最伟大的教科书之一。从几条简单公理出发，推导出整个几何大厦，这种演绎思想影响了后世几乎所有科学领域。阿基米德：这位“力学之父”不仅发现了浮力定律，更用“穷竭法”无限逼近圆周率，思想已触及微积分的边缘。东西方的接力：智慧在欧亚大陆传播

随着罗马帝国的衰落，欧洲进入“黑暗的中世纪”，数学的火种却在东方熊熊燃烧。

印度数学家的贡献：他们不仅发明了包括0在内的现代十进制计数法，还走出了从“无”到“无穷”的关键一步。阿耶波多精确计算圆周率，婆罗摩笈多则开始处理零和负数运算。阿拉伯世界的黄金时代：花拉子密将印度数字传入欧洲，并创立了系统的代数学，“算法”和“代数”这两个词就源于他的名字。欧玛尔·海亚姆不仅是伟大诗人，更对三次方程进行了深刻分类。古代中国数学的巅峰：从《九章算术》中的矩阵解法，到祖冲之对圆周率的精算，再到杨辉三角（比帕斯卡早数百年），中国数学家一直在解决实际问题的道路上独树一帜。思想大解放：文艺复兴与近代数学的爆发

当东方智慧回流欧洲，加上文艺复兴的思想解放，数学迎来了前所未有的大爆发。

解方程大赛：16世纪的意大利，塔尔塔利亚与卡尔达诺围绕三次、四次方程展开激烈竞争，复数也随之登上历史舞台。计算革命：纳皮尔发明了对数，将繁杂的计算化繁为简；笛卡尔创立解析几何，用坐标系让代数与几何完美联姻，那句“我思故我在”之外，他也为世界描绘出曲线的方程。微积分的世纪：17世纪末，牛顿和莱布尼茨各自独立发明微积分。这是数学史上最重大的飞跃，它让人类能够描述变化、计算瞬时，成为现代物理和工程学的基石。一场关于优先权的争论，也成了科学史上著名的公案。攀登抽象之巅：从18世纪至今

微积分之后，数学开始向更高、更抽象的层次迈进。

欧拉：这位史上最高产的数学家，几乎以一己之力统一了数学符号（如用π表示圆周率，用e表示自然对数的底），并将数学应用于力学、光学、天文学。他的公式 eiπ+1=0eiπ+1=0 被誉为“上帝创造的公式”。高斯：“数学王子”在数论、代数、几何、天文等多个领域都是王者。他开创了现代数论，研究了非欧几何，其成就贯穿整个19世纪。群论与非欧几何：阿贝尔证明了五次方程不可解，伽罗瓦创立群论，彻底改变了代数学的面貌。而罗巴切夫斯基等人发现的非欧几何，则颠覆了我们对空间的认识，为爱因斯坦的广义相对论铺平了道路。结语：英雄不问出处，智慧永无止境

从3万年前的计数刻痕，到如今的人工智能算法，这份不完全的“英雄谱”告诉我们：数学从来不是枯燥的公式，而是一场横跨数万年、连接无数伟大头脑的探索之旅。每一个定理背后，都有一段关于好奇心、坚持与突破的故事。

下次当你看到 a2+b2=c2a2+b2=c2 或翻开微积分课本时，不妨想一想，你正在触摸的是人类智慧长河中最璀璨的一颗颗明珠。这，就是数学的魅力。

重要数学家名单 – 时间线

这是历史上一些最重要的数学家及其主要成就的时间顺序列表，同时也列出了一些早期的数学成就，但这些成就的个人贡献无法被肯定。

数学 Timeline日期 名称 国籍 主要成就

公元前35000年非洲第一刻痕骨

公元前3100年苏美尔语最早有文献记载的计数和测量系统

公元前2700年埃及人最早完全开发的十进制数字系统

公元前2600年苏美尔语乘法表、几何练习和除法问题

公元前2000-1800年埃及人最早展示数字系统和基本算术的纸草文献

公元前1800-1600年巴比伦处理分数、代数和方程的泥板

公元前1650年埃及人Rhind纸草书（算术、几何、单位分数等说明书）

公元前1200年中文第一个带有位值概念的十进制数字系统

公元前1200-900年印度早期吠陀咒语祈求力量从一百到一万亿不等

公元前800-400年印度《Sulba Sutra》列出了几个毕达哥拉斯三元组和简化毕氏定理，分别是方形和矩形边的精确近似，相当准确地近似了√2

公元前650年中文罗舒三阶（3 x 3）“魔方阵”，其中每行、每列和对角线的总和为15

公元前624-546年泰雷兹希腊语几何学的早期发展，包括对相似三角形和直角三角形的研究

公元前570-495年毕达哥拉斯希腊语几何的扩展、从第一原理出发的严谨方法构建、平方数和三角数、毕达哥拉斯定理

公元前500年希帕苏斯希腊语在尝试计算√²值时发现了无理数的潜在存在

公元前490-430年埃利亚的泽诺希腊语描述了一系列关于无穷大和无穷小的悖论

公元前470-410年希俄斯的希波克拉底希腊语第一部系统性编纂几何知识的作品，希波克拉底的《月》。

公元前460-370年德谟克利特希腊语几何学与分数、锥体体积的发展

公元前428-348年柏拉图希腊语柏拉图立体，三大经典问题的陈述，数学的有影响力的教师和普及者，坚持严谨的证明和逻辑方法

公元前410-355年克尼多斯的尤多克苏斯希腊语通过连续近似严格证明面积和体积命题的方法

公元前384-322年亚里士多德希腊语逻辑的发展与标准化（尽管当时不被视为数学的一部分）以及演绎推理

公元前300年欧几里得希腊语经典（欧几里得）几何的权威陈述，公理和公设的运用，包括许多公式、证明和定理，包括素数无限定理

公元前287-212年阿基米德希腊语正则形状面积的公式，近似面积和值的“穷尽法”，π，无穷大比较

公元前276-195年埃拉托斯特尼希腊语“埃拉托斯特尼筛法”识别素数的方法

公元前262-190年佩尔加的阿波罗尼乌斯希腊语研究几何，特别是锥形和圆锥曲线（椭圆、抛物线、双曲线）

公元前200年中文《数学艺术九章》，包括如何用复杂的矩阵方法求解方程的指南

公元前190-120年希帕恰斯希腊语制定首个详细的三角函数表

公元前36年玛雅语前古典时期的玛雅人至少在这个时期就已经发展出零的概念

公元10-70年亚历山大港的赫伦（或称希罗）希腊语Heron公式：从边长求三角形面积，Heron方法：迭代计算平方根

公元90-168年托勒密希腊/埃及语开发更详细的三角函数表

公元200年孙子中国中国剩余定理的第一个明确表述

公元200年印度精炼完善的十进制位数系统

公元200-284年丢番图希腊语丢番图复杂代数问题分析，旨在寻找有数未知数的方程的有理解

公元220-280年刘慧中国使用矩阵（类似于高斯消元）求解线性方程，留下未求值的根，计算出的值为π精确到小数点五位，早期积分和微分法的形式

公元400年印度《太阳悉檀多》包含现代三角学的根源，包括首次真正使用正弦、余弦、逆正弦、切线和正线

公元476-550年阿利亚巴塔印度三角函数的定义、完整且准确的正弦和维正弦表、联立二次方程的解、以及 的精确近似π（以及认识π是无理数）

公元598-668年梵高多印度处理零（+、–和x）、负数、二次方程的负根、含两个未知数的二次方程解的基本数学规则

公元600-680年巴斯卡拉一世印度首先用印阿十进制系统写数字，并用圆圈表示零，这对正弦函数极为准确地近似

公元780-850年穆罕默德·花拉子密波斯语在伊斯兰世界中倡导印度数字1-9和0，现代代数的基础，包括“约简”和“平衡”的代数方法，二阶多项式方程的解法

公元908-946年易卜拉欣·伊本·西南阿拉伯语阿基米德继续对面积和体积的研究，切线绕向一个圆

公元953-1029年穆罕默德·卡拉吉波斯语首次通过数学归纳法证明，包括证明二项定理

公元966-1059年伊本·海瑟姆（阿尔哈岑）波斯语/阿拉伯语他用一种易于推广的方法“阿尔哈岑问题”推导出四次方和公式，确立了代数与几何之间联系的初步联系

1048-1131奥马尔·海亚姆波斯语印度广义方法用于提取平方根和立方根，包括第四根、第五根及更高根，并指出存在不同类型的三次方程

1114-1185巴斯卡拉二世印度确立除以零得无穷的事实，找到二次方程、三次方程和四次方程（包括负解和无理解）以及二阶丢番图方程的解，引入了一些微积分的初步概念

1170-1250比萨的列奥纳多（斐波那契）意大利语斐波那契数列、欧洲使用印度-阿拉伯数字系统的倡导、斐波那契恒等式（两个平方和的乘积本身就是两个平方的和）

1201-1274纳西尔丁·图西波斯语发展的球面三角学领域，制定了平面三角形的正弦定律

1202-1261秦九相中国使用重复近似方法解二次方程、三次方程及更高幂方程

1238-1298杨辉中国中国“魔方”、圆和三角形的顶点，杨辉三角（帕斯卡二项式系数三角的早期版本）

1267-1319卡迈勒丁·法里西波斯语圆锥曲线的应用理论用于解决光学问题，探讨了友好数、分解和组合方法

1350-1425玛达瓦印度使用无限级数分数给出精确公式π，正弦公式及其他三角函数，是微积分发展的重要一步

1323-1382妮可·奥雷斯姆法语矩形坐标系统，如时间-速度-距离图，首次使用分数指数，也适用于无限级数

1446-1517卢卡·帕西奥利意大利语这本具有影响力的算术、几何和簿记书籍还引入了正负符号的标准符号

1499-1557尼科洛·丰塔纳·塔尔塔利亚意大利语用于求解各种三次方程的公式，首次涉及复数（实数和虚数的组合）、塔尔塔利亚三角形（帕斯卡三角的早期版本）

1501-1576杰罗拉莫·卡尔达诺意大利语三次方程和四次方程的已发表解（由Tartaglia和Ferrari提出），公认存在虚数（基于√-1）

1522-1565洛多维科·法拉利意大利语设计的四次方程解公式

1550-1617约翰·纳皮尔英国自然对数的发明普及了小数点的使用，即纳皮尔骨骼工具用于格乘法

1588-1648玛琳·梅尔森法语17世纪数学思想的集散地，梅森素数（小于2的幂次方的质数）

1591-1661吉拉尔·德萨格法语射影几何和“指向无穷远”的早期发展，透视定理

1596-1650勒内·笛卡尔法语笛卡尔坐标和解析几何的发展（几何与代数的综合），也被认为是首次使用幂或指数表示上标的

1598-1647博纳文图拉·卡瓦列里意大利语“不可分割法”为后来无穷小微积分的发展铺平了道路

1601-1665皮埃尔·德·费马法语发现了许多新的数模式和定理（包括小定理、二平方定理和大定理），极大地扩展了数论知识，也对概率论有所贡献

1616-1703约翰·沃利斯英国他为微积分的发展做出了贡献，提出了数线的概念，引入了无穷大符号∞，并开发了幂的标准符号

1623-1662布雷兹·帕斯卡尔法语概率论的先驱（与费马合作），即帕斯卡二项式系数三角

1643-1727艾萨克·牛顿英国无穷小微积分（微分和积分）的发展，为几乎所有经典力学奠定了基础，广义二项式定理，无穷幂级数

1646-1716戈特弗里德·莱布尼茨德语独立开发了无穷小微积分（他的微积分符号至今仍在使用），同时也是实用的二进制计算机（计算机的前身），用矩阵求解线性方程

1654-1705雅各布·伯努利瑞士帮助巩固无穷小微积分，开发了求解可分微分方程的技术，将置换与组合理论引入概率论、伯努利数列、超越曲线

1667-1748约翰·伯努利瑞士进一步发展了无穷小微积分，包括“变分法”、最快下降曲线（缓时线）和接触线曲线的函数

1667-1754亚伯拉罕·德·莫瓦尔法语德·莫瓦尔公式、解析几何的发展、正态分布曲线公式的首次表述、概率论

1690-1764克里斯蒂安·戈德巴赫德语哥德巴赫猜想，关于完美幂的哥德巴赫-欧拉定理

1707-1783莱昂哈德·欧拉瑞士在几乎所有领域都有重要贡献，发现了不同领域间的意外联系，证明了众多定理，开创了新方法，标准化了数学符号，并撰写了许多有影响力的教材

1728-1777约翰·兰伯特瑞士严格的证明π是无理数的，将双曲函数引入三角学，提出了非欧几里得空间和双曲三角形的猜想

1736-1813约瑟夫·路易·拉格朗日意大利语/法语经典力学与天体力学、变分法、有限群拉格朗日定理、四平方定理、均值定理的全面探讨

1746-1818加斯帕尔·蒙日法语描述几何和正交投影的发明者

1749-1827皮埃尔-西蒙·拉普拉斯法语天体力学将经典力学的几何研究转化为基于微积分、贝叶斯概率解释、科学决定论的信念

1752-1833阿德里安-玛丽·勒让德法语抽象代数、数学分析、曲线拟合和线性回归的最小二乘法、二次互易律、素数定理、椭圆函数

1768-1830约瑟夫·傅里叶法语研究周期函数和无穷和，其中项为三角函数（傅里叶级数）

1777-1825卡尔·弗里德里希·高斯德语素数出现的模式、七边形构造、代数基本定理、复数展开、最小二乘近似法、高斯分布、高斯函数、高斯误差曲线、非欧几里得几何、高斯曲率

1789-1857奥古斯丁-路易·柯西法语数学分析的早期先驱，严谨地重新表述并证明了微积分定理——柯西定理（群论的基本定理）

1790-1868奥古斯特·费迪南德·莫比乌斯德语莫比乌斯带（只有一边的二维曲面）、莫比乌斯构型、莫比乌斯变换、莫比乌斯变换（数论）、莫比乌斯函数、莫比乌斯反演公式

1791-1858乔治·皮考克英国符号代数的发明者（早期尝试将代数置于严格逻辑基础上）

1791-1871查尔斯·巴贝奇英国设计了一种“差分引擎”，能够根据存储在卡片或磁带上的指令自动执行计算，是可编程计算机的前身。

1792-1856尼古拉·洛巴切夫斯基俄语独立于博尔雅伊发展的双曲几何和曲率空间理论

1802-1829尼尔斯·亨里克·阿贝尔挪威语证明求解五次方程、群论、阿贝尔群、阿贝尔范畴、阿贝尔簇的不可行性

1802-1860雅诺什·博利亚伊匈牙利语独立于洛巴切夫斯基探索双曲几何和曲面空间

1804-1851卡尔·雅各比德语分析、周期函数和椭圆函数理论、行列式和矩阵的重要贡献

1805-1865威廉·汉密尔顿爱尔兰四元数理论（非交换代数的第一个例子）

1811-1832埃瓦里斯特·伽罗瓦法语证明没有通用代数方法来求解次数大于四的多项式方程，为抽象代数、伽罗瓦理论、群论、环论等奠定了基础

1815-1864乔治·布尔英国现代数理逻辑的起点是布尔代数（使用算符AND、OR和NOT），推动了计算机科学的发展

1815-1897卡尔·魏尔施特拉斯德语发现了无导数的连续函数，变分法的进步，对微积分进行了更严谨的重述，成为数学分析发展的先驱

1821-1895亚瑟·凯利英国现代群论、矩阵代数、高阶奇点理论、不变量理论、高维几何的先驱，将汉密顿四元数扩展为八元数

1826-1866伯恩哈德·里曼德语非欧几里得椭圆几何、黎曼曲面、黎曼几何（多维中的微分几何）、复流形理论、ζ函数、黎曼假设

1831-1916理查德·德德金德语定义了集合论中的一些重要概念，如相似集合和无限集合，提出了Dedekind割（现为实数的标准定义）

1834-1923约翰·文恩英国将维恩图引入集合论（现已成为概率、逻辑和统计学中的无处不在的工具）

1842-1899马留斯·索福斯·李挪威语应用代数在微分方程几何理论中的连续对称性、变换李群

1845-1918乔治·康托尔德语集合论的创始人，对无限和超限数概念的严谨处理，康托尔定理（暗示存在“无限的无限”）

1848-1925戈特洛布·弗雷格德语现代逻辑的奠基人之一，首次严谨地研究了逻辑中的函数和变量的思想，是数学基础研究的重要贡献者

1849-1925费利克斯·克莱因德语Klein 瓶（四维空间中的单侧闭合曲面）、Erlangen 计划通过其底层对称群分类几何，以及群论和函数论的研究

1854-1912亨利·庞加莱法语“三体问题”的部分解法、现代混沌理论基础、数学拓扑扩展理论、庞加莱猜想

1858-1932朱塞佩·皮亚诺意大利语皮亚诺自然数公理、数学逻辑和集合论符号的开发者，为现代数学归纳法做出了贡献

1861-1947阿尔弗雷德·诺斯·怀特黑德英国合著了《数学原理》（尝试将数学建立在逻辑基础上）

1862-1943大卫·希尔伯特德语23 “希尔伯特问题”，有限性定理，“决策问题”（Entscheidungsproblem），希尔伯特空间，发展出现代公理化数学方法，即形式主义

1864-1909赫尔曼·明可夫斯基德语数几何（多维空间中的几何方法用于解决数论问题），闵可夫斯基时空

1872-1970伯特兰·罗素英国罗素悖论合著了《数学原理》（试图将数学建立在逻辑基础上的论述），即类型理论

1877-1947G.H. 哈代英国黎曼猜想的解决进展（证明临界线上有无限多个零），促进了英国纯数学的新传统——出租车数

1878-1929皮埃尔·法图法语复杂解析动力学领域的先驱，研究迭代和递归过程

1881-1966L.E.J. 布劳尔荷兰语证明了多个标志拓扑学突破性的定理（包括不动点定理和维数拓扑不变性）

1887-1920斯里尼瓦萨·拉马努金印度证明了3000多个定理、恒等式和方程，包括高度复合数、配分函数及其渐近函数和模拟θ函数

1893-1978加斯顿·朱莉娅法语发展了复动力学，朱莉娅集公式

1903-1957约翰·冯·诺依曼匈牙利/美国人博弈论先驱，现代计算机架构设计模型，量子与核物理领域的工作

1906-1978库尔特·哥德尔奥地利不完备定理（数学问题的解可以存在真实但永远无法证明的）、哥德尔编码、逻辑和集合论

1906-1998安德烈·韦尔法语定理使代数几何与数论之间建立了联系，魏尔猜想（局部ζ函数黎曼猜想的部分证明），是有影响力的布尔巴基群的创始成员

1912-1954艾伦·图灵英国破解德国恩尼格码，图灵机（计算机的逻辑前身），人工智能的图灵测试

1913-1996保罗·埃尔德什匈牙利语设置并解决了组合学、图论、数论、经典分析、近似理论、集合论和概率论中的许多问题

1917-2008爱德华·洛伦茨美国现代混沌理论的先驱，洛伦兹吸引子、分形、洛伦兹振子，创造了“蝴蝶效应”一词

1919-1985朱莉娅·罗宾逊美国关于决策问题和希尔伯特第十问题——罗宾逊假设的研究

1924-2010贝努瓦·曼德布罗法语曼德博集合分形，曼德博和朱莉娅集合的计算机绘图

1928-2014亚历山大·格罗滕迪克法语数学结构主义者，代数几何领域的革命性进展，概形理论，对代数拓扑、数论、范畴论等领域的贡献

1928-2015约翰·纳什美国在博弈论、微分几何和偏微分方程方面的工作，为经济学、计算机和军事等日常生活中的复杂系统提供了洞见

1934-2007保罗·科恩美国证明连续统假设既可以为真又不成立（即独立于策梅洛-弗兰克尔集合论）

1937-约翰·霍顿·康威英国对博弈论、群论、数论、几何学以及（尤其是）娱乐数学的重要贡献，尤其是发明了名为“生命博弈”的胞胞自动机。

1947-尤里·马季亚谢维奇俄语希尔伯特第十问题不可能的最终证明（目前没有通用方法判定丢番图方程是否具有解）

1953-安德鲁·怀尔斯英国最终证明了所有数的费马大定理（通过证明半稳定椭圆曲线的谷山-志村猜想）

1966-格里高利·佩雷尔曼俄语最终证明了庞加莱猜想（通过证明瑟斯顿几何化猜想）、黎曼几何和几何拓扑的贡献