数学精神与方法(十).docVIP

2006年 公共选修课·通识教育 数学精神与方法 第十讲 数学的结构与统一性 杜乃林 副教授 （武汉大学数学与统计学院） EMAIL：hanlin066@ 数学与哲学 对比一下数学史与哲学史，会发现有一点明显的不同。 数学家在前人工作的基础上工作，他们总是用自己的新建筑使前人的工作显得更加完满、更加巩固。数学家总是在承认别人工作的基础上添加自己的一页。 哲学家也在前人工作的基础上工作，但是他们总是要摧毁前人的建筑，用自己的工作证明别人是错的。哲学家总是在批判别人观点的同时，写出自己的一页。 哲学在反复地破旧立新中成长。数学在不断的建设中发展。 哲学曾经把整个宇宙作为自己的研究对象；那时，它包罗万象，而数学只不过是算术和几何而已。 17世纪，自然科学的大发展使哲学退出了一系列研究领域，哲学的中心问题从“世界是什么样的”变成“人怎样认识世界”。这个时候，数学扩大了自己的领域，它开始研究运动与变化。 今天，数学在向一切学科渗透，它的研究对象是一切模式，形成一个一个的抽象结构——希望概括所有可能的关系与形式。可是西方现代哲学此时却把注意力限于意义的分析，把问题缩小到“人能说出些什么”。 哲学应当是人类认识世界的先导，哲学关心的首先应当是科学的未知领域。 哲学家谈论原子在物理学家研究原子之前，哲学家谈论元素在化学家研究元素之前，哲学家谈论无限与连续在数学家说明无限与连续之前。 一旦科学真真实实地研究哲学家所谈论过的对象时，哲学沉默了。它倾听科学的发现，准备提出新的问题。 哲学，在某种意义上是望远镜，它被用于观察前方。 数学则相反，它最容易进入已获得足够丰富事实的半成熟或成熟的科学，能够提出规律性或前瞻性的假设，有力推动科学研究沿着正确方向深入开展下去。它好像是显微镜，对研究对象作精细观测和分析。 哲学从一门学科退出，意味着这门学科的诞生。数学渗入一门学科，甚至控制一门学科，意味着这门学科达到了成熟的阶段。 哲学的地盘缩小，数学的领域扩大，这是科学发展的结果，是人类智慧的胜利。 但是，宇宙的奥秘无穷。向前看，望远镜的视野不受任何限制。新的学科将不断涌现，而在它们出现之前，哲学有许多事情可做。面对着浩渺的宇宙和人类的种种困难问题，哲学已经放弃的和数学已经占领的，都不过是沧海一粟。 哲学在任何具体学科领域都无法与该学科一争高下，但是它可以从事任何具体学科无法完成的工作，它为一门具体学科的诞生准备条件。 数学在任何具体学科领域都有可能出色地工作，但是离开具体学科之后无法做出贡献。它必须利用具体学科为其创造条件。 哲学与数学——人类的望远镜与显微镜。 数学是统一的吗？ 数学历经2500多年漫长岁月的累积性发展，使之演变成为今天这样的由无数枝繁叶茂的大树构成的森林。它拥有十多个大的分科：代数、数论、几何、拓扑、函数论、微分方程、泛函分析、计算方法、概率论、数理逻辑、运筹学、图论、模糊数学……这些分科又分为多达数百的分支。数学每年产生几万篇论文，经常提出新概念、新定理，形成新分支。这一切使人眼花缭乱。 数学的各个部分是相互联系相互支持的，由于各部分相互沟通、相互促进，而使其发展越来越迅速，并呈现出五光十色、气象万千的景象。 人们不禁要问：数学究竟是一门科学，还是一类科学？ 历史上，哲学家与数学家很早就试图把数学统一起来，那时数学要比今天简单的多。在毕达哥拉斯时代，只有算术和几何。毕达哥拉斯做了第一次尝试，试图把数学统一于自然数。这次尝试由于无理数的发现而以失败告终。 以后相当长的时间里，人们寄希望于几何，希望把数学统一于欧几里得几何。最后发现，连几何也是不统一的，人们的希望又破灭了。 莱布尼兹、弗雷格和罗素都希望把数学统一于逻辑，使庞大的、复杂的、内容丰富的数学归结为非常通俗的、直观的、易于洞察的逻辑，结果导出了极不通俗、极为复杂而令人难以洞察的层次理论和可化归公理。 直觉主义流派的布劳尔和形式主义流派的希尔伯特，又希望数学统一于算术。结果，连算术也不是统一的——这是哥德尔定理的推论。 最后，数学家和逻辑学家寄希望于把数学统一于康托开创的集合论。但是，哥德尔和库恩对选择公理的研究成果表明，集合论自身就是难于统一的。 在经过这些试图把数学统一起来的努力都失败之后，数学反倒变得更加生机勃勃，更加丰富多彩，更加多样化了。数学不断地用新成果使自己壮大，不断地修改着、改组着自己的理论而生出新的分支，以致使人产生一种感觉：数学不是具有统一对象和统一方法的科学，而是一系列建立在局部的、相互之间有千丝万缕联系的精确确定的概念之上的学科。 法国的布尔巴基学派提出了与此相反的观点。他们认为：别看外部现象是多么光怪陆离、五光十色，其实，数学由于内部的进化，比任何时候都巩固了它的各部分的统一，并且建立起比任何时候都更加有联系的整体，形成了数学