查看原文
其他

戴森:漫步在冯·诺依曼的花园

弗里曼·戴森 返朴 2023-01-13

点击上方蓝字“返朴”关注我们,查看更多历史文章


弗里曼·戴森虽已去世(量子电动力学的奠基人之一弗里曼·戴森去世),但他留下的文字仍旧值得细细品读,这次他带我们一起漫步于冯·诺依曼的花园,欣赏鲜丽繁花。


撰文 | 弗里曼·戴森

译者 | 赵学信


数学基础


约翰·冯·诺依曼(John von Neumann)身后留下大量著作,这些作品由陶伯(Abraham Taub)编纂成六卷的文集[1]。这套文集是他的花园,里面收藏着他种下的各式各样的繁茂植栽,每一株都是从一粒种子、亦即他脑海里的一个想法或问题所长成。他发展想法或是解决问题,然后写下并发表。他写作速度快,发表也快,所以园中繁花仍鲜丽。今天这场演讲,我决定要去他的花园走一趟,看看能发现什么。很幸运的是,文集里只有两篇论文是以匈牙利文写成。他在三十岁来到美国定居之前,大多是用德文写作,此后则是用英文。

法索利高中(Fasori Gimnázium)是冯·诺依曼的母校,曾是匈牙利的名校,校友名人辈出(维基百科,VinceB 摄)


约翰在 10 到 18 岁时,就读于布达佩斯著名的路德会高中,那儿的教师优秀,而同学更是杰出。日后成为卓越物理学家的威格纳(Eugene Wigner)即是他的同学,也是他终身的挚友。约翰的父亲深知路德会高中无法满足他的学识需求,约翰的数学热忱远超出学校的教学能力,所以他的父亲聘请布达佩斯大学的数学家费克特(Michael Fekete)担任他的家教。约翰花园中的第一朵花是题为《论某些最小多项式的零根位置》On the position of zeroes of certain minimum polynomials[2]的论文,它是约翰 18 岁时,和费克特合作撰写发表的。文章的风格干涩、专业,遵循两千年前由欧几里得所奠立的传统。约翰以数学家身分所写的东西几乎都是采用欧几里得风格,陈述并证明一条又一条定理,没有多余的赘言。

冯·诺依曼在家中(摄影者不明,普林斯顿高等研究院 Shelby White and Leon Levy Archives Collection 提供)


虽然这篇处女作的主题应该是由费克特提议的,但行文已看得出约翰的风格。约翰作为数学家的独特天赋,是把一切数学领域的问题都转化成逻辑问题。他总能凭直觉看出问题的逻辑本质,然后运用简单的逻辑规则来解决问题。他的处女作即是这种思考风格的典例。一个应该属于几何的定理,用来限制某些单复变函数零根的可能位置,被转换成一条纯粹逻辑的叙述。一切几何上的复杂细节都消失不见,定理证明变得又短又简单。整篇论文看不到计算,只有文字定义和逻辑推导。

