饭饭TXT > 学习管理 > 《几何原本(出版书)》作者:[古希腊]欧几里得/译者:邹忌【完结】 > 《几何原本》作者:[古希腊]欧几里得.txt

第 31 页

作者:古希腊-欧几里得/译者:邹忌 当前章节:12103 字 更新时间:2026-7-17 03:36

◎前380年,古希腊柏拉图学派指出数学对训练思维的作用,研究正多面体、不可公约量。

◎前350年,古希腊梅纳克莫斯发现三种圆锥曲线,并用以解立方体问题。古希腊色诺科拉底开始编写几何学的历史。古希腊的塞马力达斯开始设定简单方程组。

◎前335年,古希腊欧德姆斯开始编写数学史。

◎前3世纪,古希腊欧几里得的《几何原本》十三卷发表,把前人和他本人的发现系统化,确立几何学的逻辑体系,为世界上最早的公理化数学著作。

◎前3世纪,古希腊阿基米德研究了曲线图形和曲面体所围成的面积、体积,研究了抛物面、双曲面、椭圆面,讨论了圆柱、圆锥和半球之关系,还研究了螺线。战国时期的中国,筹算成为当时的主要计算方法,出现《庄子》《考工记》记载中的极限概念、分数运算法、特殊角度概念及对策论的例证。

◎前230年,古希腊埃拉托色尼提出素数概念,并发明了寻找素数的筛选法。

◎前3世纪至前2世纪,古希腊阿波罗尼发表了八卷《圆锥曲线学》,这是最早关于椭圆、抛物线和双曲线的论著。

◎前170年,湖北出现竹简算书《算数书》。

◎前150年,古希腊喜帕恰斯开始研究球面三角,奠定了三角术的基础。

◎约前1世纪,中国的《周髀算经》发表。其中阐述了“盖天说”和“四分历法”,使用分数算法和开方法等。

公元元年—999年

◎50至100年,继西汉张苍、耿寿昌删补校订之后,东汉时刘徽等人集注出版了《九章算术》,这是中国最早的数学专著,收集了246个问题的解法。

◎75年,古希腊海伦研究面积、体积计算方法、开方法,提出海伦公式。

◎1世纪左右,古希腊梅内劳发表《球学》,其中包括球的几何学,并附有球面三角形的讨论。古希腊希隆编撰了关于几何学的、计算的和力学科目的百科全书。在其《度量论》中,以几何形式推算出三角形面积的“希隆公式”。

◎100年左右,古希腊尼寇马克写了《算术引论》一书,此后算术开始成为独立学科。

◎150年左右,古希腊托勒密著《数学汇编》,求出圆周率为3.14166,并提出透视投影法与球面上经纬度的讨论,这是古代坐标的示例。

◎3世纪时,古希腊丢番图写成代数著作《算术》共十三卷,其中六卷保留至今,解出了许多定和不定方程式。

◎3世纪至4世纪,魏晋时期,中国赵爽在《勾股圆方图注》中列出了关于直角三角形三边之间关系的命题共21条。中国刘徽发明“割圆术”,并算得圆周率为3.1416;著作《海岛算经》,论述了有关测量和计算海岛的距离、高度的方法。

◎4世纪时,古希腊帕普斯的几何学著作《数学集成》问世,这是古希腊数学研究的手册。

◎约463年,中国祖冲之算出了圆周率的近似值到第七位小数,这比西方早了1000多年。

◎466至485年,中国三国时期的《张邱建算经》成书。

◎5世纪,印度阿耶波多著书研究数学和天文学,其中讨论了一次不定方程式的解法、度量术和三角学等,并做正弦表。

◎550年,中国南北朝甄鸾撰《五草算经》《五经算术》《算术记遗》。

◎6世纪,中国六朝时,祖日恒提出祖氏定律:若二立体等高处的截面积相等,则二者体积相等。西方直到17世纪才发现同一定律,称为卡瓦列利原理。隋代《皇极历法》内,已用“内插法”来计算日、月的正确位置(中国刘焯)。

◎620年,中国唐朝王孝通著《辑古算经》,解决了大规模土方工程中提出的三次方程求正根的问题。

◎628年,印度婆罗摩笈多研究了定方程和不定方程、四边形、圆周率、梯形和序列。给出了方程ax +by =c (a、b、c 是整数)的第一个一般解。

