数学确定性丧失的再认识.ppt

一、 数学原理的真理性的建立 数学原理的真理性，即数学作为自然界甚至整个宇宙的构成方式，是对客观现实的正确反映。 宇宙或自然界的奥秘是用数学语言写成的，外部物质世界遵循着数学的原理。 这一含义来自于古希腊毕达哥拉斯学派。 进入十八世纪，数学获得极大发展，大众广泛地相信，数学和科学中的数学定理是真理 伯努利家族、欧拉、达朗贝尔、拉格朗日、拉普拉斯等许多数学家。 数学定理不仅被作为真理接受，而且为探索大自然提供了更加强有力的工具。 数学研究的目的在于获得更多的自然规律，更深刻地了解自然的设计。 两件非常具有数学意义的事情 其一是对哈雷彗星回归的预言证明了数学工作在天文学上的精确性； 其二就是最为人们所津津乐道的海王星的发现。 天文学中另一辉煌的成就应归功于拉格朗日和拉普拉斯的工作。 人们观测到月球和行星的运动不很规则，这可能意味着它们将越来越远离太阳或是移向太阳。 拉格朗日和拉普拉斯证明了，人们所观测到的木星和土星速度的不规则是周期性变化的，因而其运动基本上是稳定的。 十九世纪，数学界一片繁荣景象： 拉格朗日，拉普拉斯，傅里叶，高斯 ，柯西…… 他们的工作似乎成了不容反驳的明证：越来越多关于自然界的真理正在被揭示。 拉普拉斯还有一段更著名的论述： 我们可以把目前的宇宙状态看作是宇宙过去的结果和将来的原因。如果一个有理性的人在任何时刻都知道生物界的一切力及所有生物的相互位置，而他的才智又足以分析一切资料，那么他就能用一个方程式表达宇宙中最庞大的物体和最轻微的原子的运动。 对他来说，一切都是完全确定的，过去与未来都将呈现在他眼前。 M.克莱因这样说： 他们加速寻找自然界的定律，他们似乎被这样一种信念所驱使：他们就是神派来解释上帝意图的。 综合起来可以这样说： 数学在各样的人类文明中拥有了最大的权威和最高的话语权，具有最大意义的确定性，可以说成为了绝对真理。 然而也许是物极必反，就在这样一个时刻，非欧几何、四元数的出现，瓦解了数学原理的真理性的信条。 二、数学原理真理性的丧失 19世纪以前, 所有的数学家都认为欧氏几何是物质空间和此空间内图形性质的正确的理想化。 哲学家康德关于数学是先天综合判断的论述更使世人相信物质世界是欧氏几何的, 欧氏几何是唯一的与必然的。 但非欧几何的诞生使数学家们开始意识到欧氏几何并非物质空间的唯一几何，欧氏几何只是各种可能的几何理论中的一种, 从而也就不具有什么绝对真理性。 统治人类长达两千年之久的数学实在论思想被动摇了 第一个看到非欧几何具有变革性意义的是数学家高斯, 高斯不仅承认非欧几何的适用性, 而且认识到欧氏几何并无必然的真理性, 重新考虑数学的基础问题。 非欧几何的创立使人们意识到，数学是一种人为的创造物 。 三、 数学体系确定性的建立 数学与逻辑结合,或者说数理逻辑发展的一个重要起点 ,就是数学求助于逻辑来证明自己的一致性。 数学体系的确定性，即数学是否是在牢靠的根基之上发展出的合乎逻辑的体系，也就是所谓的数学基础（确定性）问题。 与数学的真理性不同，数学的确定性是个内在性的概念，着眼于数学这一领域本身的逻辑基础和合理性发展。 数学是理性精神的化身 数学与外部世界相符的思路正转向对数学本身的考量。 古希腊人就是在系统探究几何学的征途上完成了巨著《几何原本》，并且它的诞生使得人们不但对数学公理和定理确信不疑, 而且对演绎法十分信赖。 然而正是按照欧氏几何的思想方法导出了非欧几何学。 对数学真理性的怀疑迫使人们开始重新审视数学基础，试图建立确定的数学体系。 三次数学危机的历史，也是数学体系确定性的历史。 从微积分基础开始，柯西揭开了分析严格化的序幕 ； 而分析的基本原理的严格化得以完成主要归功于维尔斯特拉斯：他第一个在有理数性质的基础上给出了无理数的严格定义。 戴德金在给学生讲授微积分时才认识到清楚的无理数理论的迫切性。 再经过康托、皮亚诺等人的努力，实数和复数系统的逻辑结构被建立起来。 正是建立实数体系的努力导致了集合论---现代数学的标志---的诞生。 关键的无穷集合被其引入数学之中，迫使康托尔放弃了“整体大于部分”的传统观念，提出并且发展了超限数理论。 集合论给数学开辟了广阔的新领域，正是由于集合论在数学界占据了统治地位之后，我们才可以说现代数学才真正得以形成。 数学家们利用集合论的语言重新描述或解决了代数、几何分析中长期存在的问题。同时集合论的发展也引出了实变函数伦、抽象代数、点集拓扑学等许多现代数学分支。 集合论在19世纪末20世纪初数学基础研究热潮中扮演了关键性的角色。 在当时的数学界看来，整个数学的严格性被建立在集合论的基础之上了。 庞加莱就说：“借助集合论概念，我们可以建造整个数学大厦，今天，我们可以