
John von Neumann(约翰·冯·诺依曼,匈牙利,1903 年生)在 计算机体系结构与数理逻辑 领域的位置,很少有人能给出准确坐标。冯·诺依曼结构是至今几乎所有通用计算机的骨架,而他对自身贡献的估价是”技术细节,可被后人超越”。
一、问题一:物理测量到底能不能算准——测不准原理与那篇论文
1903 年,这个坐标决定了 John von Neumann 早年接触到的语汇。John von Neumann 在这里最初接触的是 父亲是犹太银行家、母亲是钢琴家,他七岁能心算八位数除法,十六岁以满分考入布达佩斯大学,二十二岁拿到化学工程博士学位,这套底层训练后来成了 John von Neumann 处理 计算机体系结构与数理逻辑 问题时最本能的工具箱。
他在布达佩斯完成的那段学业几乎没有一条是常规路线。十六岁进大学时选的科目包含物理、化学与数学三门主干,而当时的匈牙利大学教育仍处于严格的古典传统中,这类组合属于相当超前的安排。
他二十岁已经在布达佩斯大学取得数学博士学位,随后去德国哥廷根大学继续师从 Hilbert。这段经历很关键,因为哥廷根是当时数学世界的绝对中心,Hilbert 的问题直接塑造了此后二三十年的数学研究议程。
他的父亲 Max Neumann 是犹太银行家,在反犹主义抬头的年代把儿子的教育投入视为家族未来的希望。这段家庭背景使冯·诺伊曼与同时代的匈牙利学者群体保持了密切联系,这些联系在他流亡美国后依然发挥作用。
二、布达佩斯:满分卷、十六岁的大学
与 Wigner 合作建立 Dirac–von Neumann 量子统计学 落在 1932 年。核心机制是 用矩阵代数严格处理带自旋的复合系统,证明本征值不可约简的希尔伯特空间必然是无限维的,但真正的意义不在机制本身——在于 这篇论文是把量子力学从计算技巧变成数学结构的关键一步。
在冯·诺伊曼之前,量子力学已经能给出精确的实验预测,但它的理论基础是一组写在黑板上的经验规则:哪条跃迁是允许的、振幅该怎么加。这些规则可以用,但无法回答关于它们本身的问题。
《量子力学的数学基础》的贡献是把整套系统重构在一个固定的公理框架上。冯·诺伊曼从无实验定义公理出发,先证明这样的系统必然存在,再证明它的希尔伯特空间必然是无限维且不可约的,最后导出所有其他定理。
其中对带自旋复合系统的处理尤其重要。当时 Dirac 在这项工作上与冯·诺伊曼独立推进且给出了错误的力学方程,两人先在论文里公开争论了一轮,随后共同修正并合作发表。这个过程在学术圈被反复提及,因为它同时展示了争论与合作的正反两面。
这本书出版后不久,量子力学在哥廷根与哥本哈根之间出现了分歧,以 Bohr 与 Heisenberg 为首的哥本哈根派强调物理实验与可观测量的地位,而冯·诺伊曼这边强调形式公理体系。这场持续数十年的争论至今未有定论,但两方共同建立起来的严格性标准已经成为现代物理的常规要求。
三、问题二:抽象能不能变成一台机器——从普林斯顿到宾夕法尼亚
1943 年,John von Neumann 加入 宾夕法尼亚大学 ENIAC 项目,把 普林斯顿高等研究院 时期积累的 他在集合论与算子代数上的全部形式化训练 带进了 如何让一台电子机器在纸带输入下完成这些抽象运算 这条全新战线。这也是 John von Neumann 第一次需要在工程约束下做取舍。
普林斯顿高等研究院给了他一个几乎不被打扰的位置,这个位置至今仍保留在研究所的历史介绍里。但当时美国政府的战时研究需求极强,包括计算弹道表与流体动力学模拟在内的多个项目都直接找到了他。
宾夕法尼亚大学是当时电子计算机的另一个中心,ENIAC 项目就在那里。这台机器的设计目标是每秒完成上万个十进制乘法,使用的是上万只电子管与大量接线开关。ENIAC 交付后需要人来手动设定指令与数据,这正是冯·诺伊曼认定的根本缺陷。
他在 EDVAC 报告里给出的方案比“把数据存在外面”更彻底:不仅数据、连指令序列也用同一编码存进同一个存储区,这样顺序执行自然就被包含了,而条件跳转则通过修改存储内容来实现。报告里还给出了五道指令与指令格式的表格。
四、第一份”程序清单”与指令即数据
当时这条路并不被看好。当时美国军方主流认为电子管运算速度不足以支撑实时控制,必须保留人工干预——John von Neumann 顶住的原因是 他坚持只要程序也存进同一存储器,机器就无需人在回路。
EDVAC 报告 1945 年 6 月公开后影响很大,但它带来的不只是方案,还是一场争论。当时宾夕法尼亚的另一位主要设计者与军方代表都不同意他的主张,理由是电子管运算速度不够快,装入程序需要数分钟,所以“程序装好之后修改”这种设想在他们看来不现实。
这次冲突的后果很实际。冯·诺伊曼在 1946 年离开宾夕法尼亚,带走了原本参与 EDVAC 后半段设计的人员,EDVAC 的工程进度因此大幅延后。同一时间他去了普林斯顿高等研究院,并开始推动 IAS 机项目,那台机器采用了完整的存储程序设计。
这个路线之争最后以事实收场。1948 年 6 月,Manchester Baby 首次公开运行存储程序,几个月后美国的多个存储程序机器相继完成,冯·诺伊曼在 IAS 机上的工作成为早期结构的直接源头。1951 年 IAS 机投入运行,它所使用的地址结构与指令集成为此后几十年主流架构的蓝本。
五、问题三:模型能不能预测经济——游戏与经济:被低估的另一半
1944 年的 与 Oskar Morgenstern 合著 Theory of Games and Economic Behavior 是 John von Neumann 的分水岭。把零和博弈推广到非零和,引入混合策略与期望支付的可计算定义,这一点后来被整个 计算机体系结构与数理逻辑 领域反复引用,而 纳什、凯恩斯、冯·诺依曼三位诺奖得主的工作都建立在这本书上,而它出版时距 EDVAC 报告只有一年,没人预料到它会成为经济学的基础。
六、他自己怎么评价这些工作
John von Neumann 反复申明的观点是 “我们写的是具体可验证的数学,不是哲学;架构会过时,而严格的公理化写作不会。”。这不是理论推演,而是 John von Neumann 走过 普林斯顿高等研究院 与 之后的实际结论。