电子百科
1.集合论,数学基础
冯?诺依曼的第一篇论文是和菲克特合写的,是关于车比雪夫多项式求根法的菲叶定理推广,注明的日期是1922年,那时冯?诺依曼还不满18岁。另一篇文章讨论一致稠密数列,用匈牙利文写就,题目的选取和证明手法的简洁显露出冯?诺依曼在代数技巧和集合论直观结合的特征。
1923年当冯?诺依曼还是苏黎世的大学生时,发表了超限序数的论文。文章第一句话就直率地声称“本文的目的是将康托的序数概念具体化、精确。他的关于序数的定义,现在已被普遍采用。
强烈企求探讨公理化是冯?诺依曼的愿望,大约从l925年到l929年,他的大多数文章都尝试着贯彻这种公理化精神,以至在理论物理研究中也如此。当时,他对集合论的表述处理,尤感不够形式化,在他1925年关于集合论公理系统的博士论文中,开始就说“本文的目的,是要给集合论以逻辑上无可非议的公理化论述”。
有趣的是,冯?诺依曼在论文中预感到任何一种形式的公理系统所具有的局限性,模糊地使人联想到后来由哥德尔证明的不完全性定理。对此文章,着名逻辑学家、公理集合论奠基人之一的弗兰克尔教授曾作过如下评价:“我不能坚持说我已把(文章的)一切理解了,但可以确有把握地说这是一件杰出的工作,并且透过他可以看到一位巨人”。
1928年冯?诺依曼发表了论文《集合论的公理化》,是对上述集合论的公理化处理。该系统十分简洁,它用第一型对象和第二型对象相应表示朴素集合论中的集合和集合的性质,用了一页多一点的纸就写好了系统的公理,它已足够建立朴素集合论的所有内容,并借此确立整个现代数学。
冯?诺依曼的系统给出了集合论的也许是第一个基础,所用的有限条公理,具有像初等几何那样简单的逻辑结构。冯?诺依曼从公理出发,巧妙地使用代数方法导出集合论中许多重要概念的能力简直叫人惊叹不已,所有这些也为他未来把兴趣落脚在计算机和“机械化”证明方面准备了条件。
20年代后期,冯?诺依曼参与了希尔伯特的元数学计划,发表过几篇证明部分算术公理无矛盾性的论文。l927年的论文《关于希尔伯特证明论》最为引人注目,它的主题是讨论如何把数学从矛盾中解脱出来。文章强调由希尔伯特等提出和发展的这个问题十分复杂,当时还未得到满意的解答。它还指出阿克曼排除矛盾的证明并不能在古典分析中实现。为此,冯?诺依曼对某个子系统作了严格的有限性证明。这离希尔伯特企求的最终解答似乎不远了。这是恰在此时,1930年哥德尔证明了不完全性定理。定理断言:在包含初等算术(或集合论)的无矛盾的形式系统中,系统的无矛盾性在系统内是不可证明的。至此,冯?诺依曼只能中止这方面的研究。
冯?诺依曼还得到过有关集合论本身的专门结果。他在数学基础和集合论方面的兴趣一直延续到他生命的结束。
2.量子理论的数学基础,算子环,遍历理论
在1930~l940年间,冯?诺依曼在纯粹数学方面取得的成就更为集中,创作更趋于成熟,声誉也更高涨。后来在一张为国家科学院填的问答表中,冯?诺依曼选择了量子理论的数学基础、算子环理论、各态遍历定理三项作为他最重要数学工作。
1927年冯?诺依曼已经在量子力学领域内从事研究工作。他和希尔伯待以及诺戴姆联名发表了论文《量子力学基础》。该文的基础是希尔伯特1926年冬所作的关于量子力学新发展的讲演,诺戴姆帮助准备了讲演,冯?诺依曼则从事于该主题的数学形式化方面的工作。文章的目的是将经典力学中的精确函数关系用概率关系代替之。希尔伯特的元数学、公理化的方案在这个生气勃勃的领域里获得了施展,并且获得了理论物理和对应的数学体系间的同构关系。对这篇文章的历史重要性和影响无论如何评价都不会过高。冯?诺依曼在文章中还讨论了物理学中可观察算符的运算的轮廓和埃尔米特算子的性质,无疑,这些内容构成了《量子力学的数学基础》一书的序曲。
l932世界闻名的斯普林格出版社出版了他的《量子力学的数学基础》,它是冯?诺依曼主要着作之一,初版为德文,1943年出了法文版,l949年为西班牙文版,l955年被译成英文出版,至今仍不失为这方面的经典着作。当然他还在量子统计学、量子热力学、引力场等方面做了不少重要工作。
客观地说,在量子力学发展史上,冯?诺依曼至少作出过两个重要贡献:狄拉克对量子理论的数学处理在某种意义下是不够严格的,冯?诺依曼通过对无界算子的研究,发展了希尔伯特算子理论,弥补了这个不足;此外,冯?诺依曼明确指出,量子理论的统计特征并非由于从事测量的观察者之状态未知所致。借助于希尔伯待空间算子理论,他证明凡包括一般物理量缔合性的量子理论之假设,都必然引起这种结果。
对于冯?诺依曼的贡献,诺贝尔物理学奖获得者威格纳曾作过如下评价:“在量子力学方面的贡献,就是以确保他在当代物理学领域中的特殊地位。”
在冯?诺依曼的工作中,希尔伯特空间上的算子谱论和算子环论占有重要的支配地位,这方面的文章大约占了他发表的论文的三分之一。它们包括对线性算子性质的极为详细的分析,和对无限维空间中算子环进行代数方面的研究。
算子环理论始于1930年下半年,冯?诺依曼十分熟悉诺特和阿丁的非交换代数,很快就把它用于希尔伯特空间上有界线性算子组成的代数上去,后人把它称之为冯?诺依曼算子代数。
1936~l940年间,冯?诺依曼发表了六篇关于非交换算子环论文,可谓20世纪分析学方面的杰作,其影响一直延伸至今。冯?诺依曼曾在《量子力学的数学基础》中说过:由希尔伯特最早提出的思想就能够为物理学的量子论提供一个适当的基础,而不需再为这些物理理论引进新的数学构思。他在算子环方面的研究成果应验了这个目标。冯?诺依曼对这个课题的兴趣贯穿了他的整个生涯。
算子环理论的一个惊人的生长点是由冯?诺依曼命名的连续几何。普通几何学的维数为整数1、2、3等,冯?诺依曼在着作中已看到,决定一个空间的维数结构的,实际上是它所容许的旋转群。因而维数可以不再是整数,连续级数空间的几何学终于提出来了。
1932年,冯?诺依曼发表了关于遍历理论的论文,解决了遍历定理的证明,并用算子理论加以表述,它是在统计力学中遍历假设的严格处理的整个研究领域中,获得的第一项精确的数学结果。冯?诺依曼的这一成就,可能得再次归功于他所娴熟掌握的受到集合论影响的数学分析方法,和他自己在希尔伯特算子研究中创造的那些方法。它是20世纪数学分析研究领域中取得的最有影响成就之一,也标志着一个数学物理领域开始接近精确的现代分析的一般研究。
此外冯?诺依曼在实变函数论、测度论、拓扑、连续群、格论等数学领域也取得不少成果。1900年希尔伯特在那次着名的演说中,为20世纪数学研究提出了23个问题,冯?诺依曼也曾为解决希尔伯特第五问题作了贡献。
3.一般应用数学
1940年,是冯?诺依曼科学生涯的一个转换点。在此之前,他是一位通晓物理学的登峰造极的纯粹数学家;此后则成了一位牢固掌握纯粹数学的出神入化的应用数学家。他开始关注当时把数学应用于物理领域去的最主要工具――偏微分方程。研究同时他还不断创新,把非古典数学应用到两个新领域:对策论和电子计算机。
冯?诺依曼的这个转变一方面来自他长期对数学物理问题的钟情;另一方面来自当时社会方面的需要。第二次世界大战爆发后,冯?诺依曼应召参与了许多军事科学研究计划和工程项目。1940~1957年任马里兰阿伯丁试验弹道研究实验室科学顾问;1941~1955年在华盛顿海军军械局;1943~1955年任洛斯?阿拉莫斯实验室顾问;1950~1955年,陆军特种武器设计委员会委员;1951~1957年。美国空军华盛顿科学顾问委员会成员;1953~1957年,原子能技术顾问小组成员;1954~1957年,导弹顾问委员会主席。
冯?诺依曼研究过连续介质力学。很久以来,他对湍流现象一直感兴趣。l937年他关注纳维―斯克克斯方程的统计处理可能性的讨论,1949年他为海军研究部写了《湍流的最新理论》。
冯?诺依曼研究过激波问题。他在这个领域中的大部分工作,直接来自国防需要。他在碰撞激波的相互作用方面贡献引入注目,其中有一结果,是首先严格证明了恰普曼―儒格假设,该假设与激波所引起的燃烧有关。关于激波反射理论的系统研究由他的《激波理论进展报告》开始。
冯?诺依曼研究过气象学。有相当一段时间,地球大气运动的流体力学方程组所提出的极为困难的问题―直吸引着他。随着电子计算机的出现,有可能对此问题作数值研究分析。冯?诺依曼搞出的第一个高度规模化的计算,处理的是一个二维模型,与地转近似有关。他相信人们最终能够了解、计算并实现控制以致改变气候。
冯?诺依曼还曾提出用聚变引爆核燃料的建议,并支持发展氢弹。1947年军队发嘉奖令,表扬他是物理学家、工程师、武器设计师和爱国主义者。
4.对策论
冯?诺依曼不仅曾将自己的才能用于武器研究等,而且还用于社会研究。由他创建的对策论,无疑是他在应用数学方面取得的最为令人羡慕的杰出成就。现今,对策论主要指研究社会现象的特定数学方法。它的基本思想,就是分析多个主体之间的利害关系时,重视在诸如下棋、玩扑克牌等室内游戏中竞赛者之间的讨价还价,交涉,结伙,利益分配等行为方式的类似性。
对策论的一些想法,20年代初就曾有过,真正的创立还得从冯?诺依曼1928年关于社会对策理论的论文算起。在这篇文章中,他证明了最小最大定理,这个定理用于处理一类最基本的二人对策问题。如果对策双方中的任何一方,对每种可能的策略,考虑了可能遭到的最大损失,从而选择“最大损失”最小的一种为“最优”策略,那么从统计角度来看,他就能够确保方案是最佳的。这方面的工作大致已达到完善。在同一篇论文中,冯?诺依曼也明确表述了n个游戏者之间的一般对策。
对策论也被用于经济学。经济理论中的数学研究方法,大致可分为定性研究为目标的纯粹理论和以实证的、统计的研究为目标的计量经济学。前者称为数理经济学,正式确立于本世纪40年代之后。无论在思想上或方法上,都明显地受到对策论的影响。
数理经济学,过去模仿经典数学物理的技巧,所用的数学工具主要是微积分和微分方程、将经济问题当成经典力学问题处理。显然,几十个商人参加的贸易洽谈会,用经典数学分析处理,其复杂程度远远超过太阳系行星的运动,这种方法的效果往往很难是预期的。冯?诺依曼毅然放弃这种简单的机械类比,代之以新颖的对策论观点和新的数学―和凸性的思想。
1944年,冯?诺依曼和摩根斯特思合着的《对策论和经济行为》是这方面的奠基性着作。论文包含了对策论的纯粹数学形式的阐述以及对于实际应用的详细说明。这篇论文以及所作的与某些经济理论的基本问题的讨论,引起了对经济行为和某些社会学问题的各种不同研究,时至今日,这已是应用广泛、羽毛日益丰盛的一门数学学科。有些科学家热情颂扬它可能是“20世纪前半期最伟大的科学贡献之一”。
5.计算机
对冯?诺依曼声望有所贡献的最后一个课题是电子计算机和自动化理论。
早在洛斯?阿拉莫斯,冯?诺依曼就明显看到,即使对一些理论物理的研究,只是为了得到定性的结果,单靠解析研究也已显得不够,必须辅之以数值计算。进行手工计算或使用台式计算机所需化费的时间是令人难以容忍的,于是冯?诺依曼劲头十足的开始从事电子计算机和计算方法的研究。
1944~l945年间,冯?诺依曼形成了现今所用的将一组数学过程转变为计算机指令语言的基本方法,当时的电子计算机(如ENIAC)缺少灵活性、普适性。冯?诺依曼关于机器中的固定的、普适线路系统,关于“流图”概念,关于“代码”概念为克服以上缺点作出了重大贡献。尽管对数理逻辑学家来说,这种安排是显见的。
计算机工程的发展也应大大归功于冯?诺依曼。计算机的逻辑图式,现代计算机中存储、速度、基本指令的选取以及线路之间相互作用的设计,都深深受到冯?诺依曼思想的影响。他不仅参与了电子管元件的计算机ENIAC的研制,并且还在普林斯顿高等研究院亲自督造了一台计算机。稍前,冯?诺依曼还和摩尔小组一起,写出了一个全新的存贮程序通用电子计算机方案EDVAC,长达l0l页的报告轰动了数学界。这一向专搞理论研究的普林斯顿高等研究院也批准让冯?诺依曼建造计算机,其依据就是这份报告。
速度超过人工计算千万倍的电子计算机,不仅极大地推动数值分析的进展,而且还在数学分析本身的基本方面,刺激着崭新的方法的出现。其中,由冯?诺依曼等制订的使用随机数处理确定性数学问题的蒙特卡洛方法的蓬勃发展,就是突出的实例。
19世纪那种数学物理原理的精确的数学表述,在现代物理中似乎十分缺乏。基本粒子研究中出现的纷繁复杂的结构,令人眼花廖乱,要想很决找到数学综合理论希望还很渺茫。单从综合角度看,且不提在处理某些偏微分方程时所遇到的分析困难,要想获得精确解希望也不大。所有这些都迫使人们去寻求能借助电子计算机来处理的新的数学模式。冯?诺依曼为此贡献了许多天才的方法:它们大多分载在各种实验报告中。从求解偏微分方程的数值近似解,到长期天气数值须报,以至最终达到控制气候等。
在冯?诺依曼生命的最后几年,他的思想仍甚活跃,他综合早年对逻辑研究的成果和关于计算机的工作,把眼界扩展到一般自动机理论。他以特有的胆识进击最为复杂的问题:怎样使用不可靠元件去设计可靠的自动机,以及建造自己能再生产的自动机。从中,他意识到计算机和人脑机制的某些类似,这方面的研究反映在西列曼讲演中;逝世后才有人以《计算机和人脑》的名字,出了单行本。尽管这是未完成的着作,但是他对人脑和计算机系统的精确分析和比较后所得到的一些定量成果,仍不失其重要的学术价值。