◎656年,中国唐代李淳风等奉旨著《“十部算经”注释》,作为国子监算学馆的课本。“十部算经”指:《周髀算经》《九章算术》《海岛算经》《张邱建算经》《五经算术》《五曹算经》《夏侯阳算经》《缀术》《缉古算经》。

◎727年,中国唐朝开元年间,僧一行编成《大衍历》,建立了不等距的内插公式。

◎820年,阿拉伯阿尔·花剌子模发表了《印度计数算法》,使西欧熟悉了十进位制。

◎850年,印度摩珂毗罗提出岭的运算法则。

◎约920年,阿拉伯阿尔·巴塔尼提出正切和余切概念,造出从0°到90°的余切表,用sin 标记正弦,证明了正弦定理。

公元1000—1700年

◎1000至1019年,中国北宋刘益著《议古根源》,提出了“正负开方术”。

◎1050年,中国宋朝贾宪在《黄帝九章算术细草》中,创造了开任意高次幂的“增乘开方法”,并列出了二项式定理系数表,这是现代“组合数学”的早期发现。后人所称的“杨辉三角”即指此法。

◎1079年,阿拉伯卡牙姆完成了一部系统研究三次方程的书《代数学》,用圆锥曲线解三次方程。

◎1086至1093年,中国宋朝沈括在《梦溪笔谈》中提出“隙积术”和“会圆术”,开始高阶等差级数的研究。

◎11世纪,阿拉伯阿尔·卡尔希第一次解出了二次方程的根。

◎11世纪,埃及阿尔·海赛姆解决了“海赛姆”问题,即要在圆的平面上两点作两条线相交于圆周上一点,并与在该点的法线成等角。

◎12世纪,印度拜斯迦罗著《立刺瓦提》一书,这是东方算术和计算方面的重要著作。

◎1202年,意大利裴波那契发表《计算之书》,把印度—阿拉伯记数法介绍到西方。

◎1220年,意大利裴波那契发表《几何学实习》一书,介绍了许多阿拉伯资料中没有的示例。

◎1247年,中国宋朝秦九韶著《数书九章》共十八卷,推广了“增乘开方法”。书中提出的联立一次同余式的解法,比西方早570余年。

◎1248年,中国宋朝李治著《测圆海镜》十二卷,这是第一部系统论述“天元术”的著作。

◎1261年,中国宋朝杨辉著《详解九章算法》,用“垛积术”求出几类高阶等差级数之和。

◎1274年,中国宋朝杨辉发表《乘除通变本末》,叙述“九归”捷法,介绍了筹算乘除的各种运算法。

◎1280年,中国元朝王恂、郭守敬等在《授时历》中用招差法编制日月的方位表。

◎14世纪中叶前,中国开始应用珠算盘,并逐渐代替了筹算。

◎1303年,中国元朝朱世杰著《四元玉鉴》三卷,把“天元术”推广为“四元术”。

◎1464年,德国约·米勒在《论各种三角形》(1533年出版)中,系统地总结了三角学。

◎1489年,德国魏德曼用“+”“-”表示正负。

◎1494年,意大利帕奇欧里发表《算术集成》,反映了当时所知道的关于算术、代数和三角学的知识。

◎1514年,荷兰贺伊克用“+”“-”作为加减运算的符号。

◎1535年,意大利塔塔利亚发现三次方程的解法。

◎1540年,英国雷科德用“=”表示相等。

◎1545年,意大利卡尔达诺、费尔诺在《大法》中发表了求三次方程一般代数解的公式。

◎1550至1572年,意大利邦别利出版《代数学》,其中引入了虚数,完全解决了三次方程的代数解问题。

◎1585年,荷兰斯蒂文提出分数指数概念与符号;系统导入了十进制分数与十进制小数的意义、计算法及表示法。

◎1591年左右,德国韦达在《美妙的代数》中首次使用字母表示数字系数的一般符号,推进了代数问题的一般讨论。

◎1596年,德国雷蒂卡斯从直角三角形的边角关系上定义了六个三角函数。

◎1596至1613年,德国奥脱、皮提斯库斯完成了六个三角函数的每间隔十秒的十五位小数表。

◎1614年,英国耐普尔制定了对数,做出第一张对数表,只做出圆形计算尺、计算棒。

◎1615年,德国开普勒发表《酒桶的立体几何学》,研究了圆锥曲线旋转体的体积。

◎1635年,意大利卡瓦列利发表《不可分连续量的几何学》,书中避免无穷小量,用不可分量制定了一种简单形式的微积分。

