数学大事年表

说明:以下文稿主要参考了《普林斯顿数学指南》第三卷,并且对内容进行扩展。

公元前

约18000年,人类最早进行计算的证据:非洲乌干达与扎伊尔交界处的伊尚戈渔村发掘的一根记数刻骨“Ishangobone”(伊尚戈骨头”),这是距今10000年前伊尚戈人的作品,属新石器时代早期(可能是世界上发现最早的刻符)

约4000年,中东使用泥制的计算标志:中东地区发现了古老而神秘的黏土账目,这些账目记录着居住在现今伊朗、以色列、土耳其、黎巴嫩以及叙利亚地区人们所采用的一种计量、记录的方法

约3400-3200年,苏美尔人(Sumer,居住在今伊拉克南部的古代先民)记数系统的发展:得益于幼发拉底河和底格里斯河的哺育,苏美尔人创造了美索不达米亚文明,并且开始使用计数系统

约2050年,苏美尔人发明60进制位值记数系统:现在世界各国通行的计时方法,即每小时60分钟,每天24小时,钟表上的刻度为12小时,还有以12为基本计量单位的“打”,都是在60进制的基础上发展出来的,而对于60进制的使用,也是通过巴比伦人,由苏美尔人那里承传至今

约1850-1650年,古巴比伦数学诞生:19世纪初考古发掘出的古巴比伦楔形文字泥板,有约300块是纯数学内容的,其中约200块是各种数表,包括乘法表、倒数表、平方和立方表

约1650年,古埃及数学:尼罗河的泛滥和金字塔的建造,孕育出了古埃及数学,从莱茵德纸草书(约在公元1850年由莱茵德(HRhind,苏格兰收藏家)收藏的最早的古埃及最大和保存最好的纸草书)来看,古埃及数学包括算术、代数和几何三个方面

约1400-1300年,十进制计数法诞生,发现于中国殷商甲骨文中:甲骨文是中国的一种古代文字,被认为是现代汉字的早期形式,有时候也被认为是汉字的书体之一,也是现存中国最古老的一种成熟文字甲骨文又称契文、龟甲文或龟甲兽骨文甲骨文是一种很重要的古汉字资料

约580年,米利都的泰勒斯(ThalesofMiletus,“几何学之父”)

约530-450年,古希腊数学诞生:毕达哥拉斯学派(数论、几何学、天文学和音乐)

约450年,芝诺关于运动的悖论

约370年,欧多克索斯(Eudoxus,比例理论、天文学、穷竭法)

约350年,亚里士多德(逻辑学)

约320年,Eudemus的《几何学史》(当时的几何学知识的重要证据),印度的十进制计数法

约300年,欧几里得《几何原本》

约250年,阿基米德(立体几何、求积法、静力学、水静力学、的近似)

约230年,埃拉托色尼(地球周长的度量、求素数的算法)

约200年,阿波罗尼乌斯的《圆锥截线论》(关于圆锥截线的广泛而有影响的著作

约150年,Hipparchus(第一部算出的弦表)

约100年,《九章算术》诞生(最重要的中国数学古籍)

公元后

约60年,亚历山大里亚的海伦(光学、测地学)

约100年,Menelaus的《球面》(球面三角学)

约150年,托勒密的《大著》吨关于数学天文学的权威教本)

约250年,丢番图的《算术》定和不定方程的求解、早期的代数符号)

约300-400年,《孙子算经》(中国剩余定理)

约320年,帕普斯(Pappus)的《全集》(总结和推广了当时已知的数学知识)

约370年,亚历山大里亚的Theon(关于托勒密《大著》的评论、修订欧几里得)

约400年,亚历山大里亚的Hypatia(关于丢番图、阿波罗尼乌斯和托勒密的评论)

约450年,Proclus(关于欧几里得第一卷的评论,Eudemus的《几何学史》的摘要)

约500-510年,印度数学家阿耶波多的《阿耶波多历数书》(印度的天文学著作,其中包含的很好的近似以及许多角的正弦)

约510年,Boethius把希腊著作译为拉丁文

约625年,王孝通(三次方程的数值解,用几何表示)

628年,婆罗摩笼多的《婆罗摩修正历数书》(一部天文学著作,关于所谓佩尔方程最早的著作)