庭园里的下一朵花是约翰在 19 岁时发表的首篇个人论文,《论超限数的引入》On the introduction of transfinite numbers[3]。这篇文章显示出约翰在学术生涯的起点,正要张开他的数学双翼离巢远飏时,他最强烈的兴趣在哪里。在当时及其后五年,他最大的热忱在于理解并重建数学的逻辑基础。他登场的时机再幸运不过,因为当时正是数学基础最为混乱的历史性时刻。19 世纪时,康托(Georg Cantor)发明了奇妙的超限数理论,能够为庞大阶系的各种无穷大赋予明确的定义,从而大幅拓展了数学的视野。然而到了 20 世纪初,罗素(Bertrand Russell)及其他批评者发现康托的理论会导致逻辑矛盾。罗素悖论不只让人对康托创造的无穷大新世界起疑,同时也让人怀疑起奠基已久的古典数学概念。当约翰开始和费克特讨论,并且阅读数学文献时,他立刻察觉到数学正处于危机状态。既然康托的数学推理会导致逻辑悖谬,人们便不知道如何能将可靠的数学以及虚幻的臆语区分开来。约翰在 19 岁时便下定决心:解决数学危机,让数学重新归位到稳固的逻辑基础,就是他的使命。
约翰这篇论文的第一段只有一句话:“本文的目的在于确切无疑地厘清康托的序数(ordinal number)概念。”论文接下来提出序数的新定义,并且证明新定义可以导出与康托的旧定义相同的结果。约翰并未宣称他已解决康托理论所衍生的危机,而是藉由赋予康托概念更明确的定义,使得危机的轮廓更清晰。轮廓更清晰即表示对问题的理解更好,而理解更好即是解决问题的第一步。
约翰的第二篇论文,《集合论的一种公设化》An axiomatization of set theory[4]是两年后,当他 21 岁、在柏林大学念书时发表的。集合论是关于东西以及东西集合的理论,它只考虑这些东西的逻辑关系,忽略其个体性质。从集合论的观点,你、我、恒星、行星、词语和数字都只是东西,也都被同等看待。公设化指的是用两千多年前欧几里得描述几何的方式来描述集合论,也就是从几个被称为公设的基本假定出发,藉由逻辑推导来建构整套理论。约翰为集合论找到一组新公设,他希望他的新公设可以为数学里所有有用的部分,建立相容一致的逻辑基础,同时还能避免出现悖论。不过他也很清楚,他赋予数学的这个一致性基础只是愿望,并不是已被证明的事实。
冯·诺依曼公设的最主要创见是导入两种对象,称为「I 物」(one-thing)和「II 物」(two-thing)。他使用这种抽象的名称是为了避免使用熟悉的词汇可能会造成误导。为了让约翰的想法更容易理解,在此我以「集合」来称呼「I 物」,以「类」(class)来称呼「II 物」。所以约翰的集合论有两种对象:集合,大致上是比较小的,因此可以用一般规则来整个处理;类,则是大到无法整个处理。他所建构的公设可以让「所有集合所成的类」(class of all sets)是有明确定义的对象,这是一个类而不是集合。至于「所有集合所成的集合」(set of all sets)以及「所有类所成的类」(class of all classes)则都不允许存在。这个简单的技巧,亦即对小的集体(collective)和大的集体分别使用不同的名称与规则,使得约翰能避免掉逻辑悖论。旧版的集合论因为太过自由运用「所有集合的集合」的概念,以致产生悖论。约翰的新版本不允许这个概念,但是允许使用「所有集合的类」,于是提供了逻辑建构数学的架构。所有集合的类即是数学的宇宙,在其架构之内,所有数学使用的集体都可以定义。
约翰在撰写这篇论文之前,曾和哥廷根大学的希尔伯特(David Hilbert)讨论过。希尔伯特比约翰年长四十岁,是当时全世界最著名的数学家。希尔伯特当时正大力提倡一个藉由解决「判定性问题」(Entscheidungs problem) 以化解数学危机的计划。解决判定性问题,指的是找出一种形式方法,以判定任何一条数学陈述的真或假。若能解决判定性问题,则可证明数学公设既是一致的(consistent),也是范畴的(categorical)。一致指的是,任何一个命题和它的否定命题,不能都被证明为真。范畴指的是,对于任何一个命题,公设系统都能证明它的真假【译注:戴森的说明通常称为完备的(complete)而不是范畴的。「范畴的」指的是该系统只有唯一的模型(model),其中把同构的模型视为相同。这两个概念经常被互相比较,但并不相同】。希尔伯特以他数学界精神导师的权威身分宣称,若要解决数学危机,就必须找出一组既是一致、也是完备的公设。只有在每个有意义的数学命题都能被证明出真假之时,数学才能奠立在稳固的基础上。
在这篇公设论论文的最后,约翰简短而谦虚地总结了他的贡献。他并未宣称他解决了数学危机,而只是宣称藉由找出一组已知不会发生自我矛盾的公设,因而开启了一条解决危机的道路。他并未证明他的公设是一致的,也未证明它们是完备的。他在论文结尾用两句话,不太委婉地表达他对希尔伯特纲领的疑虑:“即使是希尔伯特的理路在此也是无能为力,因为这项反对意见所关切的是集合论的完备性,而非一致性。我们现在所能做的,是承认又出现了一个反驳集合论的论点,而且目前看不出有何化解方法。”
三年之后,约翰针对数学基础发表了两篇长很多的论文。其中之一是《论希尔伯特的证明论》On Hilbert's proof theory[5];另一篇《集合论的公设化》The axiomatization of set theory[6]是他的博士论文,这是他 1925 年论文的扩充版。从这两篇论文可以看出,约翰仍急切地想遵循希尔伯特来挽救数学。但他陷入困境。他创造了一组简洁优美的新公设──由哥德尔(Kurt Gödel)后来的研究可知,约翰的公设正是理解数学真正本质所需要的──但他不知道该拿它们干什么。自此之后,他放弃了拯救数学的任务,转而从事其他研究。
哥德尔(A. Eisenstaedt 摄 )
又再过了三年,维也纳的哥德尔于 1931 年证出了两个彻底摧毁希尔伯特纲领的定理。哥德尔证明,任何的数学公设系统都不可能是完备的,而且任何公设系统也不可能证明其自身是一致的。自欧几里得至希尔伯特的历代数学家都以为数学是绝对真理的唯一典册,但自哥德尔之后,这一点再也不成立。自哥德尔之后,数学只是人类心智的创造物,其真假端视人的品味与偏好而定。对希尔伯特和许多同时代的人而言,哥德尔的发现是一场大灾难,他们试图为数学建立一个唯一且稳固基础的希望破灭了。但约翰立即看出,哥德尔所开辟出的新自由其实是得,而不是失。约翰在一场公开演讲中,赞誉哥德尔是继亚里士多德之后最伟大的逻辑学家。约翰很遗憾他自己不能在三年前做出哥德尔的发现,但他乐于见到哥德尔使用他 1925 年论文里区分集合和类的公设系统。对于能在新的数学基础上有重要贡献,约翰相当引以为荣。
牌局和量子


