离散数学 数学三大危机

文章来源：
数学三大危机是什么 数学史上的三次危机
http://tj.xdf.cn/zixun/zhongxue/201902/148501663.html

数学三大危机是什么？简单来说，第一次数学危机是毕达哥拉斯悖论；第二次数学危机是贝克莱悖论；第三次数学危机是罗素悖论。这数学史上的三次危机都是因为什么原因产生的，又对我们现在的生活产生了哪些影响？今天就请跟随天津新东方学校小编来了解一下吧！
　　
数学三大危机是什么

第一次数学危机：毕达哥拉斯悖论
　　
　　毕达哥拉斯学派在数学上的一项重大贡献是证明了毕达哥拉斯定理，也就是我们所说的勾股定理。勾股定理指出直角三角形三边应有如下关系，即a^2=b2+c^2，a和b分别代表直角三角形的两条直角边，c表示斜边。
　　
　　然而不久毕达哥拉斯学派的一个学生希伯斯很快便发现了这个论断的问题。他发现等腰直角三角形两直角边为1时，斜边永远无法用最简整数比（有理数）来表示，从而发现了第一个无理数，希伯斯推翻了毕达哥拉斯的着名理论。相传当时毕达哥拉斯派的人正在海上，但就因为这一发现而把希伯斯抛入大海。
　　
　　第一次数学危机极大地促进了几何学的发展，使几何学在此后两千年间成为几乎是全部严密数学的基础，这不能不说是数学思想史上的一次巨大革命。
　　
第二次数学危机：贝克莱悖论
　　
　　十七世纪后期，牛顿和莱布尼兹创立了微积分，在实践中取得了巨大成功。然而，微积分学产生伊始，迎来的并非全是掌声，在当时它还遭到了许多人的强烈攻击和指责，原因在于当时的微积分主要建立在无穷小分析之上，而无穷小后来证明是包含逻辑矛盾的。因而，从微积分诞生时就遭到了一些人的反对与攻击。其中攻击最猛烈的是英国大主教贝克莱。
　　
　　第二次数学危机的出现，迫使数学家们不得不认真对待无穷小量△x，为了克服由此引起思维上的混乱，解决这一危机，无数人投入大量的劳动。
　　
第三次数学危机：罗素悖论
　　
　　十九世纪下半叶，康托尔创立了着名的集合论，集合论是数学上最具革命性的理论，初衷是为整个数学大厦奠定坚实的基础。可是1903年，一个震惊数学界的消息传出：集合论是有漏洞的！这就是英国数学家罗素提出的着名的罗素悖论。这一悖论就象在平静的数学水面上投下了一块巨石，而它所引起的巨大反响则导致了第三次数学危机。
　　
　　时至今日，第三次数学危机还不能说已从根本上消除了，因为数学基础和数理逻辑的许多重要课题还未能从根本上得到解决。然而，人们正向根本解决的目标逐渐接近
　　
数学三大危机产生的原因
　　
第一次数学危机：毕达哥拉斯悖论
毕达哥拉斯学派主张“数”是万物的本原、始基，而宇宙中一切现象都可归结为整数或整数之比。公元前5世纪，毕达哥拉斯学派的成员希帕索斯（470B.C.前后）发现：等腰直角三角形斜边与一直角边是不可公度的，它们的比不能归结为整数或整数之比。这一发现不仅严重触犯了毕达哥拉斯学派的信条，同时也冲击了当时希腊人的普遍见解，因此在当时它就直接导致了认识上的“危机”。希帕索斯的这一发现，史称“希帕索斯悖论”，从而触发了数学史上的第一次危机。
　　
第二次数学危机：贝克莱悖论
第二次数学危机的产物――分析基础理论的严密化与集合论的创立。“贝克莱悖论”提出以后，许多着名数学家从各种不同的角度进行研究、探索，试图把微积分重新建立在可靠的基础之上。法国数学家柯西是数学分析的集大成者，通过《分析教程》（1821）、《无穷小计算讲义》（1823）、《无穷小计算在几何中的应用》（1826）这几部着作，柯西建立起以极限为基础的现代微积分体系。但柯西的体系仍有尚待改进之处。比如：他关于极限的语言尚显模糊，依靠了运动、几何直观的东西；缺乏实数理论。法国数学家魏尔斯特拉斯是数学分析基础的主要奠基者之一，他改进了波尔查诺、阿贝尔、柯西的方法，首次用“e―d”方法叙述了微积分中一系列重要概念如极限、连续、导数和积分等，建立了该学科的严格体系。“e―d”方法的提出和应用于微积分，标志着微积分算术化的完成。为了建立极限理论的基本定理，不少数学家开始给出无理数的严格定义。1860年，魏尔斯特拉斯提出用递增有界数列来定义无理数；1872年，戴德金提出用分割来定义无理数；1883年，康托尔提出用基本序列来定义无理数；等等。这些定义，从不同的侧面深刻揭示了无理数的本质，从而建立了严格的实数理论，彻底消除了希帕索斯悖论，把极限理论建立在严格的实数理论的基础上，并进而导致集合论的诞生。
　　
第三次数学危机：罗素悖论
第三次数学危机的产物――数理逻辑的发展与一批现代数学的产生。为了解决第三次数学危机，数学家们作了不同的努力。由于他们解决问题的出发点不同，所遵循的途径不同，所以在本世纪初就形成了不同的数学哲学流派，这就是以罗素为首的逻辑主义学派、以布劳威尔（1881―1966）为首的直觉主义学派和以希尔伯特为首的形式主义学派。这三大学派的形成与发展，把数学基础理论研究推向了一个新的阶段。三大学派的数学成果首先表现在数理逻辑学科的形成和它的现代分支――证明论等――的形成上。为了排除集合论悖论，罗素提出了类型论，策梅罗提出了第一个集合论公理系统，后经弗伦克尔加以修改和补充，得到常用的策梅罗――弗伦克尔集合论公理体系，以后又经伯奈斯和哥德尔进一步改进和简化，得到伯奈斯――哥德尔集合论公理体系。希尔伯特还建立了元数学。作为对集合论悖论研究的直接成果是哥德尔不完全性定理。
　　
　　时至今日，第三次数学危机还不能说已从根本上消除了，因为数学基础和数理逻辑的许多重要课题还未能从根本上得到解决。然而，人们正向根本解决的目标逐渐接近。可以预料，在这个过程中还将产生许多新的重要成果。
　　
数学三大危机带来的影响
　　为了解决第三次数学危机，数学家们作了不同的努力。由于他们解决问题的出发点不同，所遵循的途径不同，所以在本世纪初就形成了不同的数学哲学流派，这就是以罗素为首的逻辑主义学派、以布劳威尔（1881―1966）为首的直觉主义学派和以希尔伯特为首的形式主义学派。这三大学派的形成与发展，把数学基础理论研究推向了一个新的阶段。三大学派的数学成果首先表现在数理逻辑学科的形成和它的现代分支――证明论等――的形成上。为了排除集合论悖论，罗素提出了类型论，策梅罗提出了第一个集合论公理系统，后经弗伦克尔加以修改和补充，得到常用的策梅罗――弗伦克尔集合论公理体系，以后又经伯奈斯和哥德尔进一步改进和简化，得到伯奈斯――哥德尔集合论公理体系。希尔伯特还建立了元数学。作为对集合论悖论研究的直接成果是哥德尔不完全性定理。
　　
　　时至今日，数学三大危机还不能说已从根本上消除了，因为数学基础和数理逻辑的许多重要课题还未能从根本上得到解决。然而，人们正向根本解决的目标逐渐接近。可以预料，在这个过程中还将产生许多新的重要成果。