◎1637年,法国笛卡儿出版《几何学》,提出了解析几何,把变量引进数学,成为“数学中的转折点”。

◎1638年,法国费尔玛开始用微分法求极大、极小问题。

意大利伽利略发表《关于两种新科学的数学证明的论说》,研究距离、速度和加速度之间的关系,提出了无穷集合的概念,这本书被认为是伽利略重要的科学成就。

◎1639年,法国迪沙格发表了《企图研究圆锥和平面的相交所发生的事的草案》,这是近世射影几何学的早期工作。

◎1641年,法国帕斯卡发现关于圆锥内接六边形的“帕斯卡定理”。

◎1649年,法国帕斯卡制成帕斯卡计算器,它是近代计算机的先驱。

◎1654年,法国帕斯卡、费尔玛研究了概率论的基础。

◎1655年,英国瓦里斯出版《无穷算术》一书,第一次把代数学扩展到分析学。

◎1657年,荷兰惠更斯发表了关于概率论的早期论文《论机会游戏的演算》。

◎1658年,法国帕斯卡出版《摆线通论》,对“摆线”进行了充分的研究。

◎1665至1666年,英国牛顿发明微积分。

◎1673至1676年,德国莱布尼茨总述微积分原理。

◎1669年,英国牛顿、雷夫逊发明解非线性方程的牛顿—雷夫逊方法。

◎1670年,法国费尔玛提出“费尔玛大定理”。

◎1673年,荷兰惠更斯发表了《摆动的时钟》,其中研究了平面曲线的渐曲线和渐伸线。

◎1684年,德国莱布尼茨发表了关于微分法的著作《关于极大、极小以及切线的新方法》。

◎1686年,德国莱布尼茨发表了关于积分法的著作。

◎1691年,瑞士约·贝努利出版《微分学初步》,这促进了微积分在物理学和力学上的应用及研究。

◎1696年,法国洛比达发明求不定式极限的“洛比达法则”。

◎1697年,瑞士约·贝努利解决了一些变分问题,发现最速下降线和测地线。

公元1701—1800年

◎1704年,英国牛顿发表《三次曲线枚举》《利用无穷级数求曲线的面积和长度》《流数法》。

◎1711年,英国牛顿发表《使用级数、流数等的分析》。

◎1713年,瑞士雅·贝努利出版了概率论的第一本著作《猜度术》。

◎1715年,英国布·泰勒发表《增量方法及其他》。

◎1731年,法国克雷洛出版《关于双重曲率的曲线的研究》,这是研究空间解析几何和微分几何的最初尝试。

◎1733年,英国德·勒哈佛尔发现正态概率曲线。

◎1734年,英国贝克莱发表《分析学者》,副标题是《致不信神的数学家》,攻击牛顿的《流数法》,引起所谓的第二次数学危机。

◎1736年,英国牛顿发表《流数法和无穷级数》。

◎1736年,瑞士欧拉出版《力学或解析地叙述运动的理论》,这是用分析方法发展牛顿的质点动力学的第一本著作。

◎1742年,英国麦克劳林引进了函数的幂级数展开法。

◎1744年,瑞士欧拉导出了变分法的欧拉方程,发现某些极小曲面。

◎1747年,法国达朗贝尔等由弦振动的研究而开创偏微分方程论。

◎1748年,瑞士欧拉出版了系统研究分析数学的《无穷分析概要》,这是欧拉的主要著作之一。

◎1755至1774年,瑞士欧拉出版了《微分学》和《积分学》三卷。书中包括微分方程论和一些特殊的函数。

◎1760至1761年,法国拉格朗日系统地研究了变分法及其在力学上的应用。

◎1767年,法国的拉格朗日发现分离代数方程实根的方法和求其近似值的方法。

◎1770至1771年,法国拉格朗日把置换群用于代数方程式求解,这是群论的开始。

◎1772年,法国拉格朗日给出三体问题最初的特解。

◎1788年,法国拉格朗日出版了《解析力学》,把新发展的解析法应用于质点、刚体力学。

◎1794年,法国勒让德出版流传很广的初等几何学课本《几何学概要》。德国高斯研究测量误差,提出最小二乘法,于1809年发表。

◎1797年,法国拉格朗日发表《解析函数论》,不用极限的概念而用代数方法建立微分学。

