跳至正文

数学为什么有效？维格纳的「不可思议的有效性」

  • 由

🟡 活跃争论 · 📅 2026年3月 · ⏱ 阅读约14分钟

1959年的一个秋天，物理学家尤金·维格纳坐在讲台上，提出了一个让整个物理学界至今仍无法给出完美答案的问题：为什么那些在没有任何”有用目的”的驱动下被数学家发明出来的纯粹符号系统，会在几十年甚至几百年后精确地描述自然界的运作？[1] 这不是一个关于计算技巧的问题，而是一个关于实在本质的问题——它指向了人类知识体系中最深的一道裂缝。

📑 本文目录

维格纳的困惑：纸上符号命中宇宙

维格纳在1960年发表的论文题目本身就构成了一道谜语：《数学在自然科学中不可思议的有效性》。[1] 他举了一个典型例子：复数。这套数学结构最初被发明出来，只是为了解决”负数能否开平方根”这样一个纯代数问题。没有人预料到，几百年后量子力学的核心方程——薛定谔方程——竟然以复数作为基本骨架，而波函数的虚部并非某种凑合的技巧，而是物理世界的真实结构。

这不是孤立的偶然。在维格纳看来，类似的事情在物理学史上反复发生，多到不像是巧合。[2] 黎曼在1854年纯粹出于几何美感发展出的弯曲空间数学，在那个时代根本没有任何物理用途——直到六十年后，爱因斯坦抓住它，搭建出广义相对论，描述了引力如何弯曲时空。[7] 数学家和物理学家仿佛在不同的房间各自工作，却一再产出完美的榫卯接头。

🔭 问题的谱系：从维格纳到哈明

维格纳并不是唯一被这个问题困扰的人。计算机科学家理查德·哈明（Richard Hamming）也独立撰文探讨这一现象，形成了与维格纳问题相互呼应的思想谱系。[5] 两人提问的角度有所不同：维格纳更关注本体论层面（数学为何能触及实在）；哈明则偏向认知论层面（人类数学工具为何会与物理世界匹配）。这两个问题看似一体，实则可以被拆分开来各自回答。

两个令人窒息的案例

抽象讨论容易让人掉入云雾。让我们先看两个具体案例，感受一下这种”命中”有多不可思议。

案例一：群论预言了反粒子

1928年，保罗·狄拉克试图写出一个同时满足量子力学和狭义相对论的方程。当他将这个方程写下来后，发现它必然存在两组解——一组描述已知的电子，另一组描述某种”负能量”的状态。[7] 在当时，没有任何实验迹象显示这种粒子存在。狄拉克不得不硬着头皮预言：一定存在一种与电子质量相同、但电荷相反的粒子。

四年后，1932年，卡尔·安德森在宇宙射线中发现了正电子。[3] 数学方程在任何实验装置搭建之前，就已经在纸面上预见了宇宙的结构。这背后的数学工具——群论与对称性——最初被发展出来，是为了研究多项式方程的对称结构，和粒子物理毫无关联。[8]

案例二：Chern–Simons项的意外生命

陈省身（Shiing-Shen Chern）和詹姆斯·西蒙斯（James Simons）在1970年代发展出的 Chern–Simons 数学理论，起初是拓扑学中的纯粹构造——研究空间形状不变量的工具。没有人把它和粒子物理的基本力联系在一起。[8] 然而，这套理论后来在弦论、量子霍尔效应和三维引力中找到了核心物理角色。2016年诺贝尔物理学奖的拓扑相变研究，其理论基础正是来自这一数学结构。

🔗 意想不到的连接：拓扑学 × 量子物理

Chern–Simons理论揭示了一条隐藏的通路：描述空间形状不变量的数学语言，居然与描述粒子相互作用的规范场论说的是同一种方言。这不是类比，而是字面上的同构。更令人吃惊的是，这条联系在子因子理论（subfactor theory）、统计物理和量子场论之间也反复出现——完全不同领域的数学结构，汇聚到了同一套深层语言。[11]

思想实验：你的数学，我的宇宙

🧪 思想实验：来自另一颗星球的数学家

设想在银河系另一端的某颗行星上，有一个文明的数学家们从未接触过物理世界的任何实验数据。他们完全在抽象空间里工作，研究各种可能的数学结构：拓扑流形、李代数、复分析……