约710年,比德尊者(历法计算、天文、潮汐)

约830年,阿尔.花拉子米《代数学》(方程式理论)

约900年,AbQKSmil(二次方程的无理解)

约970-990年,Gerbertd’Aurillac把阿拉伯数学技术引入欧洲

约980年,Abual-Waft(被认为是第一个计算了现代的三角函数;第一个应用和发表了球面的正弦定律)

约1000年,ibnal-Haytham(光学,Alhazen问题)

约1100年,奥马尔.哈亚姆(三次方程、平行线公设)

1100-1200年,许多数学著作由阿拉伯文译为拉丁文

约1150年,婆什伽罗(Bh加kara)的《丽罗娃蒂》(LMvati)和《算法本源》(BTjaganita)

约1270年,杨辉的《详解九章算法》(包括一个类似于“帕斯卡三角形”的图形,杨辉把它归于11世纪的贾宪)

1303年,朱世杰的《四元玉鉴》(用消去法解最多四个未知数的联立方程)

约1330,牛津的Merton运动学派

1335年,Heytesbury(WilliamHeytesbury,1313前-1372/3,也属于上述的Merton学派)陈述了平均速度定理

约1350年,Oresme发明了一种早期的坐标几何,证明了平均速度定理,第一次使用分数指数

约1415年,Brunelleschi证明了透视的几何方法

约1464年,Regiomontanus(BPJohannesMiillervonK6nigsberg)

1436-1476,德国数学家,Regiomontanus是他的拉丁文名字)的《论三角形》(_DeOmnimodis)(1533年出版,是第一本欧洲的全面的平面和球面三角学著作)

I484年,Chuquet的《关于数的科学的二部论著》(THpartyenZaSciencedesiVom-6res)(介绍了零和负指数,引入了“billion”和“trillion”等词)

1489年,在印刷品这第一次出现“+”号和“-”号

1494年,帕乔里的《算术概要》(Summade (总结了当时所有的己知的数学知识,为即将到来的大发展打下了基础)

1525年,Ruddff的《有技巧的计算》(部分地使用了代数的符号,引入记号“f”)

1525-1528年,丢勒发表关于透视、比例和几何作图的文章

1543年,哥白尼发表《天体运行论》(提出打星运动的日心说)

1545年,卡尔达诺的《大术》(4rsM叫na)(三次和四次方程)

1557年,Recorde的《智慧的磨刀石》

1572年,庞贝里的《代数》(引入复数)

I585年,斯特凡的《十进算术》(普及十进小数)

1591年,维特的《分析艺术引言》(用字母标示未知数)

1609年,开普勒的《新天文学》(开普勒关于行星运动的前两个定律)

比10年,伽利略的《星空信使》(描述了他用望远镜所作的发现,包括木星的四个卫星)

1614年,纳皮尔的《对数的奇妙规则的描述》(第一部对数表)

1619年,开普勒的《世界的和谐》(i/armcmiceMwndi)(开普勒第三定律)

1621年,Bachet翻译的丢番图《算术》一书出版

约1621年,Oughtred发明计算尺

1624年,Briggs的《对数的算术》(第一本印行的以10为底的对数表)

1631年,ThomasHarriot,英国数学家、天文学家和自然界研究者他所写的《用于求解代数方程的分析艺术》在他去世10年后以拉丁文出版(方程式论)

1632年,伽利略的《关于两种世界体系的对话》(比较托勒密和哥白尼的理论)

1637年;笛卡儿的《几何学》(用代数手段研究几何学)

1638年,伽利略的《关于两门新科学的谈话和数学证明》(物理问题的系统数学处理);费马研究Bachet所翻译的丢番图的《算术》,而且作了关于费马大定理的猜测

1642年,帕斯卡发明了一个加法机

1654年,费马和帕斯卡就概率问题通讯;帕斯卡的《论算术三角形》(TVaiM办TriangleArithmetique)

I656年,瓦里斯的《无穷的算术》(曲线下的面积、乘积公式、连分数的系统研究)

1657年,惠更斯的《论关于机遇博弈的研究》(£)eiiatocim'isinyl/eaeLudo)

1664-1672年,牛顿关于微积分的早期工作

I678年,胡克的《态势的恢复》(提出弹性定律)

I683年,关孝和的《解伏题之法》(决定行列式各项的程序)

1684年,莱布尼兹发表关于微积分的最初的工作

1687年,牛顿的《自然哲学的数学原理》(Prindpia)(牛顿关于运动和引力的理论、经典力学的基础、开普勒定律的推导)

1690年,伯努利家族关于微积分的最早期的工作

I696年,洛必达的《无穷小分析》(第一本微积分教科书)雅各布伯努利,约翰伯努利,牛顿、莱布尼兹和洛必达关于捷线问题的解(变分法的开始)

1704年,牛顿的《求积法》发表(作为《光学》—书的附录,牛顿的微积分的第一篇发表的论文)

1706年,Jones引入符号JT,作为圆的周长与直径之比

1713年,雅各伯努利(JacobBernoulli)的《猜测术》Conjeciaric)(概率论的奠基著作)