◎1799年,法国蒙日创立画法几何学,在工程技术中应用颇多。德国高斯证明了代数学的一个基本定理:实系数代数方程必有根。

公元1801—1899年

◎1801年,德国高斯出版《算术研究》,开创近代数论。

◎1809年,法国蒙日出版了微分几何学的第一本书《分析在几何学上的应用》。

◎1812年,法国拉普拉斯出版《分析概率论》一书,这是近代概率论的先驱。

◎1816年,德国高斯发现非欧几何,但未发表。

◎1821年,法国柯西出版《分析教程》,用极限严格地定义了函数的连续、导数和积分,研究了无穷级数的收敛性等。

◎1822年,法国彭色列系统研究了几何图形在投影变换下的不变性质,建立了射影几何学。法国傅立叶研究了热传导问题,发明用傅立叶级数求解偏微分方程的边值问题,在理论和应用上都有重大影响。

◎1824年,挪威阿贝尔证明用根式求解五次方程的不可能性。

◎1826年,挪威阿贝尔发现连续函数的级数之和并非连续函数。俄国罗巴切夫斯基和匈牙利的波约改变欧几里得几何学中的平行公理,提出非欧几何学的理论。

◎1827至1829年,德国雅可比、挪威阿贝尔和法国勒阿德尔共同确立了椭圆积分与椭圆函数的理论,在物理、力学中都有应用。

◎1827年,德国高斯建立了微分几何中关于曲面的系统理论。德国莫比乌斯出版《重心演算》,第一次引进齐次坐标。

◎1830年,捷克波尔查诺给出一个连续而没有导数的所谓“病态”函数的例子。法国伽罗华在代数方程可否用根式求解的研究中建立群论。

◎1831年,法国柯西发现解析函数的幂级数收敛定理。德国高斯建立了复数的代数学,用平面上的点来表示复数,破除了复数的神秘性。

◎1835年,法国斯特姆提出确定代数方程式实根位置的方法。

◎1836年,法国柯西证明解析系数微分方程解的存在性。瑞士史坦纳证明具有已知周长的一切封闭曲线中包围最大面积的图形一定是圆。

◎1837年,德国狄利克莱第一次给出了三角级数的一个收敛性定理。

◎1840年,德国狄利克莱把解析函数用于数论,并且引入了“狄利克莱”级数。

◎1841年,德国雅可比建立了行列式的系统理论。

◎1844年,德国格拉斯曼研究多个变元的代数系统,首次提出多维空间的概念。

◎1846年,德国雅可比提出求实对称矩阵特征值的雅可比方法。

◎1847年,英国布尔创立了布尔代数,在后来的电子计算机中有重要应用。

◎1848年,德国库莫尔研究各种数域中的因子分解问题,引进了理想数。英国斯托克斯发现函数极限的一个重要概念——致收敛,但未能严格表述。

◎1850年,德国黎曼给出了“黎曼积分”的定义,提出函数可积的概念。

◎1851年,德国黎曼提出共形映照的原理,在力学、工程技术中应用颇多,但未给出证明。

◎1854年,德国黎曼建立了更广泛的一类非欧几何学——黎曼几何学,并提出多维拓扑流形的概念。俄国车比雪夫开始建立函数逼近论,利用初等函数来逼近复杂的函数。20世纪以来,电子计算机的应用,使函数逼近论有很大的发展。

◎1856年,德国维尔斯特拉斯确立极限理论中的一致收敛性的概念。

◎1857年,德国黎曼详细地讨论了黎曼面,把多值函数看成黎曼面上的单值函数。

◎1868年,德国普吕克在解析几何中引进一些新的概念,提出可以用直线、平面等作为基本的空间元素。

◎1870年,挪威李发现李群,并用以讨论微分方程的求积问题。德国克朗尼格给出了群论的公理结构,这是后来研究抽象群的出发点。

◎1872年,德国戴特金、康托尔、维尔斯特拉斯推进了数学分析的“算术化”,即以有理数的集合来定义实数。德国克莱因发表了“埃尔朗根纲领”,把每一种几何学都看成是一种特殊变换群的不变量论。

◎1873年,法国埃尔米特证明了e 是超越数。

◎1876年,德国维尔斯特拉斯出版《解析函数论》,把复变函数论建立在了幂级数的基础上。

◎1881至1884年,美国吉布斯制定了向量分析。

◎1881至1886年,法国彭加勒连续发表《微分方程所确定的积分曲线》的论文,开创微分方程定性理论。