现在问：他们最终会发展出黎曼几何吗？

如果宇宙的时空弯曲是一个客观事实，而黎曼几何是描述弯曲空间唯一自洽的框架，那么任何足够聪明的理性存在，在探索数学结构时迟早都会走到那里。这暗示着：数学不是被”发明”出来的，而是被”发现”的——它存在于某个独立于物质世界的柏拉图式领域。

但反驳同样有力：如果那颗星球的物理规律不同（比如空间不弯曲），那么他们的数学品味和发展方向也会不同。数学的内容并非完全独立于感知主体的认知结构。[12]

这个思想实验没有答案。它正是问题本身。

为什么有效？四种解释

过去几十年，哲学家和物理学家提出了多种解释框架，各有洞见，也各有软肋。

解释一：选择效应——我们只记住命中的那些

Matt Visser 在2017年的论文中提出了一种”去神秘化”的解释。[4] 他指出，数学和物理的关系之所以看起来这么完美，部分原因是一种历史筛选：在过去几百年里，物理学家一直在主动筛选那些”有用”的数学工具，丢弃那些无用的。我们记住了黎曼几何被广义相对论采用的故事；我们却不记得有多少数学结构从未找到任何物理应用。

翻译成人话：数学有很多分支。物理学只挑了合适的那几个。幸存者偏差让这看起来比实际更神奇。

解释二：结构同构——世界和数学有同样的骨架

Kevin Knuth 从另一个方向切入，提出数学有效性并非奇迹，而是因为物理定律本质上就是对世界结构约束的提炼。[3] 对称性、排序关系、量化约束——这些数学概念不是外加给自然的语言，而是自然规律本身的骨架。

💡 概念：排序与量化

Knuth 的核心论点之一：物理测量的本质是比较和排序（这个比那个大/快/重）。而数学恰好是处理排序和比较关系的最自然工具。因此，数学有效不是因为它碰巧匹配了自然，而是因为自然的可测量性本身就预设了数学结构。[3] 这个视角把维格纳问题的”惊叹”部分消解掉了一层：数学和物理的关联，是人类理解”量化”这件事的必然副产品。

解释三：认知耦合——人类大脑是按物理世界校准的

Mujumdar 等人从认知科学的角度提出：人类的数学直觉并非凭空产生，而是通过进化和发展与物理世界深度耦合的结果。[12] 我们的空间直觉来自在三维世界中活动的经验；我们的数感来自对物体计数和追踪的需要；我们对连续性的感知来自对运动的观察。如果数学直觉部分是从物理世界的感知经验中提炼出来的，那么数学描述物理世界，也就不那么奇怪了——它本来就是从那里”学来的”。

翻译成人话：数学有效，因为我们的数学直觉是用物理世界训练出来的。鱼和水是匹配的，因为鱼在水里进化。

解释四：物理世界确实更适合数学

一个间接但有力的论据来自对比：数学在生物学中远不如在物理学中有效。[13] 物理学有精确的数学定律；生物学有大量例外、路径依赖和历史偶然。这个对比暗示，数学的有效性并不是”普遍的”，而是针对物理学这个特定领域的——可能是因为物理世界的基本规律恰好具有高度的对称性和数学规整性，而生物系统则是在这些规律上方叠加了大量进化历史偶然。[13]

Tegmark的激进赌注：实在就是数学

如果前三种解释都是在问”为什么数学能描述物理”，Max Tegmark 提出的数学宇宙假说（Mathematical Universe Hypothesis，MUH）直接跳过了这个问题：因为物理宇宙本身就是一个数学结构。[15]

Tegmark 的核心主张是：存在着所有自洽的数学结构，我们所居住的物理宇宙不过是这些结构中的一个。数学和物理之间没有神秘的”对应关系”需要解释，因为两者是同一件事物。

💡 数学宇宙假说（MUH）的核心公式

物理实在 ≡ 数学结构

翻译成人话：不是”世界可以用数学描述”，而是”世界就是数学”。电子不是一个有着某些数学属性的物理实体——电子就是一套数学关系的节点。如果你把所有数学属性都去掉，剩下的”物理实体”本身什么都不是。

