数学领域的花絮：揭露数学危机

十七、十八世纪关于微积分发生的激烈的争论，被称为第二次数学危机。从历史或逻辑的观点来看，它的发生也带有必然性。

这次危机的萌芽出现在大约公元前450年，芝诺注意到由于对无限性的理解问题而产生的矛盾，提出了关于时空的有限与无限的四个悖论：

“两分法”：向着一个目的地运动的物体，首先必须经过路程的中点，然而要经过这点，又必须先经过路程的1/4点……，如此类推以至无穷。——结论是：无穷是不可穷尽的过程，运动是不可能的。

“阿基里斯(《荷马史诗》中的善跑的英雄)追不上乌龟”：阿基里斯总是首先必须到达乌龟的出发点，因而乌龟必定总是跑在前头。这个论点同两分法悖论一样，所不同的是不必把所需通过的路程一再平分。

“飞矢不动”：意思是箭在运动过程中的任一瞬时间必在一确定位置上，因而是静止的，所以箭就不能处于运动状态。

“操场或游行队伍”：A、B两件物体以等速向相反方向运动。从静止的c来看，比如说A、B都在1小时内移动了2公里，可是从A看来，则B在1小时内就移动了4公里。运动是矛盾的，所以运动是不可能的。

芝诺揭示的矛盾是深刻而复杂的。前两个悖论诘难了关于时间和空间无限可分，因而运动是连续的观点，后两个悖论诘难了时间和空间不能无限可分，因而运动是间断的观点。芝诺悖论的提出可能有更深刻的背景，不一定是专门针对数学的，但是它们在数学王国中却掀起了一场轩然大被。它们说明了希腊人已经看到“无穷小”与“很小很小”的矛盾，但他们无法解决这些矛盾。其后果是，希腊几何证明中从此就排除了无穷小。

经过许多人多年的努力，终于在17世纪晚期，形成了无穷小演算——微积分这门学科。牛顿和莱布尼兹被公认为微积分的奠基者，他们的功绩主要在于：把各种有关问题的解法统一成微分法和积分法；有明确的计算步骤；微分法和积分法互为逆运算。由于运算的完整性和应用的广泛性，微积分成为当时解决问题的重要工具。同时，关于微积分基础的问题也越来越严重。关键问题就是无穷小量究竟是不是零?无穷小及其分析是否合理?由此而引起了数学界甚至哲学界长达一个半世纪的争论，造成了第二次数学危机。(www.xing528.com)

无穷小量究竟是不是零?两种答案都会导致矛盾。牛顿对它曾作过三种不同解释：1669年说它是一种常量；1671年又说它是一个趋于零的变量；1676年它被“两个正在消逝的量的最终比”所代替。但是，他始终无法解决上述矛盾。莱布尼兹曾试图用和无穷小量成比例的有限量的差分来代替无穷小量，但是他也没有找到从有限量过渡到无穷小量的桥梁。

英国大主教贝克莱于1734年写文章，攻击流数(导数)“是消失了的量的鬼魂……能消化得了二阶、三阶流数的人，是不会因吞食了神学论点就呕吐的。”他说，用忽略高阶无穷小而消除了原有的错误，“是依靠双重的错误得到了虽然不科学却是正确的结果”。贝克莱虽然也抓住了当时微积分、无穷小方法中一些不清楚不合逻辑的问题，不过他是出自对科学的厌恶和对宗教的维护，而不是出自对科学的追求和探索。

当时一些数学家和其他学者，也批判过微积分的一些问题，指出其缺乏必要的逻辑基础。例如，罗尔曾说：“微积分是巧妙的谬论的汇集。”在那个勇于创造时代的初期，科学中逻辑上存在这样那样的问题，并不是个别现象。

18世纪的数学思想的确是不严密的、直观的，强调形式的计算而不管基础的可靠。其中特别是：没有清楚的无穷小概念，从而导数、微分、积分等概念不清楚；无穷大概念不清楚；发散级数求和的任意性等等；符号的不严格使用；不考虑连续性就进行微分，不考虑导数及积分的存在性以及函数可否展成幂级数等等。

直到19世纪20年代，一些数学家才比较关注于微积分的严格基础。从波尔查诺、阿贝尔、柯西、狄里赫利等人的工作开始，到威尔斯特拉斯、狄德金和康托的工作结束，中间经历了半个多世纪，基本上解决了矛盾，为数学分析奠定了一个严格的基础。

波尔查诺给出了连续性的正确定义；阿贝尔指出要严格限制滥用级数展开及求和；柯西在1821年的《代数分析教程》中从定义变量出发，认识到函数不一定要有解析表达式；他抓住极限的概念，指出无穷小量和无穷大量都不是固定的量而是变量，无穷小量是以零为极限的变量；并且定义了导数和积分；狄里赫利给出了函数的现代定义。在这些工作的基础上，威尔斯特拉斯消除了其中不确切的地方，给出现在通用的极限的定义，连续的定义，并把导数、积分严格地建立在极限的基础上。

19世纪70年代初，威尔斯特拉斯、狄德金、康托等人独立地建立了实数理论，而且在实数理论的基础上，建立起极限论的基本定理，从而使数学分析建立在实数理论的严格基础之上。