◎1882年,德国林德曼证明了圆周率是超越数。英国亥维赛制定运算微积,这是求解某些微分方程的简便方法,工程上常有应用。

◎1883年,德国康托尔建立了集合论,发展了超穷基数的理论。

◎1884年,德国弗莱格出版《数论的基础》,这是数理逻辑中量词理论的发端。

◎1887至1896年,德国达布尔出版了四卷《曲面的一般理论的讲义》,总结了一个世纪以来关于曲线和曲面的微分几何学的成就。

◎1892年,俄国李雅普诺夫建立运动稳定性理论,这是微分方程定性理论研究的重要方面。

◎1892至1899年,法国彭加勒创立自守函数论。

◎1895年,法国彭加勒提出同调的概念,开创代数拓扑学。

◎1899年,德国希尔伯特《几何学基础》出版,提出欧几里得几何学的严格公理系统,对数学的公理化思潮有很大影响。瑞利等人最早提出基于统计概念的计算方法——蒙特卡诺方法的思想。20世纪20年代德国柯朗、美国冯·诺伊曼等人发展了这个方法,后在电子计算机上获得广泛应用。

公元1900—1960年

◎1900年,德国希尔伯特,提出数学尚未解决的23个问题,引起了20世纪许多数学家的关注。

◎1901年,德国数学家希尔伯特,严格证明了狄利克莱原理,开创了变分学的直接方法,在工程技术的级拴问题中有很多应用。德国舒尔、弗洛伯纽斯,首先提出群的表示理论。此后,各种群的表示理论得到大量研究。意大利里齐、齐维塔,基本上完成张量分析,又名绝对微分学。确立了研究黎曼几何和相对论的分析工具。法国勒贝格,提出勒贝格测度和勒贝格积分,推广了长度、面积积分的概念。

◎1903年,英国罗素,发现集合论中的罗素悖论,引发了第三次数学危机。瑞典弗列特荷姆,建立线性积分方程的基本理论,是解决数学物理问题的数学工具,并为建立泛函分析作出了准备。

◎1906年,意大利赛维里,总结了古典代数几何学的研究。法国弗勒锡、匈牙利里斯,把由函数组成的无限集合作为研究对象,引入函数空间的概念,并开始形成希尔伯特空间。这是泛函分析的发源。德国哈尔托格斯,开始系统研究多个自变量的复变函数理论。俄国马尔可夫,首次提出“马尔可夫链”的数学模型。

◎1907年,德国寇贝,证明复变函数论的一个基本原理——黎曼共形映照定理。美籍荷兰人布劳威尔,反对在数学中使用排中律,提出直观主义数学。

◎1908年德国金弗里斯,建立点集拓扑学。德国策麦罗,提出集合论的公理化系统。

◎1909年,德国希尔伯特,解决了数论中著名的华林问题。

◎1910年,德国施坦尼茨,总结了19世纪末20世纪初的各种代数系统,如群、代数、域等的研究,开创了现代抽象代数。美籍荷兰人路·布劳威尔,发现不动点原理,后来又发现了维数定理、单纯形逼近法,使代数拓扑成为系统理论。

英国罗素、怀特海合著出版《数学原理》三卷,企图把数学归纳到形式逻辑中去,是现代逻辑主义的代表著作。

◎1913年,法国厄·加当、德国韦耳完成了半单纯李代数有限维表示理论,奠定了李群表示理论的基础。这在量子力学和基本粒子理论中有重要应用。德国韦耳研究黎曼面,初步产生了复流形的概念。

◎1914年,德国豪斯道夫提出拓扑空间的公理系统,为一般拓扑学建立了基础。

◎1915年,美籍德国人爱因斯坦、德国卡·施瓦茨西德把黎曼几何用于广义相对论,解出球对称的场方程,从而可以计算水星近日点的移动等问题。

◎1918年,英国哈台、立笃武特应用复变函数论方法来研究数论,建立解析数论。丹麦人爱尔兰为改进自动电话交换台的设计,提出排队论的数学理论。匈牙利里斯促使了希尔伯特空间理论的形成。

◎1919年,德国亨赛尔建立P -adic 数论,这在代数数论和代数几何中有重要作用。

◎1922年,德国希尔伯特提出数学要彻底形式化的主张,创立数学基础中的形式主义体系和证明论。