下一朵花《宴会游戏的理论》(Theory of party games)[7]出自花园的另一区。约翰 24 岁时成为职业数学家,在柏林大学任讲师。他很享受柏林的夜生活,也对扑克和百家乐(baccarat)之类混合运气和技巧的纸牌赌局深感兴趣。在此之前,法国数学家伯瑞尔(Émile Borel)曾问过,是否存在有赢得这类牌局的最佳逻辑策略。他提出问题,却无法解答。约翰解决了这问题,其结果是一个深刻的数学定理。对于只有两个玩家的对局(game),存在有唯一一种策略,可让两人都得到最有利的结果。证明这种策略的存在,则是约翰思考风格的又一范例──他把一个计算的问题化约成逻辑问题。
最佳策略通常需要相当大的随机性,才能让玩家的行为真正无法预测。玩家 A 必须丢股子来决定如何行动,这样玩家 B 就不能藉由猜对玩家 A 的下一步而获胜。在扑克牌局中,丢股子的结果有时会要 A 在拿到弱牌时下大赌注,这称为唬牌。如果 A 从不唬牌,B 就可以更正确猜对 A 手中牌张的好坏,从而赢得牌局。在论文的最后,约翰写道:“数学结果符合已知的赢牌经验法则,例如玩扑克时需要唬牌,这可视为是我们理论的实验确认。”
关于三人以上的对局,约翰没找到优雅的解答。要在三人对局里取得获胜的最佳机会,A 必须贿赂或威胁 B 和他结盟来对抗 C。三人会争抢胜利者的位置,亦即 A 和 B,避免成为失败者 C。竞争的结果不是藉由数学,而是由个人意志或心计来决定。在三人对局的讨论终了时,约翰说:“这里出现了一个在相当温和且平衡良好的两人对局中完全没有的因素:争斗。”
在花园的另一角落,有一朵小花独自绽放,那是一篇题为《将区间分解成可数无穷多个全等子集》The division of an interval into a denumerable infinity of identical parts[8]的小文章。这篇论文解决了一个由波兰数学家史坦豪斯(Hugo Steinhaus)所提出的问题。我在二次世界大战之后,在美国和史坦豪斯见过面。两次大战之间的波兰出了一批杰出数学家,他是其中为数不多的幸存者之一。这些人里头,一半是犹太人,另一半不是。两个群体幸存的机会差不多,因为离开波兰的大多数是犹太人,而留在波兰还能活下来的全是非犹太人。约翰一下子就解决了史坦豪斯问题,此后再也没回到这个题目。他证明的定理是反直觉的,而其证明也出乎意料。这定理是关于区间上的点集。区间指的是直线上的有限段落。可数无穷指的是集合里的物件可以用自然数 1、2、3、⋯ 编号,直趋无穷大。这定理说的是,存在一组点集 S1、S2、S3、⋯,具备以下性质:(1)区间上的每一点都恰属于某个 Sj;(2)每个 Sj 除了位置之外,其余一切都完全相同,每个 Sj 都可由另外任一 Sj 沿直线做平移而得。
说这定理反直觉是因为我们无法将集合 Sj 形象化。如果你试着想像 Sj 的点在靠近端点的地方如何排列,你是想不出来的。之所以想不出来是因为这些集合是不可测的(nonmeasurable),无人能想像不可测的点集长什么样子。不可测集合无法由我们所熟悉的任何几何工具构造出来。约翰的证明之所以出人意料是因为它是全然抽象的。他甚至完全不提 Sj 的几何,没有任何关于它们的形状或构造的暗示。他证明它们存在的方法,是把问题化约成一个纯粹逻辑的命题,然后再以纯粹逻辑的论证来证明这个命题。这篇小文章是约翰学术风格最极致的展现。
约翰任教柏林的期间经常造访哥廷根,在那儿海森堡(Werner Heisenberg)刚发明量子力学,数学系由希尔伯特掌舵。希尔伯特对量子力学有强烈兴趣,他鼓励数学家和物理学家合作。就希尔伯特来看,量子力学的现况一团糟。海森堡用不着严格的数学,而且也不想学。狄拉克(Paul Dirac)随意运用他著名的 δ 函数,不管它的数学定义有多荒谬:在一个点上是无穷大,而在其他地方处处为零。当希尔伯特告诉狄拉克 δ 函数会造成数学矛盾,狄拉克答道:“你看我陷入数学矛盾了吗?“狄拉克只要知道他的 δ 函数是计算量子过程的利器就够了。二十年后,史瓦茨(Laurent Schwartz)为 δ 函数提供了严格的基础,证明狄拉克是对的。当时,约翰与希尔伯特合作发表论文来清理量子力学的糟糕状态。量子力学有数年时间是约翰的主要兴趣所在,他在 1932 年出版了《量子力学的数学基础》Mathematical Foundations of Quantum Mechanics[9],这本书在他的花园里占据了重要位置。
这是第一本以数学上合理的方式阐述量子力学的著作。在书中,量子力学的概念是严格定义的,结果也是严格推导的。书中许多内容是原创的,特别是关于量子统计和测量理论(theory of measurement)的章节。我读这本书是在 1946 年,当时我还是纯数学家,但已有转换到物理的打算。我发现这本书帮助极大,它提供的正是我需要的:数学上准确的理论表述,清楚解释物理学家太过粗枝大叶、以致不会提到的精微处。我所知道的量子力学大部分是从这本书学到的。然而,当我改行当物理学家,开始阅读最新的物理期刊后,我很惊讶地发现物理期刊中不曾有人提到约翰这本书。对物理学家而言,约翰形同不存在。当然,他们的忽视部分原因是语言隔阂,这本书是以德文撰写的,第一个英译本晚至 1955 年才出版。但我想,即使这本书早有英文版,1940 年代的物理学家仍不会对它感兴趣。那正是物理文化与数学文化分歧最大的时候。物理文化是由奥本海默(Robert Oppenheimer)那样的人主导,他们与诗人和艺术史家为友,但不跟纯数学家往来。数学文化则是由布巴基(Bourbaki)集团主导,他们试图从数学中产除掉任何不是纯粹抽象的东西。物理与数学之间的鸿沟毫不亚于史诺(C.P. Snow)在「两种文化」的著名演讲中所描述的科学与人文之间的鸿沟。约翰是极少数能够悠游于这四种文化的人──在物理与数学之中,也在科学与人文之中。
奥本海默,1946 年(Ed Westcott 摄)
约翰版量子力学的核心概念是抽象希尔伯特空间。希尔伯特空间是一种无穷维空间,量子态在其中是向量,可观测量则是线性算子。希尔伯特早在量子力学运用它之前,即已定义和探讨希尔伯特空间,它意外的有效性是缘于量子力学的方程恰巧是线性的。这些算子形成一种线性的代数,而量子态可以安排成由该代数的线性表现所定义的多重态(multiplets)。约翰喜欢用抽象和一般的语言来表述物理问题,所以他把量子力学表述成在希尔伯特空间上的线性算子环理论(theory of rings of linear operators)。环指的是一组算子,它们彼此可做加、减、乘法运算,但不能做除法。任何遵守量子力学规则的物理系统都可藉由一个算子环来描述。约翰开始研究算子环,试图找出存在多少不同类型的量子系统。
约翰在出版了他那本量子力学著作后,又继续花了数年时间发展算子环理论,收入到著作集第三卷的全是算子环的论文。他发表了七篇长篇论文,页数总计多达五百余页。我今天不拟讨论这些钜作。它们包含约翰身为纯数学家最深刻的工作,他证明了每个算子环都等于他称为因子(factor)的不可化约环的直乘积【译注:严格的讲是直积分(direct integral)】。他发现因子共有五种类型,其中只有两种是先前已知的。每种因子都有独特且意料之外的性质。他在探索算子环这片海洋时,发现了他无暇去仔细丈量的新大陆。他没能完成这三种新因子的研究。他希望有一天能发表他的算子环研究的集大成之作。但这就像西贝柳斯(Jean Sibelius)的第八号交响曲一样,终归是未写下的杰作。
《量子力学的数学基础》是我所拟的花卉清单中最后一项以德文写作的,那是在 1932 年,约翰仍把他的时间平均分配在柏林和普林斯顿时出版的。同样在这一年,他开始用英文写论文,其中一篇是《准遍历性假设的证明》Proof of the quasiergodic hypothesis [10],他把这篇论文发表在《国家科学院院刊》Proceedings of the National Academy of Sciences上,以确保美国数学家会读到。正如同先前使用希尔伯特空间解决量子力学问题一样,他在这篇论文里运用相同的概念来解决古典力学里的一个重要问题。我们说一个古典动力系统是遍历的,意思是若从一起始状态开始,并任系统向前无限演变,则系统任意靠近到某终态的机率和起始状态无关。约翰证明了在某些明确指定的条件下,一个系统是遍历的,若且唯若当其只存在一运动常数(constant of motion,即守恒量)。所谓运动常数是一个由系统状态决定的量,且此量不随系统随时间迁变而变化。约翰的定理为物理学家使用古典统计力学时所做的权宜假设,提供了坚实的数学基础。如果翻译成物理学家所用的马马虎虎的语言,这定理说的是,系统中任何单一路径经过漫长时间后的时间平均,等于所有路径的统计平均。如果再更马虎一点,物理学家会说,时间平均等于系综(ensemble)平均。系综一词在此是指系统所有状态的集合。
读到约翰这篇《院刊》论文的一位美国数学家是盖瑞特‧柏克霍夫(Garrett Birkhoff)。盖瑞特的父亲是乔治‧柏克霍夫(George Birkhoff),父子两人都是知名数学家。盖瑞特和约翰日后成为好友,盖瑞特也经常造访普林斯顿。约翰去世后,盖瑞特写了一篇文章追记约翰在 1930 年代时的研究工作,文章里有这么一句话:“任何想要对冯·诺依曼思考之锋利有个深刻印象的人,只需要亲身试着依循这一连串精确推理走一趟,然后试想,冯·诺依曼经常可以在早餐之前,穿着浴袍坐在起居室的书桌前就写下五页的内容。”
约翰思考希尔伯特空间算子的一个旁出成果是他发明了连续几何,这是一种子空间的维度为连续变数的新几何。在他的园中可以看到两篇短文,《连续几何》(Continuous geometry) [11]以及《连续几何实例》Examples of continuous geometries[12],两篇都发表在 1936 年,当时约翰已在普林斯顿定居。约翰在引言里写道:“我们将只给出公设、关于公设的一些注解,然后是主要的定义和结果。详细的叙述很快会在数学期刊上发表。”这是一个没有兑现的承诺。自此开始,约翰许下许多像这样未兑现的承诺。他总是研究一个问题,把问题解决到他满意的程度,然后没时间把结果详细写下来发表。他在普林斯顿讲授连续几何,讲义后来以《连续几何》Continuous Geometry的书名,在他去世后的 1960 年出版。这本书非常乏味,它可能是挂在约翰名下最乏味的作品。你可以从这本书看出,当约翰在讲连续几何时,他就已对这个题目失去兴趣。他在生前未出版这本讲义不是没有理由的。他在高等研究院是终身职教授,没有必须发表成果的压力。1936 年之后,他只发表他觉得重要而且不枯燥的东西。他逐渐对纯数学之外的各式各样题材感兴趣,毕竟当他在布达佩斯拿到数学的博士学位时,也从瑞士苏黎士联邦理工学院(ETH)的化工系毕业。
炸弹和电脑


