一、古希腊时期约公元前600年—公元500年—— 数学作为“演绎科学”的诞生核心贡献引入公理化方法和逻辑证明数学不再只是测量工具而是严密的推理体系。时间人物/学派关键贡献约公元前585年泰勒斯米利都学派西方第一个数学家引入演绎推理证明了几何定理如等腰三角形底角相等。约公元前530年毕达哥拉斯毕达哥拉斯学派“万物皆数”发现勾股定理西方称毕达哥拉斯定理但发现√2是无理数引发第一次数学危机。约公元前400年柏拉图学派强调数学是理性训练为后世数学教育定调。约公元前300年欧几里得《几何原本》划时代巨著13卷从5条公设出发推导出465个命题成为后世所有公理化体系的范本直到19世纪都是几何教科书。约公元前240年阿基米德用穷竭法微积分的雏形计算抛物线和球体体积精确计算圆周率被称为“古代最伟大的数学家”。约公元前200年阿波罗尼奥斯《圆锥曲线论》系统研究椭圆、抛物线、双曲线为1700年后开普勒和牛顿的万有引力奠基。约公元250年丢番图《算术》代数学之父引入符号表示未知数研究不定方程丢番图方程数论的先驱。重要节点第一次数学危机无理数的发现——毕达哥拉斯学派发现√2不能表示为整数比颠覆了“一切数都是有理数”的信条迫使数学从算术转向几何。二、中世纪 / 伊斯兰黄金时代约公元800—1450年—— 东西方数学的桥梁核心贡献保存并发展了希腊数学引入印度-阿拉伯数字和代数将数学从几何束缚中解放出来。时间人物/学派关键贡献约820年花拉子密《代数学》代数学的奠基人书名Al-Kitab al-Mukhtasar中“al-jabr”一词演变为“Algebra”代数系统讲解了一次、二次方程的解法。约850年巴塔尼改进三角学引入正切、余切函数用于天文学计算。约1020年海亚姆用几何方法解三次方程研究平行公设。约1202年斐波那契《计算之书》将印度-阿拉伯数字和十进制引入欧洲提出斐波那契数列极大地推动了欧洲商业数学。重要节点代数学的独立——数学从“几何化的希腊范式”转向“符号化的代数范式”为文艺复兴后的科学革命准备了工具。三、文艺复兴与科学革命约1450—1700年—— 微积分的前夜核心贡献符号化代数成熟解析几何诞生微积分呼之欲出。时间人物关键贡献1494年帕乔利《算术、几何、比与比例概要》系统总结了中世纪数学。1545年卡尔达诺《大术》公开三次方程和四次方程的求根公式虽然解法来自塔尔塔利亚和费拉里。1572年邦贝利系统引入虚数解决三次方程中出现的负数开方问题。1591年韦达引入字母表示已知数和未知数符号代数的奠基人代数从此具有普适性。1614年纳皮尔发明对数极大地简化了天文和航海中的繁复计算。1637年笛卡尔《几何学》创立解析几何用坐标将代数方程与几何曲线联系起来连接了代数和几何两大领域。1654年帕斯卡与费马通信奠定概率论基础创立帕斯卡三角组合数。1665—1666年牛顿“奇迹年”发明微积分流数法但当时未公开发表。1684年莱布尼茨独立发明微积分并创立了今天仍在使用的微分符号dx, dy和积分符号∫微积分优先权之争开始。1687年牛顿《自然哲学的数学原理》用微积分导出万有引力定律和运动三定律数学与物理的结合达到顶峰。重要节点微积分的发明1660—1680年代——这是数学史上最重大的突破之一使数学能处理“变化率”和“累积量”开启了现代科学的大门。四、18世纪——微积分大发展与数学物理约1700—1800年核心贡献微积分在应用中野蛮生长但也暴露出逻辑基础的漏洞。时间人物关键贡献1700—1740年伯努利家族雅各布、约翰、丹尼尔推动微积分应用发展变分法提出伯努利方程是欧拉的导师。1700—1783年欧拉史上最多产的数学家集大成者引入函数符号f(x)、自然对数底e、虚数单位i、π的符号创立数论、图论、复分析、变分法著作《无穷小分析引论》是18世纪数学的巅峰。1770年左右拉格朗日发展变分法和分析力学研究代数方程论提出拉格朗日插值公式。1799年拉普拉斯发展概率论和天体力学提出拉普拉斯变换19世纪完善。重要节点欧拉的全面奠基——他几乎为现代所有数学分支除了群论和拓扑打下了基础确立了“数学是科学的语言”这一信念。五、19世纪——数学的“严谨化”与“解放”约1800—1900年核心贡献微积分被严格化非欧几何诞生群论、线性代数、复分析等新分支全面开花。这是数学史上最具革命性的百年。时间人物关键贡献1799年高斯博士论文证明代数基本定理每个复系数多项式至少有一个复根被誉为“数学王子”横跨所有领域。1801年高斯《算术研究》创立现代数论奠定同余理论。1807年傅里叶提出傅里叶级数任何周期函数可展开为三角函数和为数学物理和信号处理奠基。1824年阿贝尔证明五次及以上一般方程没有根式解终结了数百年的探索。1829年伽罗瓦创立群论彻底解决方程可解性问题开创了抽象代数的先河论文当时未被重视死后才被认可。1832年罗巴切夫斯基 / 鲍耶独立发现非欧几何双曲几何推翻“欧几里得几何是唯一真理”的千年信念这是数学思想的一次大解放。1843年哈密顿发现四元数第一个非交换代数系统为向量分析和矩阵代数铺路。1854年黎曼创立黎曼几何非欧几何的推广为爱因斯坦广义相对论提供数学框架提出黎曼猜想至今未证。1860年代布尔《思维规律的研究》创立布尔代数逻辑代数化为计算机科学奠定基础。1873年埃尔米特证明e 是超越数不是任何代数方程的根。1882年林德曼证明π 是超越数终结了“化圆为方”的尺规作图问题。1870—1890年戴德金、康托尔、魏尔斯特拉斯构建实数严格理论戴德金分割、柯西序列微积分有了坚实的逻辑基础康托尔创立集合论标志着现代数学的起点。1899年希尔伯特《几何基础》用公理化方法重新整理欧几里得几何提出希尔伯特的23个问题指引20世纪数学方向。重要节点非欧几何的诞生1830年代——打破了“数学等同于物理现实”的枷锁数学从此可以是“任意公理系统下的逻辑推演”。群论的创立1830年代——开启了“从研究数到研究结构”的范式转换。集合论与实数的严格化1870年代——终结了微积分的“无穷小量”危机但也引发了第三次数学危机。六、20世纪至今——现代数学的爆炸式发展核心贡献抽象化、公理化、跨学科融合成为主流数学成为所有科学的共同语言。时间人物/事件关键贡献1900年希尔伯特23个问题为20世纪数学列出清单影响了整个世纪的数学研究方向。1908年策梅洛选择公理公理化集合论试图解决第三次数学危机罗素悖论。1913年外尔《空间的数学》引入群论进入物理学规范场论的前身。1915年爱因斯坦广义相对论利用黎曼几何描述引力数学与物理的深度交融。1930年左右诺特开创抽象代数特别是环、模和诺特定理物理学中的对称性与守恒定律。1931年哥德尔不完备性定理证明任何足够丰富的公理系统都无法同时满足一致性和完备性动摇了希尔伯特的形式主义纲领。1930年代图灵、丘奇创立可计算性理论奠定计算机科学理论基础。1940—1960年冯·诺依曼、维纳发展博弈论、控制论数学渗透到经济学、生物学。1948年香农《通信的数学理论》创立信息论用概率和熵描述信息传输。1960年代阿蒂亚、辛格阿蒂亚-辛格指标定理微分几何与拓扑深度结合是20世纪下半叶最深刻的定理之一。1970年代芒德布罗分形几何创立分形几何用迭代系统描述自然界中的不规则形态。1985年怀尔斯证明费马大定理1994年最终定稿这是数论历史上最著名的难题历经358年。2000年至今千禧年七大问题克莱数学研究所包括P vs NP问题、黎曼猜想等每个悬赏100万美元至今仅Poincaré猜想被佩雷尔曼证明2002年。重要节点哥德尔不完备性定理1931年——给“数学能证明一切真理”的梦想画上了句号但同时也揭示了数学的无限深度。计算机的诞生1940年代——数学与计算的结合催生了计算数学、密码学和人工智能。七、三条隐线贯穿整个西方数学史的“范式革命”维度从……到……关键转折几何 → 代数 → 结构欧几里得几何 → 解析几何 → 抽象代数/范畴论笛卡尔1637、伽罗瓦1832直观 → 严密 → 形式化牛顿的无穷小量 → 柯西/魏尔斯特拉斯的ε-δ语言 → 希尔伯特的公理化19世纪分析严谨化运动分科 → 统一 → 交叉算术、几何、代数三科分立 → 康托尔集合论统一一切 → 数学物理、生物数学、量子数学集合论1870年代、信息论1948八、最核心的“必知”人物如果只记10位人物关键词时代欧几里得公理化几何公元前300年笛卡尔解析几何坐标法17世纪牛顿 莱布尼茨微积分独立发明17世纪欧拉数学符号全面奠基18世纪高斯数论代数基本定理非欧几何18—19世纪伽罗瓦群论抽象代数19世纪黎曼黎曼几何黎曼猜想19世纪康托尔集合论无穷的等级19世纪希尔伯特公理化23个问题19—20世纪哥德尔不完备性定理20世纪