◎1923年,法国厄·加当提出一般联络的微分几何学,将克莱因和黎曼的几何学观点统一起来,是纤维丛概念的发端。法国阿达玛提出偏微分方程适定性,解决二阶双曲型方程的柯西问题。波兰巴拿哈提出更广泛的一类函数空间——巴拿哈空间的理论。美国诺·维纳提出无限维空间的一种测度——维纳测度,这对概率论和泛函分析有一定作用。

◎1925年,丹麦哈·波尔创立概周期函数。英国费希尔以生物、医学试验为背景,开创了“试验设计”(数理统计的一个分支),也确立了统计推断的基本方法。

◎1926年,德国纳脱大体上完成对近世代数有重大影响的理想理论。

◎1927年,美国毕尔霍夫建立动力系统的系统理论,这是微分方程定性理论的一个重要方面。

◎1928年,美籍德国人理·柯朗提出解偏微分方程的差分方法。美国哈特莱首次提出通信中的信息量概念。德国格罗许、芬兰阿尔福斯和苏联拉甫连捷夫提出拟似共形映照理论,这在工程技术上有一定应用。

◎1930年,美国毕尔霍夫建立格论,这是代数学的重要分支,对射影几何、点集论及泛函分析都有应用。美籍匈牙利人冯·诺伊曼提出自伴算子谱分析理论并应用于量子力学。

◎1931年,瑞士德拉姆发现多维流形上的微分型和流形的上同调性质的关系,给拓扑学以分析工具。奥地利哥德尔证明了公理化数学体系的不完备性。苏联柯尔莫哥洛夫和美国费勒发展了马尔可夫过程理论。

◎1932年,法国亨·嘉当解决多元复变函数论的一些基本问题。美国毕尔霍夫、美籍匈牙利人冯·诺伊曼建立各态历经的数学理论。法国赫尔勃兰特、奥地利哥德尔、美国克林建立递归函数理论,这是数理逻辑的一个分支,在自动机和算法语言中有重要应用。

◎1933年,匈牙利奥·哈尔提出拓扑群的不变测度概念。苏联柯尔莫哥洛夫提出概率论的公理化体系。美国诺·维纳、丕莱制定复平面上的傅立叶变式理论。

◎1934年,美国莫尔斯创建大范围变分学的理论,为微分几何和微分拓扑提供了有效工具。美国道格拉斯等解决极小曲面的基本问题——普拉多问题,即求通过给定边界而面积为最小的曲面。苏联辛钦提出平稳过程理论。

◎1935年,波兰霍勒维奇等在拓扑学中引入同伦群,成为代数拓扑和微分拓扑的重要工具。法国龚贝尔开始研究产品使用寿命和可靠性的数学理论。

◎1936年,德国寇尼克系统地提出与研究图的理论,美国的贝尔治等对图的理论有很大的发展。20世纪50年代以后,由于在博弈论、规划论、信息论等方面的发展,而得到广泛应用。在荷兰范德凡尔登、法国外耳、美国查里斯基、意大利培·塞格勒等的努力下,现代的代数几何学开始形成。英国图灵、美国邱吉、克林等提出理想的通用计算机概念,同时建立了算法理论。美籍匈牙利人冯·诺伊曼建立算子环论,可以表达量子场论数学理论中的一些概念。苏联索波列夫提出偏微分方程中的泛函分析方法。

◎1937年,美国怀特尼证明微分流形的嵌入定理,这是微分拓扑学的创始。苏联彼得洛夫斯基提出偏微分方程组的分类法,得出某些基本性质。瑞士克拉默开始系统研究随机过程的统计理论。

◎1938年,法国布尔巴基学派编著的布尔巴基丛书《数学原本》开始出版,企图从数学公理结构出发,以非常抽象的方式叙述全部现代数学。

◎1940年,美国哥德尔证明连续统假说在集合论公理系中的无矛盾性。英国绍司威尔提出求数值解的松弛方法。苏联盖尔方特提出交换群调和分析的理论。

◎1941年,美国霍奇定义了流形上的调和积分,并用于代数流形,成为研究流形同调性质的分析工具。苏联谢·伯恩斯坦、日本的伊藤清开始建立马尔可夫过程与随机微分方程的联系。苏联盖尔方特创立赋范环理论,主要用于群上调和分析与算子环论。

◎1942年,美国诺·维纳、苏联的柯尔莫哥洛夫开始研究随机过程的预测,滤过理论及其在火炮自动控制上的应用,由此产生了“统计动力学”。