下一朵花是写于 1942 年的研究报告《起爆波的理论》Theory of Detonation Waves[13],这是一份关于化学强力炸药引爆过程的学术性透澈分析。约翰曾亲眼见到他的祖国匈牙利因 1918 年战败而解体的命运,他比其他欧洲犹太人更亟于加入反希特勒的战斗。他很乐于将他的数学技巧和工程知识用于军事问题,所以甚至在 1941 年美国参战之前,就受聘担任美国陆军的顾问。1942 年报告是他为改良军用炸药提供理论基础而撰写的系列报告之一。军用炸药必须在两个彼此冲突的需求之间取得微妙的平衡:当猛烈发射时,炸药必须以最大效率爆炸,但当暴露在枪火中或邻近有意外爆炸时,又能具备最大的安全性不被引爆。如果你想找出最佳平衡,有一位同时懂得化学和数学的人当顾问会是莫大帮助。

从左至右,毕格罗、高德斯坦、奥本海默、冯·诺依曼摄于电脑计划,1952 年(Alan Richards 摄,普林斯顿高等研究院 Shelby White and Leon Levy Archives Collection 提供)


约翰的报告并未讨论特定武器,而是提供能让武器设计者将设计最佳化的数学理论。当他开始为军方工作时,研究的用途是抱弹和反潜深水炸弹。1943 年时,他的好友奥本海默邀请他到洛沙拉摩斯(Los Alamos),把他的想法用于核子武器的设计。他对激波(shock wave)的了解对于洛沙拉摩斯计划的成功贡献极大。在洛沙拉摩斯,他看到巨量的数值计算是由大批计算员辛苦地手算完成的,于是他开始认真思考电子计算机的可能性,可以比人工更好更快地完成这类计算。1944 年时,他结识高德斯坦( Herman Goldstine),后者当时是年轻的陆军军官,正参与一项计划,要在宾州大学建造一座真正的电子计算机,ENIAC。高德斯坦与约翰成为好友,他后来这么形容约翰:“他其实是天神下凡,但他仔细研究过人类,所以能够完美地模仿。他在社交场合中很出众,有着温暖、人味的性格,以及绝佳的幽默感。”战争一结束,他们立即拟定计划要用电脑做一番大事业。约翰的花园里有一篇《论大型计算机器的原理》On the principles of large scale computing machines[14],描述了他们的计划。关于约翰的电脑研究是其他演讲者的题目,所以这方面我不再多谈。

