计算机时代的理论就是从这个时代开始的！

大家好，关于计算机时代的理论就是从这个时代开始的！很多朋友都还不太明白，不过没关系，因为今天小编就来为大家分享关于的知识点，相信应该可以解决大家的一些困惑和问题，如果碰巧可以解决您的问题，还望关注下本站哦，希望对各位有所帮助！

关注微信：多达数学网，每天获取更多有趣的数学文章

新浪微博：http://weibo.com/duodaa

这应该是互联网上最全面的数学编年史，从公元前30000年到公元2000年，Dota数学网站为您奉献。

这是三万年的数学（六）：十九世纪下半叶的数学

人类历史上的第一次世界大战和第二次世界大战都发生在这一时期。战争催生了科技进步，数学也向两个完全不同的方向发展：——结合实际需要的应用数学，和更多理论抽象的基础数学。这一时期，数学大师辈出，重要的历史节点不断延续。。。进入民国后，近代大学制度开始建立。知识界开始提倡引进“德师”、“赛师”。这一时期，。。也诞生了很多大师。

本期出现的人物包括：希尔伯特、罗素、普朗克、勒贝格、哈代、拉马努金、爱因斯坦、庞加莱、韦尔、凯恩斯、巴纳赫、谢尔平斯基、塔尔斯基、柯尔莫戈诺夫、布劳威尔、豪斯多夫、怀特海、诺特、阿廷、冯·诺依曼、图灵、哥德尔、香农、丘奇、韦尔、维纳。

以下是本系列前几期的内容：

数学三万年（一）：公元前的爱情

三万年的数学（二）：从罗马时代到中世纪

三万年的数学（三）：大航海时代

数学三万年（四）：欧洲资产阶级。。的开始

三万年的数学（五）：十九世纪上半叶的数学

数学三万年（六）：十九世纪下半叶的数学

1900年

希尔伯特在巴黎第二届国际数学家大会上提出了23个问题作为20世纪的挑战。这些问题包括连续统假说、实数良序、哥德巴赫猜想、代数数幂的超越、黎曼假设、“狄利克雷原理”的推广等。大部分问题在20世纪都得到了解决，而每一个问题的解决都是数学中的一件大事。

1900年

Goursat 出版了《数学分析教程》（Cours d'analysis mathematique），其中引入了许多新的分析概念。

1900年

Fredholm 在《求解狄利克雷问题的新方法》 年发展了他的积分方程理论（Sur une nouvelle mthode pour la rsolution du problme de Dirichlet）。

1900年

Fejr 发表了傅里叶级数的基本求和定理。

1900年

Levi-Civita和Ricci-Curbastro发表了《绝对微积分方法及其应用》（Mthodes de calcul Differential Absolu et leures applications），他们在其中建立了张量理论，15年后被用于广义相对论。

1901年

罗素发现了“罗素悖论”，它用简单的方式说明了朴素集合论的固有问题。

1901年

普朗克提出了量子理论。

1901年

提出了求解常微分方程数值解的龙格-库塔方法。

1901年

勒贝格详细阐述了测度论。

1901年

Dickson 发表了《线性群并述伽罗瓦理论》（线性群以及伽罗瓦场论的阐述）。

1902年

勒贝格给出了“勒贝格积分”的定义。

1902年

Beppo Levi 首先提出了公里这一选项。

1902年

吉布斯发表了《统计力学基本原理》（统计力学基本原理），这是一篇精彩的描述，为统计力学奠定了坚实的基础。

1903年

Castelnuovo 出版了《解析与射影几何》 (Geometria analitica e proiettiva)，这是他在代数几何领域最重要的著作。

1904年

策梅洛使用选择公理来证明每个集合都可以是良序的。

1904年

洛伦兹引入了“洛伦兹变换”。

1904年

庞加莱提出了庞加莱猜想：每个具有与3维球体等价的同伦的3维闭流形必定是3维球体。

1904年

在一次演讲中，庞加莱提出了相对论来解释迈克尔逊-莫雷实验。