MUH 的推论令人眩晕：如果所有自洽的数学结构都对应着某个真实存在的宇宙，那么存在着无限多个具有不同数学结构的宇宙——这是一个极端版本的多元宇宙。[15]

📜 MUH 的历史先行者

Tegmark 的激进主张有深厚的哲学根源。柏拉图的理念论早已提出，抽象形式（数学对象）比可感知的物质世界更”真实”。现代版本的数学实在论（Mathematical Platonism）主张数学对象独立于人类心智而客观存在。Tegmark 的MUH是这一哲学传统的极端延伸：不只是数学对象存在，而且物理实在就是数学对象。[5]

争论正面交锋：发现还是发明？

⚖️ 核心辩论：数学是发现的，还是发明的？

🟢 正方：数学是被发现的（柏拉图实在论）

  • 不同文明独立发展出同样的数学结构（如各种形式的勾股定理、素数分布）。
  • 数学定理在被证明之前就已经”为真”——并非人类创造的真理。
  • 黎曼几何在没有任何物理需求的情况下被开发，却完美描述了时空弯曲。这种”提前命中”很难用纯粹的心智构建来解释。[7]
  • Tegmark的MUH：如果数学结构是被发明的，为什么它们会对应真实的物理宇宙？[15]

🔴 反方：数学是被发明的（社会建构论/反实在论）

  • 人类选择了哪些数学概念”存活”下来，这种选择并非中性的——它受到物理直觉和文化环境的影响。[4]
  • 从”数学可以描述世界”到”数学就是世界的本体”，这是一个很大的逻辑跳跃。[17]
  • Butterfield 指出，MUH面临一个根本问题：如果每一个自洽的数学结构都对应一个真实宇宙，我们需要解释为什么我们恰好居住在这个特定数学结构中，而不是其他任何一个。这个解释本身又需要非数学的基础。[16]
  • van der Lugt 则提出了另一个方向：也许物理世界根本不需要实数连续体，有限精度的世界可能要求一套完全不同的数学基础，而我们现在用的那套只是一个方便的近似。[14]

值得注意的是，这场争论的两方并不互斥到无法共存。Visser 的”去神秘化”方案（选择效应 + 历史共演化）可以和某种温和的数学实在论并行——也许数学结构是客观存在的，但人类探索的方向是被物理直觉引导的。[4]

数学的边界：它并非无所不能

讨论数学的有效性时，一个容易犯的错误是将其普遍化。数学在物理学中极为有效，但并非在所有领域都如此。[13]

生物学中的数学模型往往是近似的、局部有效的，无法像麦克斯韦方程组那样在所有边界条件下精确成立。生命系统充满了历史偶然性——某条代谢路径之所以是现在这个样子，并非因为它是数学上最优的解，而是因为它恰好在某次进化岔路上胜出了。[13]

这个对比有深刻意义：它暗示数学的”不可思议的有效性”，可能本身就是物理学这个特殊领域的特征——而不是知识一般性质的体现。维格纳问的问题因此变得更加精确：为什么物理规律恰好具有这种令数学精确嵌入的数学规整性？

一个相关问题：即便物理世界”确实”是数学的，我们也要追问——是哪种数学？现实物理中使用的实数连续体是数学有效性的唯一形式吗？还是在有限精度的观测世界里，存在着某种更基本的离散数学基础？[14] 这是一个至今开放的问题。

💡 科学实在论的微妙

数学有效性的讨论还触碰了科学实在论的一个核心问题：数学模型的成功，是否证明这个模型所描述的实体”真实存在”？暗物质是一个现代案例：它的数学描述极为成功，但这种”成功”究竟证明了什么？[20] Azhar 和 Loeb 指出，在宇宙学语境下，数学成功与理论真值之间的关系远比在经典物理中复杂。[19] 数学描述有效，并不自动意味着描述中的每一个实体都对应着真实的存在。

量子力学的情形尤为典型：波函数的数学结构极为成功，但”波函数是否真实存在”这个问题，在物理学界和哲学界仍然争议不休。[21] 数学有效 ≠ 数学所描述的实体真实存在——这是一道长期横亘在数学、物理和哲学之间的边界线。

🔭 万象点评