我认识约翰本人是在 1948 年,我来到高等研究院之后。他当时正积极地为研究院建造一部电脑,并且探索它的用途。他从一开始就了解,电脑最重要的用途里会有这两项:预测天气,以及建立气象模型。他聘请工程师来造电脑,聘请气象学家来使用它。专案的首席工程师是毕格罗(Julian Bigelow),首席气象学家是查尔尼(Jules Charney),他们手下各有一群年轻人来干重活儿,劝诱一部全新的机器吐出某些真正的科学。我很喜欢这群吵吵闹闹、没规没矩的年轻人。在这群小流氓以及研究院的长者之间,产生了一种颇堪玩味的文化冲突。正如爱因斯坦在 1933 年初抵研究院时,写信给友人比利时王后所云:普林斯顿是一个古雅而拘谨的小村落,住着的是踩在高跷上的神人。这些长老的文化是建立在正式的礼节和对学术层级的敬重之上。约翰和我则是站在小流氓这边。
约翰去世后,研究院迅速把电脑研究计划收拾掉,旧文化又重新归位。此后再也不招聘没规矩的年轻人,他们带进研究院的清新气息被吹散,然后随着他们的脚步流向加州大学洛杉矶分校和麻省理工学院。当研究院在 1980 年庆祝成立五十周年时,出版了一本《一个学者社群,1930-1980》A Community of Scholars, 1930-1980,记载历年来研究院成员的学经历和著作。这群制造电脑和预测天气的年轻人,没有任何一位在书中被提到,他们的学术程度还不足以得到研究院的正式承认。但在约翰的花园中有一朵小花,《正压涡度方程的数值积分》Numerical integration of the barotropic vorticity equation[15]是由查尔尼、弗约托夫特(Ragnar Fjørtoft)和冯·诺依曼合写的,该文描述他们预测天气的早期尝试。因为研究院的电脑尚未启用,他们得借用 ENIAC 来做计算。在 ENIAC 上做数值模拟,所花的时间比被模拟的天气变化还慢,所以实在称不上预测。论文最后,他们表示希望研究院的电脑能够超前天气。四年之后,当约翰的电脑及其他类似的机器开始运作,他们的愿望实现了。当时约翰宣布,预测二十四小时之后的天气只需要不到一小时的计算时间。就他想要理解气象的梦想而言,他也就只做到这里。一年后他被诊断出患了末期癌症,三年后去世。
最后十年


