冯·诺伊曼对世界上第一台电子计算机ENIAC(电子数字积分计算机)的设计提出过建议，1945年3月他在共同讨论的基础上起草EDVAC(电子离散变量自动计算机)设计报告初稿，这对后来计算机的设计有决定性的影响，特别是确定计算机的结构，采用存储程序以及二进制编码等，至今仍为电子计算机设计者所遵循。

    1946年，冯·诺依曼开始研究程序编制问题，他是现代数值分析——计算数学的缔造者之一，他首先研究线性代数和算术的数值计算，后来着重研究非线性微分方程的离散化以及稳定问题，并给出误差的估计。他协助发展了一些算法，特别是蒙特卡罗方法。

    40年代末，他开始研究自动机理论，研究一般逻辑理论以及自复制系统。在生命的最后时刻他深入比较天然自动机与人工自动机。他逝世后其未完成的手稿在1958年以《计算机与人脑》为名出版。
冯·诺伊曼的主要著作收集在《冯·诺伊曼全集》(6卷，1961)中。

    无论在纯粹数学还是在应用数学研究方面，冯·诺依曼都显示了卓越的才能，取得了众多影响深远的重大成果。不断变换研究主题，常常在几种学科交叉渗透中获得成就是他的特色。

    1．集合论，数学基础

    冯·诺依曼的第一篇论文是和菲克特合写的，是关于车比雪夫多项式求根法的菲叶定理推广，注明的日期是1922年，那时冯·诺依曼还不满18岁。另一篇文章讨论一致稠密数列，用匈牙利文写就，题目的选取和证明手法的简洁显露出冯·诺依曼在代数技巧和集合论直观结合的特征。

    1923年当冯·诺依曼还是苏黎世的大学生时，发表了超限序数的论文。文章第一句话就直率地声称“本文的目的是将康托的序数概念具体化、精确。他的关于序数的定义，现在已被普遍采用。

    强烈企求探讨公理化是冯·诺依曼的愿望，大约从l925年到l929年，他的大多数文章都尝试着贯彻这种公理化精神，以至在理论物理研究中也如此。当时，他对集合论的表述处理，尤感不够形式化，在他1925年关于集合论公理系统的博士论文中，开始就说“本文的目的，是要给集合论以逻辑上无可非议的公理化论述”。

    有趣的是，冯·诺依曼在论文中预感到任何一种形式的公理系统所具有的局限性，模糊地使人联想到后来由哥德尔证明的不完全性定理。对此文章，著名逻辑学家、公理集合论奠基人之一的弗兰克尔教授曾作过如下评价：“我不能坚持说我已把(文章的)一切理解了，但可以确有把握地说这是一件杰出的工作，并且透过他可以看到一位巨人”。

    1928年冯·诺依曼发表了论文《集合论的公理化》，是对上述集合论的公理化处理。该系统十分简洁，它用第一型对象和第二型对象相应表示朴素集合论中的集合和集合的性质，用了一页多一点的纸就写好了系统的公理，它已足够建立朴素集合论的所有内容，并借此确立整个现代数学。

    冯·诺依曼的系统给出了集合论的也许是第一个基础，所用的有限条公理，具有像初等几何那样简单的逻辑结构。冯·诺依曼从公理出发，巧妙地使用代数方法导出集合论中许多重要概念的能力简直叫人惊叹不已，所有这些也为他未来把兴趣落脚在计算机和“机械化”证明方面准备了条件。

    20年代后期，冯·诺依曼参与了希尔伯特的元数学计划，发表过几篇证明部分算术公理无矛盾性的论文。l927年的论文《关于希尔伯特证明论》最为引人注目，它的主题是讨论如何把数学从矛盾中解脱出来。文章强调由希尔伯特等提出和发展的这个问题十分复杂，当时还未得到满意的解答。它还指出阿克曼排除矛盾的证明并不能在古典分析中实现。为此，冯·诺依曼对某个子系统作了严格的有限性证明。这离希尔伯特企求的最终解答似乎不远了。这是恰在此时，1930年哥德尔证明了不完全性定理。定理断言：在包含初等算术(或集合论)的无矛盾的形式系统中，系统的无矛盾性在系统内是不可证明的。至此，冯·诺依曼只能中止这方面的研究。

    冯·诺依曼还得到过有关集合论本身的专门结果。他在数学基础和集合论方面的兴趣一直延续到他生命的结束。

    2．量子理论的数学基础，算子环，遍历理论

    在1930～l940年间

上一页  [1] [2] [3] [4] [5] [6] 下一页