别把数学修成没有门的巴洛克——冯·诺伊曼的数学观与专业化的边界

luyuanhong

别把数学修成没有门的巴洛克——冯·诺伊曼的数学观与专业化的边界

原创  南方 Er  南方 Er  2026 年 10 月 25 日 11:14  广东


冯·诺伊曼

你有没有这种心虚：专业越钻越深，能聊的人越来越少；一离开本行，好像什么都不会。这种恐惧并不新鲜。冯·诺伊曼（John von Neumann）一辈子在数学、物理、计算机、博弈论之间跳来跳去。他留下的不是“天才神话”，更像一套对付专业内卷的活法：别在一条越来越窄的支流里，把自己修成一座好看的巴洛克。

他的数学观并不玄乎：数学内部靠形式演绎走路，可点火的那根火柴，常常来自经验世界。

1947 年他在《数学家》里提出，数学有双重面貌：起源是经验性的，不断从自然科学里吸取灵感；可它又会慢慢摆脱经验束缚，按自成一体的审美标准生长。危险也在这里。一门学科离经验源头太远，沉迷审美化和繁复演变，就会滑向“为艺术而艺术”的退化。他形容得挺狠：那条远离源头的河，可能沿着阻力最小的方向，分裂成一堆杂乱无章的细节与复杂事物。

这话放在 AI 时代反而更具冲击力。今天动辄千亿参数的模型，架构越堆越深，它离“经验”到底有多远？还是说，它本身就在制造一种新的经验？冯·诺伊曼要是活到今天，大概会眯着眼睛琢磨这个问题，然后追问一句：你们是在解决问题，还是在给巴洛克宫殿加雕花？


巴洛克风格

不过得补一句话来平衡一下：巴洛克不全是坏词。纯数学的自治、审美和“暂时没用”的空间必须保留，否则很多百年后才派上用场的群论、微分几何早被砍掉了。冯·诺伊曼警告的不是“抽象”，而是抽象到失去可返回的接口。所以更准确的说法是：别把数学修成一座没有门的巴洛克宫殿。没有门的精致是退化，有门的抽象才是积蓄。

布达佩斯：数学先是一种语言

1903 年，冯·诺伊曼出生在布达佩斯一个富裕的犹太银行家家庭。父亲有贵族头衔，家里有电话、家庭教师、全套百科全书——放在当时，这是极少数人才有的条件。六岁心算八位数除法，八岁掌握微积分，十二岁读懂波莱尔（Emile Borel）的《函数论》。家庭教师后来回忆，这孩子不是“学会”了微积分，而是“发现”了它。这个说法耐人寻味：微积分好像本来就搁在那儿，他只是碰巧撞见了。


冯·诺伊曼

更关键的是语言环境。匈牙利语、德语、法语、英语、拉丁语、古希腊语，他都能流利使用。符号、规则、翻译、等价，这些后来在他手里变成公理化、算子理论、博弈论的基本动作。数学对他而言，从一开始就不像一门“学科”，更像一种描述世界的语言。很多人学数学卡在“看不懂直觉”，他早年练的，恰恰是换一套符号系统去重新看世界。这个底子后来帮了他大忙——他不太容易被某一种“正确表述”绑住。

哥廷根：形式训练，但不把形式当神

1920 年代初，冯·诺伊曼去哥廷根，在希尔伯特（David Hilbert）门下做博士后。那时的哥廷根是世界数学的中心，希尔伯特正推动数学公理化，试图把数学安放在坚实的形式基础上。走廊里飘着雪茄烟，讨论班上有人拍桌子争论无穷集合的合法性——那是个数学还能让人热血沸腾的年代。


冯·诺伊曼

冯·诺伊曼受了很深的影响。他参与集合论公理化，为 NBG 公理系统打底；在量子力学里引入希尔伯特空间，用算子理论把物理现象严格形式化。可他没有变成形式主义的盲从者。

乌拉姆（Stanislaw Ulam）回忆，冯·诺伊曼认为：如果统一性只建立在纯粹形式上，注定会失败。他欣赏公理化的严谨，却始终警惕“为形式而形式”的退化。这就像一个建筑师，既迷恋图纸的精确，又始终记得房子是给人住的。图纸再漂亮，住不进去，也是白搭。

曼哈顿与计算机：经验把数学拽回地面

1930 年代，冯·诺伊曼移居美国，任普林斯顿高等研究院教授。二战爆发后，他深度参与曼哈顿计划，负责内爆透镜的数值计算。战后，他又参与 ENIAC 和 IAS 计算机研制，提出“存储程序”架构——今天所有计算机的雏形。

这段经历很要命。他从“纯数学家”变成“用数学解决现实问题的人”。在曼哈顿计划里，他面对的不是优雅定理，而是爆炸波、冲击波、湍流、误差累积。这些“不干净”的物理现象逼他不断回到经验源头，重新掂量数学模型到底有多有效。数学当然不是经验科学，可它离了经验那点火，也容易冷掉。他自己的人生，就是这句话的活样本。他不是先想好一套漂亮理论，再去找地方用；很多时候，是现实先把他按在桌子上，逼他重新发明工具。