在他生命的最后十年,约翰抽不出时间来写正式的数学论文,取而代之的是非正式的杂文,对象有时是政府部门里与他合作的同事,有时是一般大众。我这一趟园中漫步的最后两朵花是他写给大众的文章,两篇都是思虑深刻、文笔优美的佳作,他很用心地厘清思绪,然后以简洁的文字写出。第一篇《数学家》The mathematician[16]是一本 1947 年出版、多人合著的文集《心智的功业》The Works of the Mind里头的一章。这是一首天鹅之歌,它用简单的词句总结出约翰在纯数学家生涯的尾声时所得到的结论。他将他最好的岁月──也就是牛顿自况其年轻时光时所谓的「正值我创造期的颠峰」──全都奉献给纯数学。从 19 岁到 27 岁,他致力于为纯数学建立稳固的逻辑基础,结果是替哥德尔铺路,让他能够发现数学不可能有完备的基础。在哥德尔革命之后,他利用新得到的自由,尝试为量子力学以及日后被称为计算机科学的新学门建立逻辑基础。《数学家》把数学的发展描述成人类心灵的自由创造,其基础或者是借自经验科学,或者是自由发明的。
约翰的主要讯息出现在文章的最后,它在数学家之中已是名言了:
当一个数学学门开始远离其经验根源,或者更甚者,如果这个学门只是从「实在」源头间接启发的第二、第三代学门,其处境就会非常危险。⋯⋯ 换句话说,在远离经验根源后,或经过抽象化的近亲繁殖后,这个数学主题就有萎缩的危险。这就像建筑或绘画一样,起初通常是古典风格,但是当巴洛克的迹象显露时,危险的讯号就出现了。要给出实例,要历述某个特定主题如何演变成巴洛克、甚至是巴洛克全盛期的过程是很容易的,但这又会让讨论变得太技术。总之,一旦走到这一步,在我来看治疗之道只有一个,就是返回根源,重新注入或多或少直接来自经验的想法。我确信,如此才是这个学门长保清新和元气的必要条件,现在如此,将来也是如此。

