盘点所有数学事件及其推动者历史人物

盘点所有数学事件及其推动者历史人物，数学研究工作，不仅是了解及整理已知的结果，还包含着创造新的数学成果与理论。许多人误解数学是一个已经被研究完的领域，事实上，数学上还有许多未知的领域和待解决的问题，也一直有大量新的数学成果发表。

公元前

约 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 年，Heyte *** ury 陈述了平均速度定理。

约 1350 年，Ore *** e 发明了一种早期的坐标几何，证明了平均速度定理，之一次使用分数指数。

约 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önig *** erg 七桥问题

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 年，张益唐完了朗道-西格尔猜想的证明。