冯·诺伊曼与 ENIAC

博弈论：一次完整的循环

1944年，冯·诺伊曼与摩根斯特恩（Oskar Morgenstern）合著《博弈论与经济行为》。这本书的诞生，本身就是他数学观的集中体现。

他观察到，传统经济学依赖“理性人”假设和均衡分析，可现实中人的决策充满策略互动、不确定性、非理性。他没有拿更多数据去“拟合”经济现象，而是构造一套新框架：用集合论、拓扑、凸分析描述策略空间、支付函数和均衡解。这不是逃离现实，也不是跪在现实脚下，而是先把现实压成可操作的形式，再让形式反过来解释现实。这套路数，像把一团乱麻先编成绳子，再用绳子去捆别的东西。

博弈论里，经验起源是经济行为、战争策略、扑克博弈里的不确定性；形式自治是用公理化方法搭模型，获得数学严谨性；应用回注是模型反过来解释拍卖、谈判、军备竞赛、进化生物学中的策略选择。好的数学模型不是封闭的。它得能“工作”，能扩展，能持续冒出新问题。博弈论后来成为经济学、政治学、生物学的基础工具，恰恰说明这一点。

可反过来想：如果博弈论当初只在纯数学圈子里打转，不碰经济学那些脏兮兮的现实问题，它还能长这么大吗？恐怕难。这里头有个挺微妙的平衡：形式化让思想站得住，经验让思想有事可干。两头都丢，数学要么变成空转，要么变成流水账。

“你不是理解，而是习惯”

这句话常被引用，也常被误读。它不是说数学不需要理解，而是在提醒：很多现代数学对象——希尔伯特空间、算子代数、非交换概率——不能总靠日常直觉去“看见”。人往往先学会使用它、熟悉它的规则，再慢慢长出新直觉。这就像学游泳：你没法先在岸上把浮力公式全搞懂再下水，你得先扑腾，呛几口水，身体自己学会跟水打交道。


冯·诺伊曼

冯·诺伊曼在《数学家》开头就打过比方：理解飞机怎么飞、升力推力遵循什么理论，比坐飞机甚至开飞机都难。人很少能先理解一个过程，再熟悉它；通常是先上手、先习惯，理解才慢慢长出来。

这和他处理量子力学的方式高度一致：他没有强行给量子现象套经典图像，而是用希尔伯特空间和算子理论把它严格形式化。不是“理解”量子力学，而是“习惯”它的数学结构。先把对象放进可操作的符号系统，别急着用旧直觉解释一切；用熟了，新直觉才会长出来。可也别停在“会用”上，用久了还得回头问一句：我到底在干什么？

严谨性也会变：从集合论危机到哥德尔

1947 年那篇文章里，冯·诺伊曼没有把数学说成“纯粹逻辑游戏”。他举了几何学：这门学科古代起源于经验，起初更像理论物理；欧几里得（Euclid）用公设处理几何，是摆脱经验的一大步，可要说彻底分离，没那么容易。非欧几何的争论表面上是个逻辑问题：第五公设能不能从其他公设推出？克莱因（Felix Klein）给出纯数学例子，形式上终结了争论。

可经验一直在场——欧几里得公设里，唯独第五公设涉及整个无限平面，偏偏它不具备经验性质。高斯（Carl Friedrich Gauss）、鲍耶（János Bolyai）、罗巴切夫斯基（Nikolai Ivanovich Lobachevsky）、黎曼（Bernhard Riemann）之后，物理学又跑回来发言：广义相对论逼着人们重新审视几何学与物理现实的关系。绕了一大圈，经验还是没退场。

微积分更明显。开普勒（Johannes Kepler）的积分尝试带着“酒桶测量”的味道；牛顿（Isaac Newton）发明流数演算，主要是力学需要。牛顿之后一百五十多年，人们用的还是不精确、半物理式的表述，可分析学最重要的进展，偏偏就在这段“不干净”的时期冒出来。柯西（Augustin-Louis Cauchy）重新确立严谨性，黎曼又用半物理式方法杀回来。魏尔斯特拉斯（Karl Weierstrass）之后，分析学似乎完全抽象了，可基础之争又打破幻想。

数学史不是一条越走越干净的直线，它更像一条河，有时候清，有时候浑，可浑的时候偏偏鱼多。

康托尔（Georg Cantor）的集合论遇到矛盾，罗素（Bertrand Russell）和外尔（Hermann Weyl）深入考察，布劳威尔（Luitzen Egbertus Jan Brouwer）收尾，结论挺吓人：不光集合论，现代数学大部分领域对“普遍有效”和“存在”这两个概念的使用，在哲学上都可疑。布劳威尔搞出直觉主义，想建一套干净的数学，可这一洗，现代数学足足一半内容受波及。希尔伯特想了个巧办法：在直觉主义体系内部描述经典数学怎么运作，再证明经典程序永远不会自相矛盾。

