DOXA · 数学版面 · 编年史

二、古希腊与希腊化

前6世纪–3世纪 | 从证明的诞生到亚历山大图书馆

逻辑 代数·数论 分析 几何·拓扑 离散·组合 概率·统计 应用 交叉

关键词:毕达哥拉斯 | 欧几里得 | 阿基米德 | 丢番图

年份事件 / 成就人物 / 学派领域类型说明
约前585几何证明的开端泰勒斯几何·拓扑突破首位留下名字的数学家;「圆直径对角为直角」等,以证明替代经验 详情→
约前530毕达哥拉斯学派「万物皆数」毕达哥拉斯代数·数论学派数即万物;西方首证勾股定理,发现音程整数比 详情→
约前500无理数发现(√2)毕达哥拉斯学派代数·数论突破斜边与腰不可通约,数学史上第一次「危机」 详情→
约前450芝诺悖论芝诺逻辑概念阿基里斯追龟、飞矢不动,逼出无穷与极限讨论 详情→
约前440三大尺规作图难题提出希腊几何学家几何·拓扑突破化圆为方 / 倍立方 / 三等分角,1837 年证尺规不可能 详情→
约前440月牙形求积希波克拉底(希俄斯)几何·拓扑突破曲边月牙面积 = 直边图形,超越「只画直线」的求积 详情→
约前430穷竭法萌芽安提丰 / 德谟克利特分析方法无限细分求面积体积,微积分思想远祖 详情→
约前370比例论与穷竭法系统化欧多克索斯代数·数论突破严格处理不可通约量,化解无理数危机 详情→
约前350形式逻辑奠基亚里士多德逻辑概念《工具论》:三段论、矛盾律——公理化推演先声 详情→
约前300《几何原本》公理化欧几里得几何·拓扑出版13 卷,5 公设 5 公理推证全平面几何;两千年标准教材 详情→
约前250穷竭法求 π 与面积体积阿基米德分析突破抛物线弓形、球体积、π 夹逼 223/71<π<22/7;穷竭法巅峰 详情→
约前250阿基米德螺线阿基米德几何·拓扑概念螺线求积,超越「直尺圆规」的曲线研究 详情→
约前240埃拉托色尼筛法埃拉托色尼代数·数论方法求素数表最经典算法;同人实测地球周长 详情→
约前230《圆锥曲线论》阿波罗尼乌斯几何·拓扑出版椭圆 / 双曲线 / 抛物线命名与完整理论,纯几何巅峰 详情→
约前230日心说与天文测量阿里斯塔克斯应用突破《论日月大小与距离》,三角几何最早应用之一 详情→
约前150弦表与三角学奠基喜帕恰斯分析突破第一张弦表;850 颗星表 详情→
约前100希罗公式与测量术希罗几何·拓扑突破三边求面积公式;《度量论》工程测量 详情→
约150《天文学大成》与球面三角托勒密分析出版弦表系统化、地心说数学框架,统治天文学约 14 世纪 详情→
约250《算术》——丢番图方程丢番图代数·数论出版不定方程研究开山;费马大定理即题于其页边 详情→
约320《数学汇编》帕普斯几何·拓扑出版评注古典著作,帕普斯定理,数学史料宝库 详情→
约370希帕提娅注释古典希帕提娅代数·数论学派亚历山大最后一位大数学家,注释托勒密 / 丢番图 / 阿波罗尼乌斯 详情→

说明:编年史收「主流数学史共识」条目;年份/归属争议处以当前学界通行说法为准,详见 HISTORY.md 来源标注。难题的证明状态 ↔ 数学难题编年