论数学基础三大学派.docVIP

论数学基础三大学派 2006111225 陈楷城 集合论在19世纪末由康托建立后,集合概念成为最基本、应用最广的一个概念，人们曾经相信，全部数学的基础理论可用集合概念统一起来。1900年，在巴黎召开的国际数学家大会上，庞加莱曾满怀信心的说：“现在我们可以说，完全的严格化已经达到了。”可是这话说出后还不到3年，英国数学家罗素于1902年给德国数学家弗雷格的信中提出一个集合悖论，使数学基础发生动摇，用弗雷格的话说：“突然它的一块基石崩塌下来了。” 罗素的集合悖论一个通俗说法就是：某工厂有许多机器人，有一部专门修理机器人的机器人，称他为甲，甲规定只修理那些不修理自己的机器人，那么问“甲是否修理自己？”显然甲将陷入矛盾之中。 集合论中为什么会产生矛盾这个非常根本的问题，涉及数学逻辑推理的可信性和数学命题的真理性问题，属于数学哲学的范畴。 从1900年到1930年的30年间，许多数学家卷入了一场关于数学哲学基础的讨论，并逐渐形成不同的数学基础学派的争论，主要有逻辑主义、形式主义和直觉主义三个学派。 一、逻辑主义 1.逻辑主义的历史渊源 逻辑主义的形成究其本原可以追溯到莱布尼兹时代，他把逻辑学想象成一种普遍的科学，这种科学包括构成其它所有科学的基础的一些原则，这种逻辑学先于一切科学的观点，即是逻辑主义思想原则的萌芽。但他并未能开展这一方面的工作。到了19世纪，戴德金、弗雷格和皮亚诺等人继承莱氏先志，逐步发挥，并且都取得了不小的成就。 2逻辑主义的基本思想 逻辑主义的主要代表人物是英国著名的数学家、哲学家和逻辑学家罗素，他与怀特海于1913年完成了逻辑主义的经典代表作---《数学原理》。作者企图在这3卷本的数学巨著中向人们说明：全部数学可以以一个逻辑公理系统严格推导出来，也就是说可以从逻辑概念出发用明显的定义得出数学概念；由逻辑命题开始用纯逻辑的演绎推得数学定理。从而，使全部数学都可以从基本的逻辑概念和逻辑规则而推导出来。这样，就可以把数学看成是逻辑学延伸或分支。所以，罗素说：“逻辑学是数学的青年时代，而数学是逻辑学的壮年时代。”“数学即逻辑。”罗素在他的《数理哲学导论》一书中进一步的阐述了他的主张：“通过分析来达到越来越大的抽象性和逻辑简单性，……要研究我们能否找到更为一般的思想原则，以这些思想和原则出发能使现在作为出发点的东西得以被定义和演绎出来”。那么是什么样的思想原则呢？罗素接着说：“应当以一些已被普遍承认了的逻辑的前提出发，再经过演绎而达到那些明显的属于数学的结果。”即把数学化归于逻辑，这是他的基本观点。 在《数学原理》中，罗素和怀特海曾通过纯逻辑的途径再加上集合论的选择公理和无穷公理把当时的数学严格的推导了出来，获得成功。故罗素宣称：“从逻辑中展开纯数学的工作，已由怀特海和我在《数学原理》中详细的做了出来。”但是，事实并非如此，罗素从一个逻辑系统推导数学时使用了集合论的选择公理和无穷公理，这是不可缺的，否则不能完成。不用无穷公理则自然数系统就无法构造，更不要说全部数学了。所以，罗素并没有将数学化归为逻辑，而是化归为集合论。要从逻辑推出全部数学，就必须发展集合论，而集合论是自相矛盾的，没有相容性的，但是，在逻辑系统中是不允许有矛盾的，因此，必须排除悖论。可后来罗素与怀特海所做的工作并没有很好的解决这个问题，进而遭遇了不少困难。 数学基础学家一般都不接受“数学就是逻辑”的观点；同样也不能接受“一切数学思维都是逻辑思维”的说法。但是，尽管如此。罗素与怀特海和著的《数学原理》一书在20世纪的科学技术发展中影响很大。它以当时最严格的形式化的符号语言来陈述作者建立的逻辑体系、定义和定理，从而标志符号逻辑方法的成功。并显示了数学的逻辑基础研究的意义，因而进一步的显示了现代逻辑的科学意义。《数学原理》一书成为名著。尽管逻辑主义的主张不能实现，逻辑主义的数学观不能为数学基础学者所广泛接受，但此书在方法论上的意义是不可忽视的。他们相当成功的把古典数学纳入了一个统一的公理系统，使之能从几个逻辑概念和公理出发，再加上集合论的无穷公理就能推出康托集合论、一般算术和大部分数学来。这把逻辑推理发展到前所未有的高度，使人们看到，在数理逻辑演算的基础上能够推演出许多数学内容来，形成了集合论公理系统的逻辑体系，这在逻辑史上是一件大事，对数理逻辑后来的发展起了决定作用，是近代公理方法的一个重要起点。 二、形式主义 一般认为，形式主义的奠基人是希尔伯特，并把希尔伯特的数学观和数学基础称作为“形式主义”，罗素和布劳威尔称希尔伯特为形式主义的代表人物，但他们是指希尔伯特奠定数学基础的形式化方法，不一定是指他的某种主张。而希尔伯特本人并不自命为形式主义者，他的学生贝尔奈斯也不认为希尔伯特是形式主义者。 1.形式主义的形成 形式主义理论体系是在非欧几何产生之后，在数