◎1943年,中国林士谔提出求代数方程数字解的林士谔方法。

◎1944年,美籍匈牙利人冯·诺伊曼等建立了对策论,即博弈论。

◎1945年,法国许瓦茨推广了古典函数概念,创立广义函数论,对微分方程理论和泛函分析有重要作用。美籍华人陈省身建立代数拓扑和微分几何的联系,推进了整体几何学的发展。

◎1946年,美国莫尔电子工程学校和宾夕法尼亚大学埃克特、莫希莱等人试制成功第一台电子计算机ENIAC。法国外耳建立现代代数几何学基础。中国华罗庚发展了三角和法研究解析数论。苏联盖尔方特、诺依玛克建立罗伦兹群的表示理论。

◎1947年,美国埃·瓦尔特创立统计的序贯分析法。

◎1948年,英国阿希贝造出稳态机,能在各种变化的外界条件下自行组织,以达到稳定状态。鼓吹这是人造大脑的最初雏形、机器能超过人等观点。美国诺·维纳出版《控制论》,首次使用“控制论”一词。美国申农提出通信的数学理论。美籍德国人弗里得里希斯、理·柯朗总结了非线性微分方程在流体力学方面的应用,推进了这方面的研究。波兰爱伦伯克、美国桑·麦克伦提出范畴论,这是代数中一种抽象的理论,企图将数学统一于某些原理。苏联康脱洛维奇将泛函分析用于计算数学。

◎1949年,英国剑桥大学制成第一台通用电子管计算机EDSAC。开始确立电子管计算机体系,通称第一代计算机。

◎1950年,英国图灵发表《计算机和智力》一文,提出机器能思维的观点。美国埃·瓦尔特提出统计决策函数的理论。英国大·杨提出解椭圆形方程的超松弛方法,这是目前电子计算机上常用的方法。美国斯丁路特、美籍华人陈省身、法国的艾勒斯曼共同提出纤维丛的理论。

◎1951年,美国霍夫曼、马·霍尔等大力发展“组合数学”,并应用于试验设计、规划理论、网络理论、信息编码等。

◎1952年,美国蒙哥马利等证明连续群的解析性定理,即希尔伯特第五问题。

◎1953年,美国基费等提出优选法,并先后发展了多种求函数极值的方法。

◎1955年,法国亨·嘉当、格洛辛狄克,波兰爱伦伯克制定同调代数理论。美国隆姆贝格提出求数值积分的隆姆贝格方法,这是目前电子计算机上常用的一种方法。瑞典荷尔蒙特等制定线性偏微分算子的一般理论。美国拉斯福特等提出解椭圆形或双线形偏微分方程的交替方向法。英国罗思解决了代数的有理迫近问题。

◎1956年,提出统筹方法(又名计划评审法),即一种安排计划和组织生产的数学方法。英国邓济希等提出线性规划的单纯形方法。苏联道洛尼钦提出解双曲型和混合型方程的积分关系法。

◎1957年,苏联庞特里雅金发现最优控制的变分原理。美国贝尔曼创立动态规划理论,它是使整个生产过程达到预期最佳目的的一种数学方法。美国罗森伯拉特等以美国康纳尔实验室的“感知器”的研究为代表,开始迅速发展图像识别理论。

◎1958年,欧洲GAMM 小组、美国ACM 小组创立算法语言ALGOL (58),后经改进又提出ALGOL (60)、ALGOL (68)等算法语言,用于电子计算机程序自动化。中国科学院计算技术研究所成功试制中国第一台通用电子计算机。

◎1959年,美国国际商业机器公司制成第一台晶体管计算机“IBM 7090”,第二代计算机——半导体晶体管计算机开始迅速发展。

◎1959至1960年,法国霍昆亥姆、美国儿·玻色、印度雷·可都利等提出的伽罗华域论在编码问题上开始应用,并发明BCH 码。

◎1960年,美国卡尔门提出数字滤波理论,进一步发展了随机过程在制导系统中的应用。苏联克雷因、美国顿弗特建立非自共轭算子的系统理论。

目录
设置
设置
阅读主题
字体风格
雅黑 宋体 楷书 卡通
字体大小
适中 偏大 超大
保存设置
恢复默认
手机
手机阅读
扫码获取链接,使用浏览器打开
书架同步,随时随地,手机阅读
首 页 < 上一章 章节列表 下一章 > 尾 页