关注数学发展,弘扬科学精神,专注数学科普

五、二十世纪中前期的三大数学流派简介

集合论在19世纪末由康托建立后,集合概念成为最基本、应用最广的一个概念，人们曾经相信，全部数学的基础理论可用集合概念统一起来。1900年，在巴黎召开的国际数学家大会上，庞加莱曾满怀信心的说：“现在我们可以说，完全的严格化已经达到了。”可是这话说出后还不到3年，英国数学家罗素于1902年给德国数学家弗雷格的信中提出一个集合悖论，使数学基础发生动摇，用弗雷格的话说：“突然它的一块基石崩塌下来了。”

罗素的集合悖论：

集合可以分为两类：第一类集合的特征是：集合本身又是集合中的元素，例如当时人们经常说的“所有集合所成的集合”；第二类集合的特征是：集合本身不是集合的元素，例如直线上点的集合。显然，一个集合必须是并且只能是这两类集合中的一类。那么，R是哪一类的集合呢？罗素悖论一个通俗的说法是理发师悖论：

在某个城市中有一位理发师，他的广告词是这样写的：“本人的理发技艺十分高超，誉满全城。我将为本城所有不给自己刮脸的人刮脸，我也只给这些人刮脸。我对各位表示热诚欢迎！”来找他刮脸的人络绎不绝，自然都是那些不给自己刮脸的人。可是，有一天，这位理发师从镜子里看见自己的胡子长了，他本能地抓起了剃刀，你们看他能不能给他自己刮脸呢？如果他不给自己刮脸，他就属于“不给自己刮脸的人”，他就要给自己刮脸，而如果他给自己刮脸呢？他又属于“给自己刮脸的人”，他就不该给自己刮脸。

集合论中为什么会产生矛盾这个非常根本的问题，涉及数学逻辑推理的可信性和数学命题的真理性问题，属于数学哲学的范畴。

从1900年到1930年的30年间，许多数学家卷入了一场关于数学哲学基础的讨论，并逐渐形成不同的数学基础学派的争论，主要有逻辑主义、形式主义和直觉主义三个学派。

（一）逻辑主义

1.逻辑主义的历史渊源

逻辑主义的形成究其本原可以追溯到莱布尼兹时代，他把逻辑学想象成一种普遍的科学，这种科学包括构成其它所有科学的基础的一些原则，这种逻辑学先于一切科学的观点，即是逻辑主义思想原则的萌芽。但他并未能开展这一方面的工作。到了19世纪，戴德金、弗雷格和皮亚诺等人继承莱氏先志，逐步发挥，并且都取得了不小的成就。

2.逻辑主义的基本思想

逻辑主义的主要代表人物是英国着名的数学家、哲学家和逻辑学家罗素，他与怀特海于1913年完成了逻辑主义的经典代表作---《数学原理》。作者企图在这3卷本的数学巨着中向人们说明：全部数学可以以一个逻辑公理系统严格推导出来，也就是说可以从逻辑概念出发用明显的定义得出数学概念；由逻辑命题开始用纯逻辑的演绎推得数学定理。从而，使全部数学都可以从基本的逻辑概念和逻辑规则而推导出来。这样，就可以把数学看成是逻辑学延伸或分支。所以，罗素说：“逻辑学是数学的青年时代，而数学是逻辑学的壮年时代。”、“数学即逻辑。”

罗素在他的《数理哲学导论》一书中进一步的阐述了他的主张：“通过分析来达到越来越大的抽象性和逻辑简单性，要研究我们能否找到更为一般的思想原则，以这些思想和原则出发能使现在作为出发点的东西得以被定义和演绎出来”。那么是什么样的思想原则呢？罗素接着说：“应当以一些已被普遍承认了的逻辑的前提出发，再经过演绎而达到那些明显的属于数学的结果。”即把数学化归于逻辑，这是他的基本观点。

在《数学原理》中，罗素和怀特海曾通过纯逻辑的途径再加上集合论的选择公理和无穷公理把当时的数学严格的推导了出来，获得成功。故罗素宣称：“从逻辑中展开纯数学的工作，已由怀特海和我在《数学原理》中详细的做了出来。”但是，事实并非如此，罗素从一个逻辑系统推导数学时使用了集合论的选择公理和无穷公理，这是不可缺的，否则不能完成。不用无穷公理则自然数系统就无法构造，更不要说全部数学了。所以，罗素并没有将数学化归为逻辑，而是化归为集合论。

要从逻辑推出全部数学，就必须发展集合论，而集合论是自相矛盾的，没有相容性的，但是，在逻辑系统中是不允许有矛盾的，因此，必须排除悖论。可后来罗素与怀特海所做的工作并没有很好的解决这个问题，进而遭遇了不少困难。

数学基础学家一般都不接受“数学就是逻辑”的观点；同样也不能接受“一切数学思维都是逻辑思维”的说法。但是，尽管如此。罗素与怀特海合着的《数学原理》一书在20世纪的科学技术发展中影响很大。它以当时最严格的形式化的符号语言来陈述作者建立的逻辑体系、定义和定理，从而标志符号逻辑方法的成功。并显示了数学的逻辑基础研究的意义，因而进一步的显示了现代逻辑的科学意义。

《数学原理》一书成为名着。尽管逻辑主义的主张不能实现，逻辑主义的数学观不能为数学基础学者所广泛接受，但此书在方法论上的意义是不可忽视的。他们相当成功的把古典数学纳入了一个统一的公理系统，使之能从几个逻辑概念和公理出发，再加上集合论的无穷公理就能推出康托集合论、一般算术和大部分数学来。这把逻辑推理发展到前所未有的高度，使人们看到，在数理逻辑演算的基础上能够推演出许多数学内容来，形成了集合论公理系统的逻辑体系，这在逻辑史上是一件大事，对数理逻辑后来的发展起了决定作用，是近代公理方法的一个重要起点。

（声明：本文仅代表作者观点，不代表本站观点，仅做陈列之用）

[责编：雨滴]

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。