十年努力之后，哥德尔（Kurt Godel）的结果出来了：一个数学体系如果不矛盾，这个事实没法用该体系自身的方法证明。希尔伯特纲领基本没戏了。多数数学家后来决定，照旧用经典数学——它既优雅又有用，基础“至少和电子的存在一样稳固”。


冯·诺伊曼

冯·诺伊曼自己说，这场风波里，他关于绝对数学真理的看法轻易改变了三次，轻易得令人羞愧。连“什么才算严格证明”都不是铁板一块。那我们还敢把某一套形式当成永远正确的终点吗？

数学像艺术，但不能只剩巴洛克

那数学和理论物理总该像吧？冯·诺伊曼偏要拆开看。两者确实有不少共同点：欧几里得几何是经典力学公理化表述的范本，唯象热力学、麦克斯韦电动力学、狭义相对论的某些部分也走类似路子；多数理论物理学家也接受，理论不解释现象，只做分类和关联。可实际工作方式差得远。理论物理的问题多半由外部给定，实验困难、体系矛盾逼着你解决——迈克耳孙的实验引出狭义相对论，电离电势和光谱结构方面的困难引出量子力学，狭义相对论与牛顿引力理论的冲突引出广义相对论。物理学家像被一根绳子牵着走，绳子那头是实验。

数学正相反。分支多，风格杂，目标各异。冯·诺伊曼怀疑，当时在世的数学家里，有没有谁对超过四分之一的数学领域有较深了解。数学家选什么问题、怎么算成功，审美标准占很大分量。一个定理要简单优美地归类大量特殊情形，要有“建筑式”布局：问题容易表述却极难把握，某个出人意料的转折又让处理变容易；推导冗长时，还得有简单的一般原理贯穿其中。这些标准，确实像创造性艺术。

微分几何和群论更有意思：当初都是抽象、非应用的学科，也基本一直这么研究；结果一个十年后、一个百年后，在物理里派上大用场，可人们大多还是按抽象精神接着搞。这就像一个人埋头雕象牙球，雕了三代，突然有人发现这球能当轴承用——可雕的人压根没想过这事。



可艺术化过头就麻烦了。数学思想起源于经验，谱系有时漫长隐晦；思想一旦诞生，这门学科就过上自己的生活。离源头越远，越容易审美化，越容易变成“为艺术而艺术”。要是周围还有相关学科牵着，或者有鉴赏力极成熟的人物影响，未必是坏事。怕的是沿着阻力最小方向滑，河流分裂成无数无关紧要的支流。初创时风格古典，转向巴洛克，危险信号就亮了。补救办法？回到源头，重新注入或多或少直接来自经验的思想。
他还画过一条“借形演变”的链子：生物学越来越被化学和物理渗透，化学被实验和理论物理渗透，物理又被高度数学化的理论物理渗透——几乎被当成科学进步本身。这条链子听着像赞美，其实也藏着警告：每一层都在变得更抽象，更远离最初的经验，到最后，谁还记得源头在哪儿？这话放在今天，未必只对数学说。哪个行业不在拼命“形式化”“规范化”“指标化”？可形式一旦脱离它要处理的那团现实，就容易长成漂亮而没用的东西。

但也要再说一遍：不能把“有用”当成唯一标准。纯数学需要保留那些暂时看不见用途的枝杈。真正的修正不是砍掉巴洛克，而是让巴洛克宫殿有门、有窗、有路能回到地面。

未讲完的讲座，与一扇留着的门

1955 年初，耶鲁邀冯·诺伊曼做 Silliman Memorial Lectures ，他选《计算机与人脑》。因刚任原子能委员会委员、全职在华盛顿，他要求把讲座压到一周，写作多在夜里或天亮前。设计 JONIAC 时，他和同事尝试模仿活脑的已知操作，这把他带进神经病学、精神病学：人造机器能否复制极简化的活脑模型？从博弈论、计算机到气象学、脑科学，他晚年不断“回到源头”，没有停在纯数学的巴洛克宫殿里。



1955 年 8 月，他左肩剧痛，术后诊断骨癌。他白天办公出差，夜里写论文、整理讲稿。11 月底脊柱病变，1956 年 1 月坐轮椅仍去办公室；到 3 月，已不可能去纽黑文。耶鲁建议找人代读，但他终究没写完。1957 年 2 月 8 日去世，年仅 53 岁。手稿 1958 年作为 Silliman 系列第 36 卷出版，妻子 Klara 作前言。临终前他仍在想计算机与人脑——这也是他数学观的落点：数学不是经验科学，却需经验点燃；内部靠演绎与美学生长，但必须保留与现实往返的通道。

学科越分越细，创新常发生在边界。纯数学需要应用问题刺激，应用科学需要形式化严谨；能站在两端之间的人，才可能造出新框架。数学观即人生观：在形式与经验、纯粹与应用、理解与习惯之间保持动态平衡。别把边界当噪音。

说到底，他不断从一条河跳进另一条河，也提醒后来者：别在越来越窄的支流里，把自己修成一座好看的巴洛克——更准确地说，一座没有门的巴洛克。

南方 Er