约翰·冯·诺依曼
冯·诺依曼在数学的诸多领域都进行了开创性工作,并作出了重大贡献.在第二次世界大战前,他主要从事算子理论、集合论等方面的研究.1923年关于集合论中超限序数的论文,显示了冯·诺依曼处理集合论问题所特有的方式和风格.他把集会论加以公理化,他的公理化体系奠定了公理集合论的基础.他从公理出发,用代数方法导出了集合论中许多重要概念、基本运算、重要定理等.特别在1925年的一篇论文中,冯·诺依曼就指出了任何一种公理化系统中都存在着无法判定的命题.
1933年,冯·诺依曼解决了希尔伯特第5问题,即证明了局部欧几里得紧群是李群.1934年他又把紧群理论与波尔的殆周期函数理论统一起来.他还对一般拓扑群的结构有深刻的认识,弄清了它的代数结构和拓扑结构与实数是一致的. 他对算子代数进行了开创性工作,并奠定了它的理论基础,从而建立了算子代数这门新的数学分支.这个分支在当代的有关数学文献中均称为冯·诺依曼代数.这是有限维空间中矩阵代数的自然推广. 冯·诺依曼还创立了博弈论这一现代数学的又一重要分支. 1944年发表了奠基性的重要论文《博弈论与经济行为》.论文中包含博弈论的纯粹数学形式的阐述以及对于实际博弈应用的详细说明.文中还包含了诸如统计理论等教学思想.冯·诺依曼在格论、连续几何、理论物理、动力学、连续介质力学、气象计算、原子能和经济学等领域都作过重要的工作.
冯·诺依曼对人类的最大贡献是对计算机科学、计算机技术、数值分析和经济学中的博弈论的开拓性工作.
现在一般认为ENIAC机是世界第一台电子计算机,它是由美国科学家研制的,于1946年2月14日在费城开始运行.其实由汤米、费劳尔斯等英国科学家研制的"科洛萨斯"计算机比ENIAC机问世早两年多,于1944年1月10日在布莱奇利园区开始运行.ENIAC机证明电子真空技术可以大大地提高计算技术,不过,ENIAC机本身存在两大缺点:(1)没有存储器;(2)它用布线接板进行控制,甚至要搭接几天,计算速度也就被这一工作抵消了.ENIAC机研制组的莫克利和埃克特显然是感到了这一点,他们也想尽快着手研制另一台计算机,以便改进.
1944年,诺伊曼参加原子弹的研制工作,该工作涉及到极为困难的计算。在对原子核反应过程的研究中,要对一个反应的传播做出“是”或“否”的回答。解决这一问题通常需要通过几十亿次的数学运算和逻辑指令,尽管最终的数据并不要求十分精确,但所有的中间运算过程均不可缺少,且要尽可能保持准确。他所在的洛·斯阿拉莫斯实验室为此聘用了一百多名女计算员,利用台式计算机从早到晚计算,还是远远不能满足需要。无穷无尽的数字和逻辑指令如同沙漠一样把人的智慧和精力吸尽。