第三次数学危机.docVIP

第三次数学危机 数学与信息科学学院 数学类 摘 要：本文分析了第三次数学危机产生的历史根源、思想背景，指出它在整个数学史上所占的重要地位。 关键词：数学危机；集合论；悖论； The Third Mathematical Crisis Abstract: This article analyzes the historical root which the third mathematical crisis produces, and the thought background, points out its important status in the entire history of mathematics. Key words: Mathematical crisis; Set theory; Paradox; 前言 从牙牙学语起，我们就同数学打交道了。有的人喜欢数学，有的人却视数学为畏途。因为通常采用的定义、公理、定理、证明的方法，一串串的符号、一排排的公式，实在不让人感到亲切；而一个人只有知道一个概念，一套理论，一种思想方法的背景和来龙去脉时，他才能真正深刻地掌握它。学习数学文化正是完成这一任务的途径。一流的数学家无一没有数学文化方面的修养，许多人就是受了大家著作的启发获得自己的重要思想的。 数学是精密的严格的、准确的、靠得住的。这是大家对数学的普遍看法。数学好像是我们最后的靠山。数学不能出现危机，这似乎是理所当然的事。不过，不可思议的事情还是发生了，危机产生了，虽然那似乎还只是大洋彼岸发生的一场地震。原来，日常用的数学是有限的，可是研究有限的问题时，不可避免要涉及无穷。当我们要用有限的人力去对付只有上帝才能驾驭的无穷时，自然而然出现了矛盾，产生了危机。 1预备知识 为了见清楚第三次数学危机的来龙去脉，我们首先要说明说明什么是数学危机。一般来讲危机是一种激化的、非解决不可矛盾。从哲学上来看，矛盾是无处不在的、不可避免的，即便以确定无疑著称的数学也不例外。数学总有大大小小的许多矛盾，比如正与负、加法与减法、微分与积分、有理数与无理数、实数与虚数等等。但是整个数学发展过程中还有许多深刻的矛盾，例如有穷与无穷，连续与离散，乃至存在与构造，逻辑与直观，具体对象与抽象对象，概念与计算等等。在整个数学发展的历史上，贯穿着矛盾的斗争与解决。而在矛盾激化到涉及整个数学的基础时，就产生了数学危机。矛盾的消除，危机的解决，往往给数学带来新的内容，新的进展，甚至引起革命性的变革，这反映出矛盾斗争是食物发展的历史动力这一基本原理。 整个数学的发展史就是就是矛盾斗争的历史。斗争的结果就是数学领域的发展。 对于第三次数学危机，有人认为只是数学基础的危机，与数学无关。这种看法是片面的。诚然，问题涉及数理逻辑和集合论，但它一开始就涉及无穷集合，而现代数学脱离无穷集合可以说寸步难行。一种极端的观点是只考虑有限集合或至多可数集合，不过这样一来绝大部分数学将不复存在。即便这些有限数学的内容，也有许多问题要涉及无穷方法。比如解决数论中的许多问题都要用解析方法。由此看来，第三次数学危机是一次深刻的数学危机。 2第三次数学危机 2.1 第三次数学危机产生的背景 19世纪末，由于严格的微积分理论的建立，第二次数学危机已基本解决。数学表达式的精确化和理论系统的公理化思想，深深渗透到人类知识的各个领域。严格的微积分理论是以实数理论为基础的，而严格的实数理论又是以集合论为基础，集合论是产生第三次数学危机的直接来源。集合论似乎给数学家带来了一劳永逸的摆脱基础危机的希望，尽管集合论的相容性尚未证明，但许多人认为只是时间早晚的问题。集合论成功地用到了各数学分支，成了数学的基础，数学家们为自己营造的以康托尔集合论为基础的数学大厦即将竣工而狂喜，认为数学理论的严密性已经完成，特别是基础理论已不成问题。 1900年，在巴黎召开的第二届国际数学家大会上，法国大数学家庞加莱(J.H.Poincare)兴奋地宣布：“我们最终达到了绝对的严密吗？在数学前进的每一阶段，我们的前人都坚信他们达到了这一点。如果我们被蒙蔽了，我们是不是也像他们一样被蒙蔽了？……如果我们不厌其烦地严格的话，就会发现只有三段论或归结为纯数的直觉是不可能其欺骗我们的。今天我们可以宣称完全的严格已经达到了。 正当数学家们陶醉于胜利之中，为康托尔(G.F.P.Cantor)所创立的饱经磨难的集合论已为大家所接受，并深入到数学的各个分支而欢欣鼓舞时，暴风雨却正在酝酿，云涛翻滚，山雨欲来，数学史上的一场新的危机正在降临。仅仅过了两年，数学大厦受到了一次强烈的暴风雨的冲击，人们在一次发现，大厦的基础出现了更大的裂痕，甚至有人认为，整个数学大厦的基石有崩塌的危险！ 2.2 罗素悖论 英国的数学家和哲学家罗素以一