1905年

爱因斯坦发表了他的狭义相对论。

1905年

拉斯克证明了多项式环理想分解为拟素理想的定理。

1906年

在他的博士论文中，Frchet 研究了度量空间的泛函并描述了紧性的抽象概念。

1906年

马尔可夫研究随机过程，被称为“马尔可夫链”。

1906年

贝特曼将拉普拉斯变换应用于积分方程。

1906年

科赫出版了《平面曲线理论若干问题研究的初等方法》（Une methode geometrique elementaire pour l'etude de certaines questions de la theorie des courbes plan），其中包含“科赫曲线”。它是一条无限长度且处处不可微的连续曲线。

1907年

Frchet 发现了“平方勒贝格可积函数”空间上泛函的积分表示定理。里斯独立地发现了类似的结果。

1907年

爱因斯坦发表了他的等效原理，即重力加速度与机械力加速度无法区分。它是广义相对论的关键组成部分。

1907年

Heegaard 和Dehn 发表了《位置分析》（分析位置），标志着组合拓扑的开始。

1907年

布劳威尔关于数学基础的博士论文挑战了数学的逻辑基础，标志着直觉主义学派的开端。

1907年

Dehn 提出了群表示的词问题和同构问题。

1907年

里斯通过希尔伯特空间的傅里叶分析证明了“里斯-费舍尔定理”。

1908年

Gosset引入了“学生t检验”来处理小样本。

1908年

哈迪和温伯格提出了一项定律，描述显性和隐性遗传特征如何在人群中传播。奠定了群体遗传学的数学基础。

1908年

Zermelo 出版了《论集合论基础》 (Untersuchungen ber die Grundlagen der Mengenlehre)。他将集合论建立在七个公理的基础上：可拓公理、基本集合公理、分离公理、幂集公理、并集公理、选择公理和无穷公理。旨在克服康托遇到的一系列理论困难。

1908年

庞加莱出版了《科学与方法》（《科学与方法》），这也许是他最著名的通俗著作。

1909年

卡迈克尔研究了伪素数。

1909年

埃德蒙·兰道（Edmund Landau）首次系统介绍了解析数论。

1910年

罗素和怀特海出版了第一卷《数学原理》（数学原理）。他们试图将整个数学建立在逻辑的基础上。他们能够提供集合论、有限和超限算术以及基本测度论主要定理的详细推导。三年后，第三卷终于出版了，而计划中的几何第四卷却从未完成。

1910年

域的第一个抽象定义由Steinitz 在《域的代数理论》（Algebraische Theorie der Krper）中给出。

1911年

Sergi Bernstein 于1885 年在Weierstrass 定理的构造性证明中引入了“Bernstein 多项式”。

1912年

Denjoy 推出了“Denjoy 积分”。

1913年

哈代收到了拉马努金的信。他把拉马努金带到了剑桥，他们一起写了五篇关于数论的杰出论文。

1913年

Weyl 发表了《黎曼曲面概念》 (Die Idee der Riemannschen Flache)，将分析、几何和拓扑联系起来。

1914年

Hausdorff 发表了《集合论的要点》 (Grundzge der Mengenlehre)，其中他创建了拓扑度量空间理论。

1914年

比伯巴赫引入了“比伯巴赫多项式”来逼近将给定的简单连接区域共形映射到磁盘的函数。

1914年

Harald Bohr 和Edmund Landau 证明了zeta 函数的零点分布定理。

1915年

爱因斯坦提交了一篇论文，给出了广义相对论的最终版本。

1916年

比伯巴赫提出了比伯巴赫猜想。

1916年

麦考利出版了《模系统的代数理论》（模系统的代数理论），研究了多项式环的理想。它包含了“格罗布纳基础”理论中出现的许多思想。

1916年

谢尔宾斯基给出了第一个绝对正规数的例子，在这个数中，每个数字都有相同的机会出现在任何基数中。

1917年

挂谷询问最小面积。

1919年

