第一次数学危机
起因
00毕达哥拉斯学派主张“数”是万物的本原、始基，而宇宙中一切现象都可归结为整数或整数之比。在希帕索斯悖论发现之前，人们仅认识到自然数和有理数，有理数理论成为占统治地位的数学规范，希帕索斯发现的无理数，暴露了原有数学规范的局限性。由此看来，希帕索斯悖论是由于主观认识上的错误而造成的。
经过
00公元前5世纪，毕达哥拉斯学派的成员希帕索斯（470B.C.前后）发现：等腰直角三角形斜边与一直角边是不可公度的，它们的比不能归结为整数或整数之比。这一发现不仅严重触犯了毕达哥拉斯学派的信条，同时也冲击了当时希腊人的普遍见解，因此在当时它就直接导致了认识上的“危机”。希帕索斯的这一发现，史称“希帕索斯悖论”，从而触发了数学史上的第一次危机。
影响
00希帕索斯的发现，促使人们进一步去认识和理解无理数。但是，基于生产和科学技术的发展水平，毕达哥拉斯学派及以后的古希腊的数学家们没有也不可能建立严格的无理数理论，他们对无理数的问题基本上采取了回避的态度，放弃对数的算术处理，代之以几何处理，从而开始了几何优先发展的时期，在此后两千年间，希腊的几何学几乎成了全部数学的基础。当然，这种将整个数学捆绑在几何上的狭隘作法，对数学的发展也产生了不利的影响。
00希帕索斯的发现，说明直觉和经验不一定靠得住，而推理和证明才是可靠的，这就导致了亚里士多德的逻辑体系和欧几里德几何体系的建立。
编辑本段
第二次数学危机
起因
00十七世纪末，牛顿和莱布尼兹创立的微积分理论在实践中取得了成 第二次数学危机功的应用，大部分数学家对于这一理论的可靠性深信不移。但是，当时的微积分理论主要是建立在无穷小分析之上的，而无穷小分析后来证明是包含逻辑矛盾的。
经过
001734年，英国大主教贝克莱发表了《分析学者，或致一个不信教的数学家。其中审查现代分析的对象、原则与推断是否比之宗教的神秘与教条，构思更为清楚，或推理更为明显》一书，对当时的微积分学说进行了猛烈的抨击。他说牛顿先认为无穷小量不是零，然后又让它等于零，这违背了背反律，并且所得到的流数实际上是0/0,是“依靠双重错误你得到了虽然不科学却是正确的结果”，这是因为错误互相抵偿的缘故。在数学史上，称之为“贝克莱悖论”。这一悖论的发现，在当时引起了一定的思想混乱，导致了数学史上的第二次危机，引起了持续200多年的微积分基础理论的争论。
00贝克莱攻击“无穷小”，其目的是为宗教神学作论证，而作为“贝克莱悖论”本身，则是一个思想方法问题。因为数学要按照形式逻辑的不矛盾律来思维，不能在同一思维过程中既承认不等于零，又承认等于零。但是，事物的运动以其终点为极限，运动的结果在量上等于零，而在起点上则不等于零，这是事物运动的两个方面，不应纳入同一思维过程，如果把它们机械地联结起来，必然会导致思维中的悖论。贝克莱悖论产生的原因在于无穷小量的辨证性与数学方法的形式特性的矛盾。
影响
00第二次数学危机的产物——分析基础理论的严密化与集合论的创立。
00“贝克莱悖论”提出以后，许多著名数学家从各种不同的角度进行研究、探索，试图把微积分重新建立在可靠的基础之上。法国数学家柯西是数学分析的集大成者，通过《分析教程》（1821）、《无穷小计算讲义》（1823）、《无穷小计算在几何中的应用》（1826）这几部著作，柯西建立起以极限为基础的现代微积分体系。但柯西的体系仍有尚待改进之处。比如：他关于极限的语言尚显模糊，依靠了运动、几何直观的东西；缺乏实数理论。德国数学家魏尔斯特拉斯是数学分析基础的主要奠基者之一，他改进了波尔查诺、阿贝尔、柯西的方法，首次用“ε—δ”方法叙述了微积分中一系列重要概念如极限、连续、导数和积分等，建立了该学科的严格体系。“ε—δ”方法的提出和应用于微积分，标志着微积分算术化的完成。为了建立极限理论的基本定理，不少数学家开始给出无理数的严格定义。1860年，魏尔斯特拉斯提出用递增有界数列来定义无理数；1872年，戴德金提出用分割来定义无理数；1883年，康托尔提出用基本序列来定义无理数；等等。这些定义，从不同的侧面深刻揭示了无理数的本质，从而建立了严格的实数理论，彻底消除了希帕索斯悖论，把极限理论建立在严格的实数理论的基础上，并进而导致集合论的诞生。
编辑本段
第三次数学危机
起因
00魏尔斯特拉斯用排除无穷小量的办法来解决贝克莱悖论，而在上世纪60年代，鲁滨逊又把无穷小量请了回来，引进了超实数的概念，从而建立了非标准分析，同样也能精确地描述微积分，进而也解决了贝克莱悖论。但必须注意到，贝克莱悖论只是在相对意义下得到了解决，因为实数理论的无矛盾性归结为集合论的无矛盾性，而集合论的无矛盾性至今仍未彻底解决。
经过
00经过第一、二次数学危机，人们把数学基础理论的无矛盾性，归结为集 第三次数学危机合论的无矛盾性，集合论已成为整个现代数学的逻辑基础，数学这座富丽堂皇的大厦就算竣工了。看来集合论似乎是不会有矛盾的，数学的严格性的目标快要达到了，数学家们几乎都为这一成就自鸣得意。法国著名数学家庞加莱（1854—1912）于1900年在巴黎召开的国际数学家会议上夸耀道：“现在可以说，（数学）绝对的严密性是已经达到了”。然而，事隔不到两年，英国著名数理逻辑学家和哲学家罗素（1872—1970）即宣布了一条惊人的消息：集合论是自相矛盾的，并不存在什么绝对的严密性！史称“罗素悖论”。1918年，罗素把这个悖论通俗化，成为理发师悖论。罗素悖论的发现，无异于晴天劈雳，把人们从美梦中惊醒。罗素悖论以及集合论中其它一些悖论，深入到集合论的理论基础之中，从而从根本上危及了整个数学体系的确定性和严密性。于是在数学和逻辑学界引起了一场轩然大波，形成了数学史上的第三次危机。
00产生集合论悖论的原因在于集合的辨证性与数学方法的形式特性或者形而上学的思维方法的矛盾。如产生罗素悖论的原因，就在于概括原则造集的任意性与生成集合的客观规则的非任意性之间的矛盾。
影响
00第三次数学危机的产物——数理逻辑的发展与一批现代数学的产生。
00为了解决第三次数学危机，数学家们作了不同的努力。由于他们解决问题的出发点不同，所遵循的途径不同，所以在本世纪初就形成了不同的数学哲学流派，这就是以罗素为首的逻辑主义学派、以布劳威尔（1881—1966）为首的直觉主义学派和以希尔伯特为首的形式主义学派。这三大学派的形成与发展，把数学基础理论研究推向了一个新的阶段。三大学派的数学成果首先表现在数理逻辑学科的形成和它的现代分支——证明论等——的形成上。
00为了排除集合论悖论，罗素提出了类型论，策梅罗提出了第一个集合论公理系统，后经弗伦克尔加以修改和补充，得到常用的策梅罗——弗伦克尔集合论公理体系，以后又经伯奈斯和哥德尔进一步改进和简化，得到伯奈斯——哥德尔集合论公理体系。希尔伯特还建立了元数学。作为对集合论悖论研究的直接成果是哥德尔不完全性定理。
00美国杰出数学家哥德尔于本世纪30年代提出了不完全性定理。他指出：一个包含逻辑和初等数论的形式系统，如果是协调的，则是不完全的，亦即无矛盾性不可能在本系统内确立；如果初等算术系统是协调的，则协调性在算术系统内是不可能证明的。哥德尔不完全性定理无可辩驳地揭示了形式主义系统的局限性，从数学上证明了企图以形式主义的技术方法一劳永逸地解决悖论问题的不可能性。它实际上告诉人们，任何想要为数学找到绝对可靠的基础，从而彻底避免悖论的种种企图都是徒劳无益的，哥德尔定理是数理逻辑、人工智能、集合论的基石，是数学史上的一个里程碑。美国著名数学家冯·诺伊曼说过：“哥德尔在现代逻辑中的成就是非凡的、不朽的——它的不朽甚至超过了纪念碑，它是一个里程碑，在可以望见的地方和可以望见的未来中永远存在的纪念碑”。
00时至今日，第三次数学危机还不能说已从根本上消除了，因为数学基础和数理逻辑的许多重要课题还未能从根本上得到解决。然而，人们正向根本解决的目标逐渐接近。可以预料，在这个过程中还将产生许多新的重要成果。
00发现和提出悖论并加以研究，对于数学基础、逻辑学和哲学都有重要意义。正如塔斯基（1901— ）所指出的：“必须强调的是，悖论在建立现代演绎科学的基础上占有一个特别重要的地位。正如集合论的悖论，特别是罗素悖论成为逻辑和数学相容性形式化的起点一样，撒谎者悖论及其语义学悖论导致了理论语义学的发展。”
http://baike.baidu.com/view/29395.htm
