DOXA · 数学版面 · 编年史

八、19世纪

1800–1899 | 严格化、非欧几何与群论

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

关键词:傅里叶 | 高斯 | 黎曼 | 康托 | 群论

年份事件 / 成就人物 / 学派领域类型说明
1801高斯《算术研究》——同余理论高斯代数·数论出版数论「宪法」,二次互反律首证 详情→
1807傅里叶——热的解析理论傅里叶分析突破傅里叶级数与变换,调和分析起点 详情→
1824阿贝尔——五次方程不可解阿贝尔代数·数论突破阿贝尔不可约定理,方程论转折 详情→
1826罗巴切夫斯基——双曲几何罗巴切夫斯基几何·拓扑突破非欧几何开创,否定平行公设仍自洽 详情→
1829鲍耶——非欧几何独立发现鲍耶几何·拓扑突破与罗巴切夫斯基平行独立完成 详情→
1831高斯——复平面几何表示高斯代数·数论概念复数平面化,复分析基石 详情→
1832伽罗瓦——群论与伽罗瓦理论伽罗瓦代数·数论突破方程可解性 ↔ 伽罗瓦群;20 岁决斗殒命 详情→
1837旺策尔——尺规三大难题不可能旺策尔几何·拓扑突破倍立方/三等分角/化圆为方证不可能 详情→
1837狄利克雷——等差数列素数定理狄利克雷代数·数论突破狄利克雷 L 函数,解析数论推进 详情→
1843哈密顿——四元数哈密顿代数·数论突破非交换代数,三维旋转描述 详情→
1844格拉斯曼——外代数与线性代数格拉斯曼代数·数论出版多维向量空间公理化 详情→
1847布尔《逻辑的数学分析》——布尔代数布尔逻辑突破逻辑代数化,日后数字电路基础 详情→
1850s魏尔斯特拉斯——ε-δ 严格化魏尔斯特拉斯分析突破极限/连续/收敛严格定义,分析算术化 详情→
1854黎曼《论几何学基础的假设》黎曼几何·拓扑突破流形与度量,广义相对论数学基础 详情→
1858凯莱——抽象群与矩阵论凯莱代数·数论概念抽象群形式定义,矩阵代数 详情→
1859黎曼《素数个数》——黎曼猜想黎曼代数·数论突破ζ 函数解析延拓,概念科普→ 详情→
1868贝尔特拉米——伪球面实现双曲几何贝尔特拉米几何·拓扑突破非欧几何局部实现,消除矛盾疑虑 详情→
1872戴德金分割——实数严格定义戴德金分析突破实数完备性构造 详情→
1872康托——集合论起步康托逻辑突破无穷集合基数比较,超穷数 详情→
1872克莱因《埃尔朗根纲领》克莱因几何·拓扑突破用群论统一几何分类 详情→
1874康托——实数不可数(对角线法)康托逻辑突破对角论证,无穷层级的发现 详情→
1880s李——连续变换群(李群)代数·数论突破微分方程对称性,物理数学关键 详情→
1882林德曼——π 的超越性林德曼代数·数论突破化圆为方不可能获最终定论 详情→
1889皮亚诺——算术公理皮亚诺逻辑出版自然数五公理 详情→
1890s庞加莱——拓扑学奠基庞加莱几何·拓扑突破庞加莱群、流形、三体混沌,代数拓扑开创 详情→
1896阿达马/瓦莱-普桑——素数定理阿达马/普桑代数·数论突破π(x)~x/lnx 独立证明 详情→
1830s巴贝奇分析机设计巴贝奇应用机构可编程计算机概念先驱(差分机/分析机) 详情→
1899希尔伯特《几何基础》——公理化希尔伯特逻辑出版现代公理方法范式 详情→
19世纪弗罗贝尼乌斯——群表示论弗罗贝尼乌斯代数·数论突破有限群表示论与特征标 详情→
1870s库默尔——理想数与代数数论库默尔代数·数论突破为费马大定理研究而生的理想概念 详情→
1850s麦克斯韦方程——向量分析应用麦克斯韦应用突破方程组统一电磁学,数学物理典范 详情→
1812拉普拉斯《概率分析理论》拉普拉斯概率·统计出版概率论集大成,中心极限定理 详情→

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