罗素出版了《数学哲学引论》（数学哲学导论），其中大部分是在罗素因反战活动入狱期间在监狱中写成的。

1919年

豪斯多夫引入了“豪斯多夫维数”的概念，它是物体的拓扑维数与3之间的实数。用于研究科赫曲线等物体。

1920年

高木发表了一篇关于类场论的基础论文。

1920年

哈塞发现了“部分-整体”原则。

1920年

西格尔的论文在丢番图近似理论中发挥了重要作用。

1920年

Sierpinski 和Mazurkiewicz 创立了数学基础《数学基础》。

1921年

凯恩斯发表了他的《概率论》《论概率》，其中他认为概率是一种逻辑关系，因此是客观的。涉及概率关系的命题具有独立于人们观点的真值。这具有深远的统计和经济影响。

1921年

费舍尔将可能性的概念引入统计学。

1921年

博雷尔发表了一系列关于博弈论的论文，他成为第一个定义策略博弈的人。

1921年

Emmy Noether 发表了《环中的理想论》（Idealtheorie in Ringbereichen），这在现代抽象代数中具有根本性的重要性。

1922年

理查森发表了《通过数值过程预报天气》（数值过程天气预报）。他是第一个将数学方法，特别是有限差分法应用于天气预报的人。手工计算是令人望而却步的，只有计算机的发展才使得他的想法得以实现。

1922年

巴纳赫获得了测度论论文讲师资格。他开始研究规范向量空间。

1922年

弗兰克尔试图将集合论建立在公理基础上。

1922年

切博塔廖夫证明了算术级数中素数密度定理。

1922年

Fejr 和Riesz 发表了关于共形映射的重要著作。

1922年

柯尔莫哥洛夫构造了一个几乎处处发散的可求函数。

1923年

研究发表了有关低维实代数和复代数的重要著作。

1924年

亚历山大推出了著名的“亚历山大与角”。

1925 年，费舍尔出版了《研究工作者的统计方法》（研究工作者的统计方法）。他给出了生物学中使用的实验和统计方法。

1925年

1925年

贝西科维奇解决了有关最小面积的“挂谷问题”。

1925年

克鲁尔证明了阿贝尔算子群分解的“克鲁尔-史密斯定理”。

1926年

Reidemeister 发表了关于结理论的重要著作《节点和群》 (Knoten und gruppen)。

1926年

Artin 和Schreier 发表了一篇关于有序形式实域和实闭域的论文。

1926年

《巴拿赫-塔斯基悖论》

1927年

Emmy Noether、Helmut Hasse 和Richard Brauer 开展了非交换代数方面的工作。

1927年

Artin 在《数学基础》 (Beweis des allgemeinen Reziprozittsgesetzes) 中发表了他的互惠定律。

1928年

冯·米塞斯出版了《分解点集为相同的两部分》（概率、统计和真理）。

1928年

冯·诺依曼证明了博弈论的极小极大定理。

1928年

霍普夫引入了同源群。

1929年

格尔方德提出了关于代数数在有理数域上的线性独立性的猜想。

1930年

范德瓦尔登发表了重要著作《一般性互反律的证明》（现代代数）。这本两卷本介绍了诺特、希尔伯特、戴德金德和阿廷发展的代数。

1930年

Hurewicz 证明了可分离度量空间到紧空间的嵌入定理。

1930年

库拉托夫斯基证明了平面图定理。

1931年

G D Birkhoff 证明了一般遍历定理。利用勒贝格测度将气体分子运动的麦克斯韦-玻尔兹曼理论转化为严格的原理。

1931年

哥德尔出版了《概率，统计与。。》（berformal unentscheidbare Stze der Principia Mathematica und verwandter Systeme）。他证明了公理系统的基本结果，表明在任何公理数学系统（包括算术系统）中，都存在在公理系统内无法证明或证伪的命题。特别是公理的兼容性无法被证明。

1931年

冯·米塞斯将样本空间的思想引入了概率论。

1931年