1715年,泰勒的《增量方法》(泰勒定理)

1727-1777年,欧拉引入记号“e”来表示指数函数(1727)

1734年,贝克莱的《分析学家》(对于应用无穷小量的主要攻击)

1735年,欧拉解决了Basel问题

1736年,欧拉解决了哥尼斯堡七桥问题

1737年,欧拉的《关于无穷级数的各种观察》{Variaeobservationscircaseriesin-(欧拉乘积)

1738年,丹尼尔伯努利(DanielBernoulli)的《水动力学》(丑2/dmfynamica)(把液体流动与压力联系起来)

1742年,哥德巴赫猜想(见于他给欧拉的信中);麦克劳林的《论流数》(4TVeatoeo/Ftoion)(为牛顿辩护,反对贝克莱的攻击)

1743年,达朗贝尔的《动力学理论》(达朗贝尔原理)

1744年,欧拉的《求具有某些极大极小性质的曲线的方法》(变分法)

1747年,欧拉提出二次互反律;达朗贝尔导出一维的波方程作为控制振动弦的运动方程

1748年,欧拉的《无穷量分析引论》(引入函数概念)

1750-1752年,欧拉的多面体公式

I757年,欧拉的《流体运动的一般原理》(欧拉方程、现代流体力学的起点)

1763年,贝叶斯的《为解决机遇学说的一个问题的论文》(贝叶斯定理)

1771年,拉格朗日的《方程的代数解法的思考》(方程式理论的法典著作,预示了群论的出现)

1了88年,拉格朗日的《解析力学》(拉格朗日力学)

I795年,蒙日的《分析对于几何的应用》(微分几何)和《幽法几何》(Ge'ome'MeDescriptoe)(对于射影几何的创立有重大意义)

1796年,高斯作出了尺规作图正17边形

1797年,拉格朗日的《解析函数论》(TTie'oriedesFonctionAnaZyiigwes)(主要把函数作为幂级数来研究)

1798年,勒让德的《数论》(TTie^riedesiVombres)(第一本专门讲数论的书)

1799年,高斯证明了代数学的基本定理

1799-1825年,拉普拉斯的《天体力学》(关于天体和行星的力学的权威表述)

1801年,高斯发表《算术研究》(模算术、二次互反律的第一个完备的证明、数论中许多其他的主要结果和概念)

1805年,勒让德的最小二乘方方法

1809年,高斯论天体的运动

1812年,拉普拉斯的《概率的解析理论》(引入了概率论的许多新概念,包括概率生成函数、中心极限定理等)

1814年,Servois(Francois-JosephServois,1768-1847,法国数学家)引入了“交换性”“分配性”等数学名词

1815年,柯西论置换

1817年,波尔扎诺关于中间值定理的早期形式

1821年,柯西的《分析教程》(Cowsd’^4naZyse)(对于分析严格化的主要贡献)

1822年,傅里叶的《热的解析理论》(傅里叶级数第一次以文字形式出现);彭赛列的《论图形的射影性质》(射影几何的重新发现)

1823年,纳维提出了现在人们称呼的纳维-斯托克斯方程;柯西的《无穷小分析教程槪要}(RisumidesLegonssurleCalculInfinitesimal)

1825年,柯西积分定理

1826年,德国的《纯粹与应用数学杂志》出版(又称为CVeWe杂志,第一个迄今仍在出版的重要数学杂志,在德国出版);阿贝尔证明了五次方程不能用根式解出

1827年,电动力学的安培定律;闻斯的《曲面的一般研究》(尚斯曲率、绝妙定理(theoremaegregium));关于电的欧姆定律

1828年,格林定理

1829年,狄利克雷论傅里叶级数的收敛性;施图姆的定理;罗巴切夫斯基的非欧几里得几何;雅可比的《捕圆函数的新基本理论》(关于捕圆函数的基本著作)

1830-1832年,伽罗瓦关于多项式方程用根式的可解性的系统研究,以及群的理论的开端

1832年,鲍耶伊的非欧几里得几何

1836年,法国的《纯粹与应用数学杂志》在法国出版(又称为Ze杂志,迄今仍在出版的重要数学杂志,在法国出版)

1836-1837年,施图姆和刘维尔建立了施图姆-刘维尔理论

1837年,狄利克雷证明了由无穷多个素数组成的算术数列存在;泊松的《关于判断的概率的研究》(泊松分布,创造了“大数定律”一词)

1841年,雅可比行列式

1843年,哈密顿发明四元数

1844年,格拉斯曼的《延伸理论》(重线性代数);凯莱关于不变式的早期工作

1846年,切比雪夫证明了弱大数定律的一个形式

1851年,黎曼的《单复变量的函数的一般理论基础》(柯西-黎曼方程、黎曼曲面)

1854年,凯莱关于群的抽象定义;布尔的《思想的法则》(代数逻辑);切比雪夫多项式;黎曼提出就职论文《论函数之以三角级数表示的可能性》

1856-1858年,戴德金开出了历来第一个关于伽罗瓦理论的课程

1858年,凯莱的《关于矩阵理论的论文》:默比乌斯带

1859年,黎曼猜想诞生

1863-1890年,魏尔斯特拉斯关于分析的讲课普及了这个学科的“e-5”讲法

1864年,黎曼-罗赫定理

I868年,普吕克的《空间的新几何学》(线几何学);贝尔特拉米的非欧几里得几何;哥尔丹关于二元形式的定理

1869-1873年,李特伍德发展了连续群的理论

1870年,BenjaminPeirce的《线性结合代数》(约当的《置换理论和代数方程》(关于群的著作)

1871年,戴德金引入域、环、模、理想的现代概念

1872年,克莱因的《埃尔朗根纲领》西罗在群论中的定理:戴德金的《连续性和无理数》(用切割来构造实数)

1873年,麦克斯韦的《电磁通论》(电磁场理论和光的电磁理论,麦克斯韦方程);克利福德的双四元数;厄尔米特证明了“e”的超越性

1874年,康托发现有不同的无穷大量

1877-1878年,瑞利的《声学》(现代声学理论的奠基性著作)

1878年,康托提出连续统假设

1881-1884年,吉布斯的《向量分析原理》(向量计算的基本概念

1882年,Lindemann证明了“i”的超越性

1884年,弗雷格的《算术基础》(奠定数学基础的重要企图)

1887年,约当曲线定理

1888年,希尔伯特的有限基定理

1889年,佩亚诺关于自然数的公设

1890年,庞加莱的《论二体问题和动力学方程》(动力系统中混纯性态的第一个数学描述)

1890-1905年,Schrbdei的《逻辑代数讲义》(包括在现代格论中很重要的Dualgruppe概念)

1895年,庞加莱的“位置分析”(XnaKsissiius)(—般拓扑学的第一个系统的陈述;代数拓扑学基础)

1895-1897年,康托的《对建AL超限数理论的贡献》(超限基数理论的系统陈述)

1896年,弗罗贝尼乌斯建立了表示理论;阿达玛和德拉瓦莱布散证明了素数定理;希尔伯特的《数域》(形成现代代数数论的主要著作)

1897年,第一次国际数学家大会在苏黎世召开;亨泽尔引入了^进数

1899年,希尔伯特的《几何基础》(GrundZ叫enderGeomeirie)(欧几里得几何的严格的现代的公理化)

1900年,希尔伯特在巴黎召开的第二次国际数学家大会上提出23个问题

1901年,里奇和列维-奇维塔(levi-Civita)的《绝对微分学方法及其应用》(张量计算)

1902年,勒贝格的《积分,长度,面积》(勒贝格积分)

1903年,罗素悖论

1904年,策墨罗的选择公理

1905年,爱因斯坦的狭义相对论发表

1910-1913年,罗素和怀德海的《数学原理》(避免了集合论悖论的数学基础)

1914年,豪斯多夫的《集合论基础》(Grwnd2%ederMenpenZe/ire)(拓扑空间)

1915年,爱因斯坦提交了给出广义相对论的确定形式的文本

1916年,Bieberbach猜想

1917-1918年,法图和茹利亚集合(有理函数的迭代)

1920年,高木贞治存在定理(阿贝尔类域论的主要奠基结果)

1921年,诺特的“环域的理想理论”(抽象环论发展的主要步骤)

1923年,维纳提出了布朗运动的数学理论

1924年,柯朗和希尔伯特的《数学物理方法》(当时已知的应用与数学物理方法的主要总结)

I925年,费希尔的《研究工作者的统计方法》;海森堡的矩阵力学(量子力学的第一种陈述方法);外尔的特征标公式(紧李群的表示的基本结果)

1926年,薛定谔的波动力学(量子力学的第二种陈述方法)

1927年,Peter和外尔的《闭连续群的初始表不的完备性》[现代调合分析的诞生);阿廷的广义互反律

1930年,拉姆齐的《关于形式逻辑的一个问题》(Ram-sey定理),范德瓦尔登的《近世代数》(Modeme把近世代数革命化了,促进了阿廷和诺特的途径)

1931年,哥德尔的不完全性定理

I932年,巴拿赫的《线性运算理论》(关于泛函分析的第一本专著)

1933年,科尔莫戈罗夫的概率论的公理

1935年,布尔巴基诞生

1937年,图灵的论文《论可计算数》(OncompittaWermm6ers)(图灵机理论)

1938年,哥德尔证明连续统假设和选择公理与ZermeloFraenkel的公理相容

1939年,布尔巴基的《数学原理》的第一卷问世

1943年,Colossus问世(第一个可编程计算机)

1944年,冯.诺依曼和Morgenstein的《博弈论和经济行为》(博弈论的基础)

1945年,Eilenberg和MacLane定义了范畴的概念;Eilenberg和Steenrod引入了同调理论的公理途径

1947年,Dantzig发现了单纯形算法

1948年,香农的《通讯的数学理论》(信息论的基础)

1949年,韦伊猜测;爱尔特希和塞尔贝格给出了素数定理的初等证明

1950年,汉明的《侦错码和纠错码》(Error-detectinganderror-coTrectingcodes)(编码理论的开始)

1955年,罗特关于用有理数逼近代数数的定理志村五郎(Shimura)和谷山豊(Taniyama)的猜想

I959-1970年,Grothendieck在高等科学研究所(InstitutdesHautes6tudesScien-tifique)工作的几年中把代数几何革命化了

1963年,阿蒂亚-辛格指标定理;科恩证明了选择公立独立于ZF,而连续统假设独立于ZFC

1964年,広中平祐(HeisukeHironaka)证明了奇异性消解定理

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年,Afjpel和Haken用一个计算机程序证明了四色定理

1978年,公钥密码的RSA算法;Brooks和Matelski作出了Mandelbrot集合的第一张图像

1981年,宣布了有限单群的分类定理(直到2008年,还没有得到完全的证明的印成的确定文本,但是这个定理己经被广泛接受)

1982年,哈密顿引入了里奇流;瑟斯顿的几何化猜想

1983年,法尔廷斯证明了莫德尔猜想

1984年,DeBranges证明了Bieberbach猜想

1985年,Masser和Oesterlg提出了ABC猜想

1989年,Anosov和Bolibruch否定地回答了黎曼-希尔伯特问题

1994年,Shor关于整数因数分解的量子算法;怀尔斯和泰勒/怀尔斯的两篇论文证明了费马最后定理

2003年,佩雷尔曼用里奇流证明了庞加莱猜想和瑟斯顿几何化猜想

2009年,吴宝珠在2009年证明了朗兰兹纲领的基本引理

2013年,张益唐在孪生素数猜想取得巨大进展