《二十世纪数学的发展趋势.docVIP

二十世纪数学的发展趋势 作者：佚名 文章来源：本站原创 点击数： 1530 更新时间：2006-11-20 14:47:51 演讲人：李文林(中国科学院数学与系统科学研究院研究员)我想20世纪的数学，主要的是三块，三大活动，一块就是纯粹数学的扩展，纯粹数学也是叫做核心数学，上级也就是抽象数学，第二块活动就是数学的空间的应用应用数学的空前蓬勃发展。第三块活动就是计算机跟数学的相互影响，这个三大活动构成了20世纪数学的主要线索，我今天主要也就是按照这三大活动，来概括20世纪数学的发展，其中，我先讲纯粹数学。纯粹数学是19世纪的遗产，按照罗素，英国大数学家哲学家罗素的说法，就是说，19世纪，有一个可以跟蒸汽机的使用等等电气的使用可以相提并论的一顶桂冠，就是说，纯粹数学的发现，他认为，纯粹数学主要是19世纪的产物，20世纪，纯粹数学得到了巨大的发展，纯粹数学这个前沿在20世纪不断的挺进，而且，产生出很多令人惊异的成就。比方说，我们大家都知道的哄动一时费马大定理的证明，这是300多年了，一直在前几个世纪都没有解决，但是，20世纪解决了，还有四色定理也是有100多年的历史都没有解决，但是在20世纪被解决了。那么，其他大家可能有的听得比较少的向连续统假设在某种意义上，在一定程度上，也在20世纪被解决了，还有很复杂的节是有限单群的分类定理，也是20世纪很大的成果等等，所以，20世纪引出来一系列很惊人的成果。跟19世纪相比，20世纪纯粹数学的发展，表现下面这样一个特征跟趋势。也就是首先，就是说，更高的抽象化，第二个特征或者叫趋势，更强的统一性，第三个趋势是更深入地对基础的探讨。我后面两个特征，实际上，本质上也是属于抽象化，所以我今天重点还是谈谈20世纪纯粹数学里面更高的抽象化这样一个趋势，那么，抽象化本来是数学的固定的特征，那么，20世纪的抽象化它跟以前的数学发展有什么不同呢？我想20世纪数学的抽象化主要是受了两大因素的推动，一个就是集合论的观点，还有一个是公理化的方法，这个是跟过去的时代是不一样的。那么，集合论的观点，我们知道，集合论本来是德国数学家康托，为了使得分析微积分严格化，而产生的这样一个分支，那么，康托是主要的代表人物，但是，康托的集合，主要是指的数的集合，或者点的集合，那么，后来呢，经过其他数学家，比如说，法国的弗莱歇，他们把集合论加以发展， 发展成推广成为任意元素，这个集合的元素可以是任意的对象这样一个抽象的对象，就产生了一般的集合论，抽象的集合论，这个抽象的集合论，后来被发现，是数学各个领域的一个很有用的语言。它可以在数学各个领域里边作为一种通用的语言来描述数学的一些定理，来建立一些概念。另外一个是公理化方法，我刚才说，20世纪纯粹数学抽象化趋势受第二个推动的大的因素，公理化方法，德国数学家，20世纪也应该算是可以数在前头的一位，赫尔曼外伊他说过这样一句话，他在总结20世纪上半世纪数学发展的时候，他说过这样一句话，他说，20世纪数学的一个十分突出的方面，是公理化方法所起的作用的极度增长，以前他说，公理化仅仅是用来阐明我们所建立的理论的基础。但是，现在，他却成为具体数学研究的工具。这是赫尔曼外伊的一个看法。那么，20世纪的公理化方法的奠基人是德国数学家希尔伯特，希尔伯特大家都可能知道他在1900年国际数学家巴黎大会上，提出23个数学问题，因为这个很有名，但是，希尔伯特有很大的重大的贡献，其中有一个就是他提出来，新的公理化方法，那么，公理化方法在欧几里得几何里面已经有了，在公元前三世纪就已经有了，整个系统是从公理定理开始，然后在这个基础上，建立证明推导很多定理，这就是所谓欧几里得的一个公理化系统，欧几里得的公理系统里面有一条公设叫做第五公设就是平行公设，过直线外一点，能够，而且只能作一条直线，跟已经知道的直线平行。这个公设在这个公理系统里面就显得很特殊，几千年，数学家们一直在问，这条公理，好像他们从直觉上感到跟其他的公理不一样，他们就希望，就问能不能从其他的公理或者定理来证明这条公理，一两千年这个问题没有解决，可以说两千年吧，一直到19世纪才有人发现这条公理是独立的。也就是说你换成另外一个公理，把它欧几里得公理全部保存，欧几里得公理都保存，就把这一条平行公设改成过直线之外可以作不只一条直线，跟原来的直线相平行的话，你同样可以推出一套数学几何来。这套几何本身，也是可以有它的定理，而且，看其他好像也没有什么矛盾。那么这样一来的话就使得欧几里得几何公理的体系就引起了人们的研究，就觉得欧几里得几何公理系统的逻辑结构，还不是很清楚。那么，希尔伯特他经过了大量的研究以后，提出来一套公理化方法，他这个公理化方法，区别于欧几里得的主要是两点，第一点就是他提出来，对公理系统比较要提出逻辑要求，他提出来三条