Borsuk发表了度量微分几何的收缩理论。

1932年

哈尔引入了群体的“哈尔措施”。

1932年

霍尔出版了《现代代数学》（对素数幂阶群理论的贡献）。

1932年

马格努斯证明了单词问题对于单关系群是正确的。

1932年

冯·诺依曼发表了关于量子力学的《在数学以及相关系统中的形式不可判定命题》

1933年

柯尔莫哥洛夫发表了《具有素数幂阶的群理论的贡献》（概率论基础），展示了概率的公理化处理。

1934年

格尔方德和施奈德独立证明了与希尔伯特第七个问题相关的命题。他们证明，当a是代数数（不等于0和1）且q是无理代数数时，a^q是超越数。

1934年

Leray 证明了纳维-斯托克斯方程弱解的存在性。

1934年

佐恩提出了“佐恩引理”，这个引理很可能是由图基命名的。它相当于选择公理。

1935年

丘奇发明了“lambda 演算”，这是当今计算机科学家的宝贵工具。

1936年

图灵发表了《量子力学的数学基础》（论可计算数，以及对Entscheidungsproblem 的应用），其中描述了一种现在称为“图灵机”的理论机器。它成为可计算性理论的重要组成部分。

1936年，丘奇发表了《概率论基础》（初等数论中无法解决的问题）。它包含丘奇定理，该定理指出算术没有判定程序。

1937年，维诺格拉多夫发表了《论可计算数及其在判定问题上的应用》（有关素数理论的一些定理），其中他证明了每个足够大的奇整数都可以表示为三个素数之和。这是对解决哥德巴赫猜想的重要贡献。

1938年

柯尔莫哥洛夫发表了《初等数论中的一个未解决问题》（概率论中的分析方法），为马尔可夫随机过程理论奠定了基础。

1939年

道格拉斯给出了普拉托问题的完整解决方案，证明了给定边界，存在由其界定的最小曲面。

1939 年，亚伯拉罕·阿尔伯特(Abraham Albert) 出版了《关于素数理论的一些定理》（代数结构）。

1940年

贝尔引入了单射模的概念，并开始研究几何中的群作用。

1940年

亚历山德罗夫介绍了精确的序列。

1941年

林尼克介绍了数论中的大筛法。

1941年

亚伯拉罕·艾伯特开始研究非结合代数。

1942年

Steenrod 发表了一篇论文，其中首次介绍了“Steenrod 广场”。

1942年

Eilenberg和Mac Lane发表了一篇论文，首次介绍了“Hom”和“Ext”。

1943年

马歇尔·霍尔发表了关于射影平面的著作。

1943年

奈马克证明了希尔伯特空间中算子自伴代数的“Gelfond-Naimark 定理”。

1944年

冯·诺依曼和摩根斯坦出版了《概率论中的解析方法》（博弈论和经济行为）。博弈论用于研究经济学。

1944年

Artin 研究了满足最低条件的环，现在称为“Artin 环”。

1945年

艾伦伯格和麦克莱恩引入了术语“范畴”和“自然变换”。

1946年

Weil 出版了《代数的结构》（代数几何基础）。

1947年

George Bernard Dantzig 介绍了优化问题的单纯形法。

1948年

1948年

香农发明了信息论并应用数学方法来研究信息传输中的错误。这对于计算机科学和通信至关重要。

1948年

施瓦茨出版了《博弈论与经济行为》（Gnralizes de la notion de fonction, de drivation, de conversion de Fourier et applications mathmatiques et Physiques），这是他关于一般函数理论的第一本重要出版物。

1949年

莫奇利和约翰·埃克特建造了二进制自动计算机（BINAC）。该机器的一个重要进步是能够将数据存储在磁带上而不是穿孔卡上。

1949年

塞尔伯格和埃尔多斯找到了素数定理的基本证明，该证明没有使用复变函数论。

关注微信：多达数学网，每天获取更多有趣的数学文章

新浪微博：http://weibo.com/duodaa