DOXA · 数学版面 · Chronology
一条时间线，走完数学从起源到现在——里程碑、学派、体系、概念、方法与工具。
从计数起源到证明的诞生
计数起源、埃及与巴比伦
计数刻痕 ｜ 莱因德纸草书 ｜ Plimpton 322 ｜ 六十进制
从证明的诞生到亚历山大图书馆
毕达哥拉斯 ｜ 欧几里得 ｜ 阿基米德 ｜ 丢番图
零、位值制与东方算学
零 ｜ 位值制 ｜ 九章算术 ｜ 刘徽 ｜ 祖冲之
代数的诞生与典籍保存
花拉子米 ｜ 海亚姆 ｜ 宋元数学 ｜ 斐波那契
方程求解、符号代数与小数
三次方程 ｜ 复数 ｜ 韦达 ｜ 小数 ｜ 对数
微积分、分析学与严格化
解析几何、概率与微积分诞生
笛卡尔 ｜ 费马 ｜ 牛顿 ｜ 莱布尼茨 ｜ 东亚和算
欧拉时代与分析学
欧拉 ｜ 变分法 ｜ 拉普拉斯 ｜ 图论
严格化、非欧几何与群论
傅里叶 ｜ 高斯 ｜ 黎曼 ｜ 康托 ｜ 群论
基础危机、计算机与形式化
测度积分、希尔伯特纲领与可计算性
勒贝格 ｜ 哥德尔 ｜ 图灵 ｜ 信息论
计算机、范畴论与几何化
四色定理 ｜ 有限单群分类 ｜ 朗兰兹 ｜ 怀尔斯
形式化验证与 AI 时代数学
佩雷尔曼 ｜ 张益唐 ｜ Viazovska ｜ Lean