历史上的三次数学危机[学习].pptVIP

其理由是：算术以整数、分数等为对象，微积分以变数、函数为对象，几何以点、线、面及其组成的图形为对象。同时，用集合论的语言，算术的对象可说成是“以整数、分数等组成的集合”；微积分的对象可说成是“以函数等组成的集合”；几何的对象可说成是“以点、线、面等组成的集合”。这样一来，都是以集合为对象了。集合成了更基本的概念。 * 精品PPT·可编辑借鉴 于是，集合论似乎给数学家带来了曙光：可能会一劳永逸地摆脱“数学基础”的危机。尽管集合论自身的相容性尚未证明，但许多人认为这只是时间问题。庞加莱（ (Jules Henri Poincaré，法，1854-1912 ）甚至在1900年巴黎国际数学家大会上宣称：“现在我们可以说，完全的严格性已经达到了！” * 精品PPT·可编辑借鉴 2．算术的集合论基础 1）人们按下列逻辑顺序把全部数学的基 础归结为算术，即归结为非负整数，即自然数 集合加上0——现在我国中小学就把这一集合 称为自然数集合。 （算术）非负整数n→有理数 实数 复数 图形 * 精品PPT·可编辑借鉴 因此，全部数学似乎都可归结为非负整数了，或者说，全部数学都可以归结为算术了。 这样，如果能把算术建立在集合论的基础上，就相当于解决了整个“数学基础”的问题。 法国数学家、数理逻辑先驱弗雷格 （G.Frege,1848—1925）就做了这样的工作。他写了一本名叫《算术基础》的书。 * 精品PPT·可编辑借鉴 弗雷格（法,1848—1925） 《算术基础》 * 精品PPT·可编辑借鉴 2) 弗雷格的《算术基础》 为了使算术建立在集合论的基础上，所有 的非负整数，都需要用集合论的观点和语言 重新定义。 首先从0说起。0是什么？ 应当先回答0是什么，然后才有表示“0”的符号。 * 精品PPT·可编辑借鉴 为此，先定义“空集”。空集是“不含元 素的集合”。例如，“ 方程 在实 数集中的根的集合 ”就是一个空集，再例 如“由最大的正整数组成的集合”也是一个 空集。 * 精品PPT·可编辑借鉴 所有的空集放在一起，作成一个集合的集合，（为说话简单我们把“集合的集合”称作类），这个类，就可以给它一个符号：0，中国人念“ling”，英国人念“Zero”。 空集是空的，但由所有空集组成的类，它本身却是一个元素了，即，0是一个元素了。由它再作成一个集合{0}，则不是空集了。 * 精品PPT·可编辑借鉴 3）实践是检验真理的唯一标准 应当承认，贝克莱的责难是有道理的。“无穷小”的方法在概念上和逻辑上都缺乏基础。牛顿和当时的其他数学家并不能在逻辑上严格说清“无穷小”的方法。数学家们相信它，只是由于它使用起来方便有效，并且得出的结果总是对的。特别是像海王星的发现那样鼓舞人心的例子，显示出牛顿的理论和方法的巨大威力。所以，人们不大相信贝克莱的指责。这表明，在大多数人的脑海里，“实践是检验真理的唯一标准。” * 精品PPT·可编辑借鉴 2．危机的实质 第一次数学危机的实质是 “ 不是有理数，而是无理数”。那么第二次数学危机的实质是什么？应该说，是极限的概念不清楚，极限的理论基础不牢固。也就是说，微积分理论缺乏逻辑基础。 * 精品PPT·可编辑借鉴 其实，在牛顿把瞬时速度说成“物体所走的无穷小距离与所用的无穷小时间之比”的时候，这种说法本身就是不明确的，是含糊的。 当然，牛顿也曾在他的著作中说明，所谓“最终的比”，就是分子、分母要成为0还不是0时的比——例如（*）式中的gt，它不是“最终的量的比”，而是“比所趋近的极限”。 * 精品PPT·可编辑借鉴 他这里虽然提出和使用了“极限”这个词，但并没有明确说清这个词的意思。 德国的莱布尼茨虽然也同时发明了微积分，但是也没有明确给出极限的定义。 正因为如此，此后近二百年间的数学家，都不能满意地解释贝克莱提出的悖论。 * 精品PPT·可编辑借鉴 所以，由“无穷小”引发的第二次数学危机，实质上是缺少严密的极限概念和极限理论作为微积分学的基础。 * 精品PPT·可编辑借鉴 牛顿 （英，1642-1727） 莱布尼茨 （德，1646-1716） *