当约翰提到巴洛克全盛期的实例时,他心中想到的或许是他自己耽溺在连续几何的细节,而他一头栽进计算机科学的经验世界,或许是想回归本源重拾青春吧。
在向纯数学告别后,约翰人生的最后七年,一半是在普林斯顿执行电脑计划,一半是在华盛顿担任政府顾问。在这段期间,他变成大众眼中的军事强硬派。有数年期间,他公开倡导对苏联发动预防性战争。他深入参与数个研议军事战略问题的高阶委员会,其中之一现在被史家称为冯·诺依曼委员会。这个委员会所提倡的致命性政策,是建议美国结合多阶段火箭推进系统和氢弹科技来制造洲际弹道飞弹,以此做为对抗苏联的战略基础。此一战略让美国技术上能够在 40 分钟内摧毁苏联,但无可避免的结果是,苏联在几年之后也具备了以类似的弹道飞弹摧毁美国的能力。
现在来看,预防性核子武器的想法会让人觉得是失控的好战主义。但对曾经经历过 1930 年代苦难的人而言,这想法有不同的意义。很多人,尤其是自由派的知识分子,认为 1936 年时法国和英国没有进军德国,以阻止希特勒重新武装莱茵区(Rhineland),是一种懦弱且不道德的行为。1936 年的德国实质上还是无武装、无法有效抵抗入侵武力的状态,此时如果发动预防性战争,或许只需数天即可推翻希特勒政权,也可挽救二次大战中死去的五千万生灵。我们无从知道 1936 年的预防性战争是否可行、是否能达成目的,我们只知道,约翰那个世代把 1936 年看成是悲剧般错失的机会,因此不少人认为预防性战争是合乎道德的。对他们而言,以果断的预防措施来遏止一场可怕的灾难,既不疯狂也不是罪恶的。
约翰在 1940 年代辩称,美国所面对的是和 1936 年的英、法相同的抉择。苏联当时才刚开始建立大量生产核武的工业基础。就像 1936 年是推翻希特勒的最后机会,约翰判断 1940 年代是美国不使用毁灭性战争来推翻斯大林政权的最后机会。他认为,与其日后打一场毁灭性战争,不如在 1940 年代先发动预防性战争,这不只是对美国、而且对全人类都是比较有利的。我并不是说他的主张是对的──我个人认为,不管是 1936 年或是 1940 年代,预防性战争都不能达成目的。我只是要说,当评论约翰提倡预防性战争的主张时,如果忽略了主宰了他道德观感的 1936 年事件,那就完全错失了他最主要的论点。
我这趟园中漫步的最后一朵花,是以一般大众为对象、刊登在《财富》Fortune杂志上的文章,刊登日期是 1955 年 6 月,也就是他被诊断出罹患绝症之前两个月。文章标题是《我们能否在科技下存活?》Can we survive technology?[17]。约翰现在关切的不再是数学的知性问题,而是全人类的问题,诸如战争与和平、核武与核能、全球暖化与气候控制、以及因电脑而正在改变的政经规则。在人生的最后七年,当他进入华盛顿的权力中枢,开始与将领和政客往来,他了解到社会最迫切的问题是人性问题,而不是技术问题。
他对人类天性的看法是悲观的。“抱怨人们自私狡诈,就和抱怨除非电场有旋度,不然磁场不会增强一样愚蠢。两者都是自然定律。”【译注:冯·诺依曼的这句话出自威格纳为冯·诺依曼写的悼文,见 E. Wigner, John von Neumann, Year Book of the American Philosophical Society: Biographical Memoirs(1957), pp. 149--153】他对未来的看法同样悲观。“现在发生核子战争的恐怖可能性,将来可能会被更恐怖的其他可能性取代。当人们能够控制全球气候之时,或许我们现在所有的纷争相较之下都变成小事。我们不该自欺欺人。一旦这些可能性成真,它们就会被利用⋯⋯ 很确定的事实是,这样的困难主要是因为演变即使有用且具建设性,但也是危险的。我们能否以必要的速度完成所需的调整?最乐观的答案是,人类这个物种先前曾面临过类似的考验,而且似乎具有度过难关的先天本领,尽管得经历不同程度的磨难。想要事先开出完整的对策良方是不可能的,我们仅能指出所需的人格特质:耐心、弹性与智慧。”约翰自己便具备了这些特质。当我们迈入他所创造的世界,这些仍是我们想要拥有最佳生存机会时,不可或缺的人格特质。

延伸阅读

[1] 2010 年,布朗大学计算分子生物学会议网页,其中包含六场各领域之「冯·诺依曼卓越演讲」,并附有演讲与问答讨论之录影连结。网址:http://www.brown.edu/Research/Istrail_Lab/symp_2010.php[2] John von Neumann: A Documentary (1966) MAA. 美国数学协会在 1966 年摄制的黑白纪录片。网址:https://www.youtube.com/watch?v=VTS9O0CoVng[3] S. Ulam, John von Neumann 1903-1957, Bull. Amer. Math. Soc. 64 (1958), no.3, Part 2. 冯·诺依曼好友乌朗著名的综述追忆文章。[4] Marina von Neumann Whitman, The Martian's Daughter: A Memoir(火星人的女儿:一段追忆)(2012), University of Michigan Press. 玛莉娜是冯·诺依曼第一次婚姻以及唯一的小孩,她在这本回忆录中谈到她卓越的父亲,以及她如何在父母巨大的阴影下成长。所谓火星人指的是五位翻转科学方向的匈牙利科学家,可见 Martians of Science: Five Physicists Who Changed the Twentieth Century (2006), Oxford University Press. 另外,在 YouTube 中可找到玛莉娜出书时的访谈。
作者简介:弗里曼·戴森(Freeman Dyson)是英国物理学家与数学家,任普林斯顿高等研究院教授凡四十余年,是未取得博士学位却享有隆崇学术地位的特例。戴森兴趣极广,思想广阔,超前时代,是典型的文艺复兴人。科普著作极丰,文章散见于各杂志媒体。
译者简介:赵学信,网站工程师。兼事翻译、写作。






本文经授权转载自微信公众号“数理人文”,原题为“漫步在冯·诺依曼的花园:天才的花朵”。参考资料请见〈数理人文资料网页〉http://yaucenter.nctu.edu.tw/periodical.php本文出自 2010 年 5 月布朗大学计算分子生物学会议中之「冯·诺依曼卓越演讲系列」。戴森因病未能出席,由儿子乔治·戴森代为宣读,讲稿刊登于 Notices of the AMS 60 (2013), no. 2,译文刊登在《数理人文》第 3 期(2015 年)