维格纳的问题提出六十多年后，依然没有被彻底解决——这本身就是答案的一部分。它不是一个等待某位天才填上最后一块拼图的问题，而是一个触碰到知识边界本身的问题。

万象的立场是：这个问题同时需要三种解读。

第一，Visser 的去神秘化方向是对的——选择效应和历史共演化解释了相当大一部分”惊叹感”。我们不应该被幸存者偏差欺骗。

第二，但选择效应无法解释全部。黎曼几何在完全没有物理应用预期的情况下被发展出来，后来精确地描述了时空弯曲——这个时间差和领域隔离，很难完全归结为历史筛选。

第三，Tegmark 的MUH是迄今最彻底的答案，但它用一个更大的谜（为什么只有这个数学结构对应我们的宇宙？）替换了原来的谜。它将哲学问题转移了，而非消解了。

在这三种解读之间来回思考，本身就是一种科学哲学训练。而维格纳困惑的真正价值，也许不在于最终的答案，而在于它迫使我们重新审视：当我们说”理解”了某件事，我们究竟意味着什么？

📚 参考文献

  1. Wigner, E. P. (1960). The Unreasonable Effectiveness of Mathematics in the Natural Sciences. Communications on Pure and Applied Mathematics, 13(1), 1–14. DOI: 10.1002/j.1538-7305.1960.tb03975.x
  2. Yanofsky, N. S. (2015). Why Mathematics Works So Well. arXiv: 1506.08426
  3. Knuth, K. H. (2015). The Deeper Roles of Mathematics in Physical Laws. arXiv: 1504.06686
  4. Visser, M. (2017). The Utterly Prosaic Connection between Physics and Mathematics. DOI: 10.3390/philosophies3040025; arXiv: 1703.00571
  5. Dressel, J., et al. (2022). The Unreasonable Effectiveness of Mathematics: From Hamming to Wigner and Back Again. DOI: 10.1007/s10701-022-00592-8
  6. Geurdes, H. (2022). Wigner’s Effective Mathematics and Contradiction. DOI: 10.1007/s12596-022-00902-3; arXiv: 2208.12793
  7. Riazuddin (2004). Role of Mathematics in Physical Sciences. arXiv: math/0402407
  8. Deser, S. (1998). Chern–Simons Terms as an Example of the Relations Between Mathematics and Physics. arXiv: math-ph/9805020
  9. Planat, M. (2015). A Moonshine Dialogue in Mathematical Physics. DOI: 10.3390/math3030746; arXiv: 1503.02677
  10. Polychronakos, A. P. (2006). Physics and Mathematics of Calogero Particles. DOI: 10.1088/0305-4470/39/41/S07; arXiv: hep-th/0607033
  11. Jones, V. F. R., et al. (2023). Subfactors and Mathematical Physics. DOI: 10.1090/bull/1799; arXiv: 2303.04459
  12. Mujumdar, A. G., et al. (2015). Cognitive Science and the Connection between Physics and Mathematics. arXiv: 1506.03788
  13. Borovik, A. (2021). A Mathematician’s View of the Unreasonable Ineffectiveness of Mathematics in Biology. arXiv: 2103.04190
  14. van der Lugt, T. (2021). Indeterministic Finite-Precision Physics and Intuitionistic Mathematics. arXiv: 2108.05735
  15. Tegmark, M. (2007). The Mathematical Universe. DOI: 10.1007/s10701-007-9186-9; arXiv: 0704.0646
  16. Butterfield, J. (2014). Our Mathematical Universe? arXiv: 1406.4348
  17. Bernal, A. N., et al. (2008). Physics from Scratch. Letter on M. Tegmark’s “The Mathematical Universe”. arXiv: 0803.0944
  18. Werbos, P. J. (2006). Specification of the Q Hypothesis: An Alternative Mathematical Foundation for Physics. arXiv: quant-ph/0607096
  19. Azhar, F., & Loeb, A. (2016). Scientific Realism and Primordial Cosmology. arXiv: 1606.04071
  20. Martens, N. C. M. (2022). Dark Matter Realism. DOI: 10.1007/s10701-021-00524-y; arXiv: 2202.00958
  21. de Ronde, C. (2023). Bohr’s Anti-Realist Realism in Contemporary (Quantum) Physics and Philosophy. arXiv: 2306.13975