Pioneers（数学史先驱）
每道题背后，都站着一个改变了人类思维方式的人。 这里只留坐标，故事让 Aaron 和 Justin 自己去挖。 格式：人名 · 年代 · 一句话坐标 → 对应知识节点
🔗 连接总览
Era 0 · 文明之算（~3000BCE–300BCE）
数学从泥板和纸草开始。没有符号，没有公式，只有刻在陶土上的生存需要。
| 先驱 | 年代 | 坐标 | 对应节点 |
|---|---|---|---|
| 巴比伦人 Babylonians | ~2000BCE | 60进制泥板算术——乘法表、平方表刻在泥板上，是人类最早的数学文献 | 乘法基础 · 除法基础 |
| 古埃及人 Egyptians | ~1650BCE | 莱茵德纸草（Rhind Papyrus）——84道算术题，单位分数，测量土地用的几何 | 分数初步 · 周长 · 面积 |
| 毕达哥拉斯 Pythagoras | ~500BCE | ”数即万物”——第一个证明勾股定理的文明，虽然中国早已知道这个事实 | 勾股定理 |
| 欧多克索斯 Eudoxus | ~370BCE | 比例理论——用比例处理无理数，穷竭法（极限思想的祖先） | 比与比例 |
| 欧几里得 Euclid | ~300BCE | 《原本》13卷——公理化数学的第一次完整实践，2300年仍是几何教科书 | 三角形 · 平行垂直 · 质因数分解 · 公约数与公倍数 |
Era 1 · 东西方的计算大师（~250BCE–1200CE）
罗马帝国崩溃，数学在东方继续生长。阿拉伯半岛成了数学的中转站。
| 先驱 | 年代 | 坐标 | 对应节点 |
|---|---|---|---|
| 阿基米德 Archimedes | ~250BCE | 用”夹逼法”逼近π，算出球、圆柱、抛物线的面积体积——古代最伟大的数学家 | 圆的面积与周长 · 体积 · 周长 |
| 刘徽 Liu Hui | ~263CE | 割圆术——把圆切成无数小三角形逼近面积，π≈3.14159；注解《九章算术》 | 圆的面积与周长 · 等积变换 |
| 孙子 Sun Zi | ~3世纪 | 中国剩余定理——“今有物不知其数，三三数之剩二……”，现代密码学的古代根基 | 余数 |
| 婆罗摩笈多 Brahmagupta | 628CE | 第一个给出 0 的完整算术规则，负数的运算法则——数字系统的革命 | 数与运算 |
| 花剌子模 Al-Khwarizmi | ~830CE | 《代数学》——“algebra”词源，“algorithm（算法）“就是他名字的拉丁化 | 数与运算 |
| 斐波那契 Fibonacci | 1202 | 《算盘书》（Liber Abaci）——把印度-阿拉伯数字带入欧洲，1, 1, 2, 3, 5, 8…兔子数列 | 分数与小数 · 数论 |
Era 2 · 符号革命（1200–1665）
用字母代替未知数，用符号代替文字，数学从”描述”变成了”计算引擎”。
| 先驱 | 年代 | 坐标 | 对应节点 |
|---|---|---|---|
| 杨辉 Yang Hui | 1261 | 杨辉三角——比帕斯卡早393年，组合数学的视觉化神器 | 排列计数 · 组合选取 |
| 韦达 François Viète | 1591 | 第一个系统用字母表示未知数——“设 x 为未知数”从此成为常识 | 代数基础 |
| 卡瓦列里 Cavalieri | 1635 | 不可分量原理——把面积切成无数条线，积分思想的直觉版本 | 等积变换 |
| 笛卡尔 René Descartes | 1637 | 解析几何——把代数和几何焊在一起，直角坐标系从此成为数学的标准语言 | 几何 · 函数 |
| 费马 Pierre de Fermat | 1637 | ”我有一个绝妙的证明，但这个页边太窄写不下”——费马大定理，358年后才被证明 | 数论 |
| 帕斯卡 & 费马 Pascal & Fermat | 1654 | 一次关于赌博的通信，奠定了概率论——数学史上最值钱的两个人的聊天记录 | 排列计数 · 组合选取 · 博弈论 |
| 莱布尼茨 Leibniz | 17世纪 | 微积分符号（∫ dx）+ 组合数学奠基——他的符号系统我们今天还在用 | 乘法原理 · 加法原理 · 微积分 |
Era 3 · 分析学的黄金时代（1665–1850）
牛顿和莱布尼茨几乎同时发明了微积分，然后为优先权吵了一辈子。
| 先驱 | 年代 | 坐标 | 对应节点 |
|---|---|---|---|
| 牛顿 Isaac Newton | 1666/1687 | 微积分（流数法）+ 运动三定律——苹果没有真的砸中他，但这个故事永远比真相好听 | 速度与行程 · 微积分 |
| 欧拉 Leonhard Euler | 1736/1748 | 图论（哥尼斯堡七桥）+ e + 欧拉公式 e^(iπ)+1=0——史上最多产的数学家，失明后产量反而更高 | 图论 |
| 高斯 Carl Friedrich Gauss | 1801/1809 | 数论皇帝 + 最小二乘法 + 模运算——10岁心算 1+2+…+100=5050，一生发现从未有错 | 余数 · 统计 · 平均数 |
| 傅里叶 Joseph Fourier | 1822 | 傅里叶级数——任何波形都能分解为正弦波之和，现代信号处理、音频压缩的祖宗 | 音频 · 数据表示 |
Era 4 · 现代数学的边疆（1800–1950）
数学家开始问：数学本身的边界在哪里？答案让所有人都不舒服。
| 先驱 | 年代 | 坐标 | 对应节点 |
|---|---|---|---|
| 伽罗瓦 Évariste Galois | 1832 | 21岁死于决斗，前夜写下群论——五次方程无公式解，数学从”求答案”变成”研究结构” | 抽象代数 |
| 黎曼 Bernhard Riemann | 1854 | 黎曼几何——弯曲空间的数学，爱因斯坦60年后用它描述引力；黎曼猜想至今未解 | 微分几何 |
| 康托 Georg Cantor | 1874 | 集合论 + 无穷的层次——无穷有大小之分，∞ < ∞²，他的同行认为他疯了 | 数理逻辑 |
| 希尔伯特 David Hilbert | 1900 | 23个未解问题——数学的世纪工作清单，至今仍有7个未解 | 数理逻辑 |
| 皮尔逊 Karl Pearson | 1900 | 相关系数 + 统计理论——把统计从”计数”变成了”科学推断” | 统计 · 平均数 |
Era 5 · 极限与不可能（1931–2003）
20世纪数学最震撼的结论不是”我们能算出什么”，而是”有些东西永远算不出来”。
| 先驱 | 年代 | 坐标 | 对应节点 |
|---|---|---|---|
| 哥德尔 Kurt Gödel | 1931 | 不完备定理——任何足够强的数学系统，都存在”真但不可证”的命题；数学有天花板 | 数理逻辑 |
| 纳什 John Nash | 1950 | 纳什均衡——博弈中的稳定解，经济学和策略论的基础；《美丽心灵》的原型 | 博弈论 |
| 洛伦兹 Edward Lorenz | 1963 | 蝴蝶效应——巴西蝴蝶扇翅膀，德克萨斯龙卷风；混沌理论，确定性系统的不可预测 | 混沌理论 |
| 曼德布罗特 Benoit Mandelbrot | 1975 | 分形几何——海岸线有多长？无穷长，因为越放大越复杂；自然界的数学语言 | 分形 |
| 怀尔斯 Andrew Wiles | 1995 | 费马大定理——一个人秘密研究7年，证明了沉睡358年的猜想；数学史上最戏剧性的故事 | 费马大定理 |
| 佩雷尔曼 Grigori Perelman | 2003 | 庞加莱猜想——拒绝菲尔兹奖和百万美元，说”宇宙的形状不比奖项更重要吗” | 拓扑学 |
一张图：数学史时间轴
~3000BCE 文明之算 巴比伦 · 埃及 · 毕达哥拉斯 · 欧多克索斯 · 欧几里得
↓
~250BCE 计算大师 阿基米德 · 刘徽 · 孙子 · 花剌子模 · 斐波那契
↓
1200CE 符号革命 杨辉 · 韦达 · 笛卡尔 · 费马 · 帕斯卡 · 莱布尼茨
↓
1665 分析黄金 牛顿 · 欧拉 · 高斯 · 傅里叶
↓
1800 现代边疆 伽罗瓦 · 黎曼 · 康托 · 希尔伯特 · 皮尔逊
↓
1931 极限之问 哥德尔 · 纳什 · 洛伦兹 · 曼德布罗特 · 怀尔斯 · 佩雷尔曼
给 Aaron & Justin 的阅读路径
| 年级 | 推荐先从这位数学家开始 | 为什么 |
|---|---|---|
| Justin（3年级） | 古埃及人 · 斐波那契 | 分数和数列，有趣的故事和图案 |
| Aaron（5年级） | 高斯 · 欧拉 | 心算5050的故事，数学可以很帅 |
| 初中 | 费马 · 伽罗瓦 | 最戏剧化的数学人生，激发好奇心 |
| 高中 | 哥德尔 · 佩雷尔曼 | 改变世界观的数学结论 |
先驱覆盖统计
| 时代 | 先驱数 | 代表人物 |
|---|---|---|
| Era 0 文明之算 | 5 | 欧几里得 · 毕达哥拉斯 |
| Era 1 东西方计算 | 6 | 阿基米德 · 刘徽 · 花剌子模 |
| Era 2 符号革命 | 7 | 笛卡尔 · 费马 · 帕斯卡 · 杨辉 |
| Era 3 分析黄金 | 4 | 牛顿 · 欧拉 · 高斯 |
| Era 4 现代边疆 | 5 | 伽罗瓦 · 黎曼 · 哥德尔 |
| Era 5 极限之问 | 6 | 怀尔斯 · 佩雷尔曼 · 纳什 |
🏛 数学史先驱：33位已登记，跨越5000年