《返朴》新冠病毒专题


上下滑动可见全部报道  经 验 与 反 思


对抗新型冠状病毒,能从抗击非典中汲取什么经验?专家讲解新型冠状病毒的检测 | 117三人行专家呼吁:避免重复检测新冠病毒,不确诊不应影响治疗 | 117三人行4 需要评估“封城”的影响;尚无经验证的疗法 | 世界卫生组织新闻发布会实录这些野生动物的病毒怎么就到了人类社会?为何现在比过去多那么多传染病呢?
赵国屏院士:科研、疾控和临床缺乏协同,希望这是“最后一次教训”
应对疫情,春运人口回流情况如何?基于春节前人口流动模拟的预测
前夜:新冠病毒传播时间线详解 | 117三人行
控制疫情,现在最大的挑战是时间 | 专访清华药学院院长丁胜教授
10 中国疾控中心原副主任:反思此疫,中国疾控该改革了
11 血浆治疗是“稻草”还是“神药”?专家:谨慎乐观,尊重科学
12 彻底扑灭百年不遇的烈性传染病,1920年是如何做到的?| 展卷
13 非典之后,为什么这些治愈的病人更绝望了?
14 悲剧换来制度的改革:记制药史上最悲催的一次临床实验15 武汉一线专家详解新冠肺炎死亡病例:他们是窒息而死,过程很痛苦16 新冠病毒源于美国?“专家”到底错哪了17 中国延缓了病毒的全球传播,各国公卫比拼才刚刚开始18 武汉疫情暴露政府治理能力短板,突破口何在?19 天花是怎么消灭的?一场众多孤儿活体接力的救世壮举
硬 核 科 普
比起流感,为什么全世界更害怕新型冠状病毒?Remdesivir到底是不是治疗新型冠状病毒的“神药”?权威观点:治疗冠状病毒感染,新药开发为啥那么难?4 抗新冠病毒的药物为何还没研发出来?为什么新型冠状病毒疫苗肯定会研制成功?中间宿主亟待确定!武汉病毒所确证新冠病毒极大可能源自蝙蝠
武汉新型冠状病毒的进化来源和传染人的分子作用通路
新冠病毒是人造的?专家教你告别阴谋论
9 病毒,那条静止的河流10 宅在家里不动,你的身体会发生什么变化?
11 有抗体就能清除病毒吗?认识抗体的复杂性
12 以史为鉴:也说新冠肺炎的血浆疗法
13 西湖大学团队成功解析新冠病毒细胞受体的空间结构
14 中国结构生物学家发力:揭示新冠病毒侵染人体细胞瞬间
15 给你的生物网课加点料:世界最大冷冻电镜基地给青少年的7个科普锦囊
16 炎症风暴:人体免疫系统,是怎样反噬自身的?17 传播力胜过SARS,需要担心新冠病毒变异吗?
18 全世界只有少数实验室能接触新型冠状病毒,它们长这样19 莫被误导!准确理解新冠病毒可能分为两种类型,且在暴发早期就已并存
科 学 防 护


1 病毒来袭,科学家告诉你这样选口罩 | 117三人行

世卫组织建议:如何在家护理疑似新冠感染者?附正确的打喷嚏、洗手方法 | 摸象记

3 一次性医用口罩怎么做出来的?如何消毒?

怎样安全吃喝拉撒?旅途最全防护指南请收好5 开工在即,面对新冠病毒,如何练成“百毒不侵体”?6 冠状病毒在体外可以存活多久?| 117三人行
怎样应对新冠病毒空气传播?| 117三人行8 吸烟能预防新冠病毒感染?事实可能正相反肺炎恐慌下,如何保护自己和家人?|6个心理防护方案

特 别 提 示

1. 进入『返朴』微信公众号底部菜单“精品专栏“,可查阅不同主题系列科普文章。

2. 『返朴』提供按月检索文章功能。关注公众号,回复四位数组成的年份+月份,如“1903”,可获取2019年3月的文章索引,以此类推。




相关阅读

1  量子电动力学的奠基人之一弗里曼·戴森去世

2  希尔伯特与广义相对论场方程

3  爱因斯坦约哥德尔走路回家,他们在谈什么?| 哥德尔诞辰113周年

4  数学分析大师布尔甘:在连续统迷宫奇幻探险


近期热门

1  两部发文,破除得了SCI崇拜吗?

2  对抗新型冠状病毒,能从抗击非典中汲取什么经验?

3  2020沃尔夫数学奖得主Eliashberg:找到正职前的两年是我做数学的美好时光

4  对付癌症, 是否都该早发现, 早诊断, 早治疗?

5  曹则贤跨年演讲:什么是量子力学?∣ 贤说八道


↓↓↓长按下方图片关注「返朴」,查看更多历史文章

点“在看”,传递你的品味

您可能也对以下帖子感兴趣

文章有问题?点此查看未经处理的缓存