【科技·科学】盘点所有数学事件及其推动者历史人物
更新时间：2022-12-02 20:50:59
盘点所有数学事件及其推动者历史人物，数学研究工作，不仅是了解及整理已知的结果，还包含着创造新的数学成果与理论。许多人误解数学是一个已经被研究完的领域，事实上，数学上还有许多未知的领域和待解决的问题，也一直有大量新的数学成果发表。
公元前
约 18000 年，扎伊尔出土的 Ishango 骨殖（可能是最早的先民进行计算的证据）。
约 4000 年，中东使用泥制的计算标志。
约 3400-3200 年，苏美尔人记数系统的发展。
约 2050 年，60 进制位值记数系统的最早证据，苏美尔人。
约 1850-1650 年，古巴比伦数学。
约 1650 年，莱茵德纸草书收藏的最早的古埃及最大和保存最好的纸草书。
约 1400-1300 年，十进制计数法，发现于中国殷商甲骨文中。
约 580 年，米利都的泰勒斯（Thales of Miletus，"几何学之父"）。
约 530-450 年，毕达哥拉斯学派（数论、几何学、天文学和音乐）。
约 450 年，芝诺关于运动的悖论。
约 370 年，欧多克索斯（Eudoxus，比例理论、天文学、穷竭法）。
约 350 年，亚里士多德（逻辑学）。
约 320 年，欧德摩斯的《几何学史》（当时的几何学知识的重要证据），印度的十进制计数法。
约 300 年，欧几里得《几何原本》。
约 250 年，阿基米德（立体几何、求积法、静力学、水静力学、π 的近似）。
约 230 年，埃拉托色尼（地球周长的度量、求素数的算法）。
约 200 年，阿波罗尼乌斯的《圆锥截线论》（关于圆锥截线的广泛而有影响的著作）。
约 150 年，希帕克斯（第一部算出的弦表）。
约 100 年，《九章算术》（最重要的中国数学古籍）。
公元后
约 60 年，亚历山大里亚的海伦（光学、测地学）。
约 100 年，Menelaus 的《球面》（球面三角学）。
约 150 年，托勒密的《天文学大成》（Almagest，关于数学天文学的权威教本）。
约 250 年，丢番图的《算术》（Arithmetica，定和不定方程的求解、早期的代数符号）。
约 300-400 年，《孙子算经》（中国剩余定理）。
约 320 年，帕普斯（Pappus）的《全集》（总结和推广了当时已知的数学知识）。
约 370 年，亚历山大里亚的 Theon（关于托勒密《大著》的评论、修订欧几里得）。
约 400 年，亚历山大里亚的 Hypatia（关于丢番图、阿波罗尼乌斯和托勒密的评论）。
约 450 年，Proclus（关于欧几里得第一卷的评论，Eudemus 的《几何学史》的摘要）。
约 500-510 年，印度数学家阿耶波多的《阿耶波多历数书》（印度的天文学著作，其中包含了 π，根号 2 的很好的近似以及许多角的正弦）。
约 510 年，Boethius 把希腊著作译为拉丁文。
约 625 年，王孝通（三次方程的数值解，用几何表示）。
628 年，婆罗摩笈多的《婆罗摩修正历数书》（一部天文学著作，关于所谓佩尔方程最早的著作）。
约 710 年，比德尊者（历法计算、天文、潮汐）。
约 830 年，阿尔・花拉子米《代数学》（方程式理论）。
约 900 年，阿布卡米尔（二次方程的无理解）。
约 970-990 年，Gerbert d'Aurillac 把阿拉伯数学技术引入欧洲。
约 980 年，Abu al-Wafa（被认为是第一个计算了现代的三角函数；第一个应用和发表了球面的正弦定律）。
约 1000 年，ibn al-Haytham（光学，Alhazen 问题）。
约 1100 年，奥马尔・哈亚姆（三次方程、平行线公设）。
1100-1200 年，许多数学著作由阿拉伯文译为拉丁文。
约 1150 年，婆什伽罗的《丽罗娃蒂》和《算法本源》（梵文传统的标准的算术和代数教本，在后书中包括了对佩尔方程的详细讲述）。
1202 年，斐波那契的《算经》（Liber Abaci）（把印度-阿拉伯数码引入欧洲）。
约 1270 年，杨辉的《详解九章算法》（包括一个类似于“帕斯卡三角形”的图形，杨辉把它归于 11 世纪的贾宪）。
1303 年，朱世杰的《四元玉鉴》（用消去法解最多四个未知数的联立方程）。
约 1330，牛津的 Merton 运动学派。
1335 年，Heytesbury 陈述了平均速度定理。
约 1350 年，Oresme 发明了一种早期的坐标几何，证明了平均速度定理，第一次使用分数指数。
约 1415 年，Brunelleschi 证明了透视的几何方法。
约 1464 年，雷乔蒙塔努斯的《论三角形》（1533 年出版，是第一本欧洲的全面的平面和球面三角学著作）。
1484 年，Chuquet 的《关于数的科学的三部论著》（介绍了零和负指数，引入了 "billion" 和 "trillion" 等词）。
1489 年，在印刷品这第一次出现“＋”号和“一”号。
1494 年，帕乔里的《算术概要》（总结了当时所有的已知的数学知识，为即将到来的大发展打下了基础）。
1525 年，Rudolff 的《有技巧的计算》（部分地使用了代数的符号，引入记号“√”）。
1525-1528 年，丢勒发表关于透视、比例和几何作图的文章。
1543 年，哥白尼发表《天体运行论》提出行星运动的日心说。
1545 年，卡尔达诺的《大术》（三次和四次方程）。
1557 年，Recorde 的《智慧的磨刀石》（引入“=”号）。
1572 年，庞贝里的《代数》（引入复数）。
1585 年，斯特凡的《十进算术》（普及十进小数）。
1591 年，维特的《分析艺术引言》（用字母标示未知数）。
1609 年，开普勒的《新天文学》（开普勒关于行星运动的前两个定律）。
1610 年，伽利略的《星空信使》（描述了他用望远镜所作的发现，包括木星的四个卫星）。
1614 年，纳皮尔的《对数的奇妙规则的描述》（第一部对数表）。
1619 年，开普勒的《世界的和谐》（开普勒第三定律）。
1621 年，Bachet 翻译的丢番图《算术》一书出版。
约 1621 年，Oughtred 发明计算尺。
1624 年，Briggs 的《对数的算术》（第一本印行的以 10 为底的对数表）。
1631 年，Thomas Harriot，1560-1621，英国数学家、天文学家和自然界研究者。他所写的《用于求解代数方程的分析艺术》在他去世 10 年后以拉丁文出版（方程式论）。
1632 年，伽利略的《关于两种世界体系的对话》（比较托勒密和哥白尼的理论）。
1637 年，笛卡儿的《几何学》（用代数手段研究几何学）。
1638 年，伽利略的《关于两门新科学的谈话和数学证明》（物理问题的系统数学处理）；费马研究 Bachet 所翻译的丢番图的《算术》，而且作了关于费马大定理的猜测。
1642 年，帕斯卡发明了一个加法机。
1654 年，费马和帕斯卡就概率问题通讯；帕斯卡的《论算术三角形》。
1656 年，瓦里斯的《无穷的算术》（曲线下的面积、4/π 的乘积公式、连分数的系统研究）。
1657 年，惠更斯的《论关于机遇博弈的研究》。
1664-1672 年，牛顿关于微积分的早期工作。
1678 年，胡克的《态势的恢复》（提出弹性定律）。
1683 年，关孝和的《解伏题之法》（决定行列式各项的程序）。
1684 年，莱布尼兹发表关于微积分的最初的工作。
1687 年，牛顿的《自然哲学的数学原理》（牛顿关于运动和引力的理论、经典力学的基础、开普勒定律的推导）。1690 年，伯努利家族关于微积分的最早期的工作。
1696 年，洛必达的《无穷小分析》（第一本微积分教科书）。雅各布・伯努利，约翰・伯努利，牛顿、莱布尼兹和洛必达关于捷线问题的解（变分法的开始）。
1704 年，牛顿的《求积法》发表（作为《光学》（Opticks）一书的附录，牛顿的微积分的第一篇发表的论文）。
1706 年，Jones 引入符号 π，作为圆的周长与直径之比。
1713 年，雅各・伯努利的《猜测术》（概率论的奠基著作）。
1715 年，泰勒的《增量方法》（泰勒定理）。
1727-1777 年，欧拉引入记号 "e" 来表示指数函数（1727），引入记号 "f（x）" 来表示函数（1734），记号 "∑" 表示和（1755）以及 "i" 表示虚数（1777）。
1734 年，贝克莱的《分析学家》（对于应用无穷小量的主要攻击）。
1735 年，欧拉解决了 Basel 问题，证明了
1736 年，欧拉解决了 Königsberg 七桥问题
1737 年，欧拉的《关于无穷级数的各种观察》（欧拉乘积）。
1738 年，丹尼尔・伯努利的《水动力学》（把液体流动与压力联系起来）。
1742 年，哥德巴赫猜想（见于他给欧拉的信中）；麦克劳林的《论流数》（为牛顿辩护，反对贝克莱的攻击）。
1743 年，达朗贝尔的《动力学理论》（达朗贝尔原理）。
1744 年，欧拉的《求具有某些极大极小性质的曲线的方法》（变分法）。
1747 年，欧拉提出二次互反律；达朗贝尔导出一维的波方程作为控制振动弦的运 动方程。
1748 年，欧拉的《无穷量分析引论》（引入函数概念、公式 e^iθ=cosθ＋isinθ 以及许多其他内容）。
1750-1752 年，欧拉的多面体公式。
1757 年，欧拉的《流体运动的一般原理》（欧拉方程、现代流体力学的起点）。
1763 年，贝叶斯的《为解决机遇学说的一个问题的论文》（贝叶斯定理）。
1771 年，拉格朗日的《方程的代数解法的思考》（方程式理论的法典著作，预示了群论的出现）。
1788 年，拉格朗日的《解析力学》（拉格朗日力学）。
1795 年，蒙日的《分析对于几何的应用》（微分几何）和《画法几何》（对于射影几何的创立有重大意义）。
1796 年，高斯作出了正 17 边形。
1797 年，拉格朗日的《解析函数论》（主要把函数作为幂级数来研究）。
1798 年，勒让德的《数论》（第一本专门讲数论的书）。
1799 年，高斯证明了代数学的基本定理。
1799-1825 年，拉普拉斯的《天体力学》（关于天体和行星的力学的权威表述）。
1801 年，高斯的《算术研究》（模算术、二次互反律的第一个完备的证明、数论中许多其他的主要结果和概念）。
1805 年，勒让德的最小二乘方方法。
1809 年，高斯论天体的运动。
1812 年，拉普拉斯的《概率的解析理论》（引入了概率论的许多新概念，包括概率生成函数、中心极限定理等）。
1814 年，Servois（1768-1847，法国数学家）引入了“交换性”“分配性”等数学名词。
1815 年，柯西论置换。
1817 年，波尔扎诺关于中间值定理的早期形式。
1821 年，柯西的《分析教程》（对于分析严格化的主要贡献）。
1822 年，傅里叶的《热的解析理论》（傅里叶级数第一次以文字形式出现）；彭赛列的《论图形的射影性质》（射影几何的重新发现）。
1823 年，纳维提出了现在人们称呼的纳维-斯托克斯方程；柯西的《无穷小分析教程概要》。
1825 年，柯西积分定理。
1826 年，德国的《纯粹与应用数学杂志》出版；阿贝尔证明了五次方程不能用根式解出。
1827 年，电动力学的安培定律；高斯的《曲面的一般研究》（高斯曲率、绝妙定理（theorema egregium）；关于电的欧姆定律。
1828 年，格林定理。
1829 年，狄利克雷论傅里叶级数的收敛性；施图姆的定理；罗巴切夫斯基的非欧 几里得几何雅可比的《椭圆函数的新基本理论》（关于椭圆函数的基本著作）。
1830-1832 年，伽罗瓦关于多项式方程用根式的可解性的系统研究，以及群的理论的开端。
1832 年，鲍耶伊的非欧几里得几何。
1836 年，法国的《纯粹与应用数学杂志》在法国出版。
1836-1837 年，施图姆和刘维尔建立了施图姆-刘维尔理论。
1837 年，狄利克雷证明了由无穷多个素数组成的算术数列存在；泊松的《关于判 断的概率的研究》（泊松分布，创造了“大数定律”一词）。
1841 年，雅可比行列式。
1843 年，哈密顿发明四元数。
1844 年，格拉斯曼的《延伸理论》（重线性代数）；凯莱关于不变式的早期工作。
1846 年，切比雪夫证明了弱大数定律的一个形式。
1851 年，黎曼的《单复变量的函数的一般理论基础》（柯西-黎曼方程、黎曼曲面）。
1854 年，凯莱关于群的抽象定义；布尔的《思想的法则》（代数逻辑）；切比雪夫多项式；黎曼提出就职论文《论函数之以三角级数表示的可能性》和就职演说《论作为几何基础的假设》。
1856-1858 年，戴德金开出了历来第一个关于伽罗瓦理论的课程。
1858 年，凯莱的《关于矩阵理论的论文》；默比乌斯带。
1859 年，黎曼假设。
1863-1890 年，魏尔斯特拉斯关于分析的讲课普及了这个学科的 "ε-δ" 讲法。
1864 年，黎曼-罗赫定理。
1868 年，普吕克的《空间的新几何学》（线几何学）；贝尔特拉米的非欧几里得几何；哥尔丹关于二元形式的定理。
1869-1873 年，李发展了连续群的理论。
1870 年，Benjamin Peirce 的《线性结合代数》；约当的《置换理论和代数方程》（关于群的著作）。
1871 年，戴德金引入域、环、模、理想的现代概念。
1872 年，克莱因的《埃尔朗根纲领》；西罗在群论中的定理；戴德金的《连续性和无理数》（用切割来构造实数）。
1873 年，麦克斯韦的《电磁通论》（电磁场理论和光的电磁理论，麦克斯韦方程）；克利福德的双四元数；厄尔米特证明了“e”的超越性。
1874 年，康托发现有不同的无穷大量。
1877-1878 年，瑞利的《声学》（现代声学理论的奠基性著作）。
1878 年，康托提出连续统假设。
1881-1884 年，吉布斯的《向量分析原理》（向量计算的基本概念）。
1882 年，Lindemann 证明了“π”的超越性。
1884 年，弗雷格的《算术基础》（奠定数学基础的重要企图）。
1887 年，约当曲线定理。
1888 年，希尔伯特的有限基定理。1889 年，佩亚诺关于自然数的公设。
1890 年，庞加莱的《论三体问题和动力学方程》（动力系统中混沌性态的第一个数学描述）。
1890-1905 年，Schroder 的《逻辑代数讲义》（包括在现代格论中很重要的 Dualgruppe 概念）。
1895 年，庞加莱的“位置分析”（一般拓扑学的第一个系统的陈述；代数拓扑学基础）。
1895-1897 年，康托的《对建立超限数理论的贡献》（超限基数理论的系统陈述）。
1896 年，弗罗贝尼乌斯建立了表示理论；阿达玛和德・拉・瓦莱・布散证明了素数定理；希尔伯特的《数域》（形成现代代数数论的主要著作）。
1897 年，第一次国际数学家大会在苏黎世召开；亨泽尔引入了 p-进数。
1899 年，希尔伯特的《几何基础》（欧几里得几何的严格的现代的公理化）。
1900 年，希尔伯特在巴黎召开的第二次国际数学家大会上提出 23 个问题。
1901 年，里奇和列维-奇维塔的《绝对微分学方法及其应用》（张量计算）。
1902 年，勒贝格的《积分，长度，面积》（勒贝格积分）。
1903 年，罗素悖论。
1904 年，策墨罗的选择公理。
1905 年，爱因斯坦的狭义相对论发表。
1910-1913 年，罗素和怀德海的《数学原理》（避免了集合论悖论的数学基础）。
1914 年，豪斯多夫的《集合论基础》（拓扑空间）。
1915 年，爱因斯坦提交了给出广义相对论的确定形式的文本。
1916 年，Bieberbach 猜想。
1917-1918 年，法图和茹利亚集合（有理函数的迭代）。
1920 年，高木贞治存在定理（阿贝尔类域论的主要奠基结果）。
1921 年，诺特的“环域的理想理论”（抽象环论发展的主要步骤）。
1923 年，维纳提出了布朗运动的数学理论。
1924 年，柯朗和希尔伯特的《数学物理方法》（当时已知的应用与数学物理方法的主要总结）。
1925 年，费希尔的《研究工作者的统计方法》；海森堡的矩阵力学（量子力学的第一种陈述方法）；外尔的特征标公式（紧李群的表示的基本结果）。
1926 年，薛定谔的波动力学（量子力学的第二种陈述方法）。
1927 年，Peter 和外尔的《闭连续群的初始表示的完备性》（现代调合分析的诞生）；阿廷的广义互反律。
1930 年，拉姆齐的《关于形式逻辑的一个问题》。
sey 定理），范德瓦尔登的《近世代数》（把近世代数革命化了，促进了阿廷和诺特的途径）。
1931 年，哥德尔的不完全性定理。
1932 年，巴拿赫的《线性运算理论》（关于泛函分析的第一本专著）。
1933 年，科尔莫戈罗夫的概率论的公理。1935 年，布尔巴基诞生。
1937 年，图灵的论文《论可计算数》（图灵机理论）。
1938 年，哥德尔证明连续统假设和选择公理与 Zermelo-Fraenkel 的公理相容。
1939 年，布尔巴基的《数学原理》的第一卷问世。
1943 年，Colossus 问世（第一个可编程计算机）。
1944 年，冯・诺依曼和摩根斯坦的《博弈论和经济行为》（博弈论的基础）。
1945 年，艾伦伯格和麦克莱恩定义了范畴的概念；艾伦伯格和斯廷罗德引入了同调理论的公理途径。
1947 年，丹齐格发现了单纯形算法。
1948 年，香农的《通讯的数学理论》（信息论的基础）。
1949 年，韦伊猜测；爱尔特希和塞尔贝格给出了素数定理的初等证明。
1950 年，汉明的《侦错码和纠错码》（编码理论的开始）。
1955 年，罗特关于用有理数逼近代数数的定理。志村五郎和谷山豐的猜想。
1959-1970 年，格罗滕迪克在高等科学研究所工作的几年中把代数几何革命化了。
1963 年，阿蒂亚-辛格指标定理；科恩证明了选择公立独立于 ZF，而连续统假设独立于 ZFC。
1964 年，应中平祐证明了奇异性消解定理。
1965 年，Birch-Swinnerton-Dyer 猜想发表；卡尔松定理得证。
1966 年，鲁宾逊的《非标准分析》（深刻地重述了代数数论和表示理论的很大一部分）。
1966-1967 年，朗兰茨引入了一些猜想，由此产生了朗兰茨纲领。
1967 年，Gardner，Greene，Kruskal 和 Miura 给出了 KdV 方程的解析解。
1970 年，Matiyasevich 在 Davies，Putnam 和 Robinson 工作的基础上证明了不存在解决一般丢番图方程的算法，从而解决了希尔伯特第十问题。
1971-1972 年，Cook，Karp 和 Levin 发展了 NP 完全性概念。
1974 年，Deligne 完成了韦伊猜想的证明。
1976 年，Appel 和 Haken 用一个计算机程序证明了四色定理。
1978 年，公钥密码的 RSA 算法；Brooks 和 Matelski 作出了曼德尔布罗特集合的第一张图像。
1981 年，宣布了有限单群的分类定理。
1982 年，哈密顿引入了里奇流；瑟斯顿的几何化猜想。
1983 年，法尔廷斯证明了莫德尔猜想。
1984 年，De Branges 证明了 Bieberbach 猜想。
1985 年，Masser 和 Oesterle 提出了 ABC 猜想。
1989 年，Anosov 和 Bolibruch 否定地回答了黎曼-希尔伯特问题。
1994 年，Shor 关于整数因数分解的量子算法；怀尔斯和泰勒 / 怀尔斯的两篇论文证明了费马大定理。
2003 年，佩雷尔曼用里奇流证明了庞加莱猜想和瑟斯顿几何化猜想。
2004 年，有限简单群的分类，一项涉及几百位数学家，历时 50 年的合作工作，已经完成；Ben Green 和 Terence Tao（陶哲轩）证明了 Green - Tao 定理。
2007 年，一个遍布北美和欧洲的研究团队使用计算机网络绘制 E_8。
2009 年，基本引理（朗兰兹纲领）由 Ngô bgobo Châu 证明。
2013 年，张益唐证明了质数间隙的第一个有限界。
2014 年，Flyspeck 团队宣布完成了对开普勒猜想的证明。
2015 年，Terence Tao 解决了埃尔德什差异问题。
2015 年 ，László Babai 发现一种拟多项式复杂度算法可以解决图同构问题。
2022 年，张益唐完了朗道-西格尔猜想的证明。