数学与现实

关键词#

数学应用; 不合理有效性; 数学柏拉图主义; 物理学; 数学建模; 自然科学; 纯粹数学; 应用数学

第1页 · 维格纳之谜#

标题：为什么抽象的数学能描述物理世界？

1960年，物理学家尤金·维格纳发表了他最著名的文章《数学在自然科学中不合理的有效性》。他指出一个令人困惑的现象：数学家出于纯粹的美学动机发展的抽象概念，往往在几十年甚至几百年后成为物理学的核心工具。

黎曼在1854年出于纯粹的数学兴趣发展了黎曼几何——60年后，爱因斯坦发现这正是描述引力的语言。群论在19世纪初作为方程论的工具被发明——100年后，它成为粒子物理分类基本粒子的基础。复数在16世纪被引入时被认为"虚幻"——400年后，量子力学的波函数本质上是复值函数。

维格纳将这种现象称为"不合理的有效性"——他承认自己无法解释这一现象。这不是一个技术问题，而是一个深刻的哲学谜题：为什么人类心智创造的抽象结构能够如此精确地描述物理世界？

维格纳问的不是“数学有没有用”，而是：为何为了内部完美而发明的结构，后来能以极高精确度描述实验。他承认这看起来像奇迹，而奇迹并不是解释。把事后附会和事先精确预言混在一起，谜题会被说成鸡汤。

他的文章发表于1960年的《纯粹与应用数学通讯》，针对的是自然科学、尤其是物理学，而不是“凡是用到数学的地方都同样有效”。经济学或生物学里的方程常常换一套就还能拟合，这种可替换性本身就是有效性变弱的信号。

复数曾被当成解三次方程的辅助符号，后来成为量子力学波函数的取值空间。黎曼写出弯曲空间的几何时，并不是为了给引力准备语言；那套语言后来才进入广义相对论。两组例子的共同点是：数学先按自己的标准完成，物理后到。

维格纳并不因此宣布柏拉图主义已经获胜。他要保住的区分是：一种形式是否只在数据拟合之后显得巧妙，还是它在实验之前就给出可检验的量。麦克斯韦方程组对电磁波的预言属于后一类，也才配被叫做不合理的有效。

第2页 · 历史案例#

标题：从牛顿到弦理论——数学与物理的共同演化

数学与物理学的关系可以追溯到古希腊。毕达哥拉斯学派相信"万物皆数"——自然界的规律可以用数学语言表达。这一信念在牛顿的《原理》中得到了最有力的证实：万有引力定律和运动定律用精确的数学方程描述了从苹果到行星的运动。

19世纪，麦克斯韦方程组将电学、磁学和光学统一为一个数学框架——并预言了电磁波的存在。这一预言在20年后被赫兹的实验证实。麦克斯韦方程组的数学结构——偏微分方程——成为描述所有经典场论的标准语言。

20世纪，数学与物理的关系更加深刻。爱因斯坦的广义相对论使用了黎曼几何；量子力学使用了希尔伯特空间和算子理论；标准模型使用了李群（SU(3)×SU(2)×U(1)）的表示论。弦理论更进一步——它需要10维或11维的卡拉比-丘流形，推动了代数几何和微分拓扑的发展。

共同演化还有另一面：物理问题会倒逼数学。为了力学而发展的微积分、为了热传导而展开的函数，都不是“纯美学先完成”。维格纳之谜真正刺人的，是那些当时看不出用途的部分后来被征用。

弦论与高维几何的互动仍在进行，不能当成已经由实验盖章的有效性案例。一套数学被理论家频繁使用，只说明它好用，不说明对应的时空图景已被观测选中。有效性要由可重复的测量裁决，而不是由公式的漂亮程度裁决。

把牛顿到弦论排成一条越来越深的胜利叙事，会漏掉失败的模型。热质、以太以及许多优美却没有实验对应的拉格朗日量说明：数学结构过剩，物理只挑走其中能活下来的一小部分。

黎曼几何进入引力理论，靠的是它能在没有外部平直背景的情况下写局部几何。这与“弯曲看起来很美所以物理会来用”不是同一句话。工具被选中，是因为它碰巧提供了理论已经需要的那种描述，而不是因为美本身具有召唤实验的力量。

第3页 · 哲学解释#

标题：三种立场——柏拉图主义、自然主义和进化论

对"不合理有效性"的解释大致分为三种立场。

数学柏拉图主义认为数学对象是独立于人类心智存在的抽象实体。物理世界之所以遵循数学规律，是因为物理世界本身就是数学结构的一部分。这一立场的代表人物包括哥德尔、彭罗斯和泰格马克（Max Tegmark）。泰格马克甚至主张"物理实在就是数学结构"——这是柏拉图主义的极端形式。

自然主义认为数学的有效性是自然选择的结果——人类发展出的数学工具之所以有效，是因为它们在与物理世界的互动中被"选择"和"优化"。这一立场的代表人物包括蒯因（W.V.O. Quine）和普特南（Hilary Putnam）。他们主张"不可或缺性论证"——数学对物理学是不可或缺的，因此我们应该承认数学对象的存在。

进化认识论认为人类的数学直觉是进化的产物——我们的祖先在与物理世界的互动中发展出了对数量、空间和因果关系的直觉，这些直觉是数学的基础。因此，数学的有效性不过是进化适应的表现。

数学哲学上的柏拉图主义要解释的是：为何独立于心智的结构会与实验室吻合。它的代价是必须说明人类如何“接触”这些对象。把接触说成神秘直觉，谜题只是换了一个名字。

不可或缺性论证说：成功的物理学已经量化地依赖数学对象，因此这些对象应被承认存在。蒯因与普特南的这条路线，把存在承诺绑在整套理论的成功上。反对者认为，这只表明理论需要结构，并不迫使我们把结构写成与电子同类的存在者。

进化论解释对算术与空间直觉较有力，对无穷维空间和非交换对称则越来越弱。自然选择没有直接训练我们去写规范场。把全部高等数学说成适应，是把近因夸大成了远因。

泰格马克把物理实在等同于数学结构，是把有效性直接升级成本体论。即便每个可观察量都能找到数学表达式，也推不出“世界就是那个表达式”。表达式可以有多个，经验成功通常无法在它们之间一次选完。

第4页 · 纯粹数学与应用数学#

标题：纯粹数学的"无用之用"

数学史上最令人惊讶的现象之一是：出于纯粹美学动机发展的数学往往最终找到物理应用。哈代在《一个数学家的辩白》中骄傲地宣称他的数论研究"没有任何实际用途"——但数论现在是密码学的基础。

非欧几何在19世纪被认为是纯粹的智力游戏——直到广义相对论表明物理时空是弯曲的。矩阵理论在19世纪是纯粹的代数——直到量子力学表明可观测量是希尔伯特空间上的算子。纤维丛理论在20世纪中叶是纯粹的拓扑学——直到规范场论表明基本粒子的内禀自由度由纤维丛描述。

这种"无用之用"的模式一再出现，以至于数学家们开始相信：纯粹数学的美和深度本身就是其价值的最佳指标——因为深刻的数学结构最终总会在自然界中找到对应。

哈代的“无用”是一种价值声明，不是对未来的预言。数论进入密码学、并支撑公钥方案，说明审美标准偶尔与后来的应用重合，并不说明美是用途的可靠探测器。

更稳妥的说法是选择偏差：被记住的是后来有用的结构，大量同样讲究内部完美却从未进入实验室的理论，不会出现在有效性故事里。清单被高估，常常是因为失败案例没有被收进同一页。

矩阵与算子、纤维丛与规范场，仍然是真匹配。需要避免的只是把匹配写成命运，仿佛深刻本身会保证应用。非欧几何被当成智力游戏的那些年，并没有提前出示相对论的入场券；入场券是后来物理自己找到的。

第5页 · 数学建模的边界#

标题：数学不是万能的——模型的局限性

虽然数学在自然科学中极为有效，但数学模型也有其局限性。首先，所有数学模型都是对现实的简化——它们忽略了一些细节以突出主要特征。牛顿力学忽略了空气阻力、地球自转等因素——这些简化在大多数情况下是合理的，但在极端条件下会导致错误。

其次，某些现象可能根本不存在简单的数学描述。生物系统的复杂性、人类社会的不可预测性、意识的本质——这些问题可能超出了当前数学方法的范围。混沌理论表明，即使完全确定性的系统也可能表现出不可预测的行为——初始条件的微小差异会导致截然不同的结果。

最后，数学模型的有效性不等于本体论的真实性。一个数学模型能精确预测实验结果，并不意味着物理世界"就是"数学结构。模型与实在之间的关系是一个深刻的哲学问题，至今没有定论。

模型是为了可计算而删掉的世界。牛顿力学忽略的阻力在行星轨道里可以很小，在飞行与落体里却是主项。有效性依赖尺度与误差预算，不是一句“数学正确所以现实服从”。

混沌并不取消决定性方程，它取消的是长期数值预报的稳定性：初始误差会以可检验的方式被放大。这与“社会无法数学化”不是同一句话。生物与社会系统更困难的地方在于，变量的操作定义不稳定，参数还会随语境漂移。

因此要分清三层：方程是否自洽，模型是否在某精度内预测，以及世界是否“就是”这套结构。维格纳讨论的是第二层为何常常好得惊人；第三层是形而上学主张，不能由预测成功直接升级。

维格纳讨论的有效性，集中在物理学那种把常数测到很高位仍能对上公式的情形。换到气候、生态或宏观经济，模型往往只能在标定过的窗口里工作，出了窗口就要重标。有效性有梯度，不是一块牌子从数学门口一直挂到所有经验科学。

把“没有简单方程”说成“数学无用”，会漏掉统计与算法那一层。随机过程、优化和数值模拟仍然是数学，只是不再承诺一条短公式管住全部细节。边界不在用不用数学，而在模型还能否在新样本上保持同一组参数。

事实卡#

1. 卡1

   维格纳1960年的文章《数学在自然科学中不合理的有效性》至今仍是数学哲学领域最有影响力的论文之一。

2. 卡2

   黎曼几何在创立60年后成为广义相对论的数学语言——这是"不合理有效性"的经典案例。

3. 卡3

   哈代认为数论"没有实际用途"——但现在数论是RSA密码学的基础。

4. 卡4

   泰格马克的"数学宇宙假说"主张物理实在就是数学结构——这是柏拉图主义的极端形式。

引用#

跨域连接#

• 微分几何：弯曲空间的几何在被发明时没有任何物理动机，几十年后成了引力理论的语言。机制在于它提供的恰好是一套不依赖外部平直背景的局部描述，而引力理论正需要这种描述。这类"先备好工具、后遇上问题"是有效性之谜最典型的形态。
• 对称性与诺特定理：每一条连续对称性对应一条守恒律，时间平移对应能量守恒。这是数学结构直接生出可证伪预言的最干净例子：只要指定了对称群，守恒量就被定死；实验测到某个量不守恒，就等于测到该对称性被破坏，反推路径完全明确。
• 行为经济学理论：把力学的形式搬进社会科学，曾把效用当成可测量的物理量、把均衡当成受力平衡。这类搬运反复失败说明有效性不能靠形式相似转移：一套数学在物理里管用，是因为那里的量有稳定的操作定义，而偏好既不稳定也难以独立测量。
• 细胞信号：同一个分子在不同细胞、不同时序里可以产生相反的效果，参数随语境改变。这是"不合理有效性"的反例区：不是数学不能用，而是找不到少参数、跨语境稳定的方程，模型往往只在标定过的条件下有效，换个体系就得重标。
• 科学哲学：模型预测精准，不等于世界就是那个数学结构。同一批数据常有多套形式完全不同却预测一致的理论，仅凭经验成功无法在它们之间裁决。所以"世界是数学的"是一条形而上学主张，需要独立论证，不能由预测成功直接推出。

参考文献#

1. Wigner, Eugene. "The Unreasonable Effectiveness of Mathematics in the Natural Sciences." Communications in Pure and Applied Mathematics, 1960.
2. Hardy, G.H. A Mathematician's Apology. Cambridge University Press, 1940.
3. Tegmark, Max. Our Mathematical Universe. Knopf, 2014.
4. Putnam, Hilary. Philosophy of Logic. Harper & Row, 1971.
5. 郝柏林. 《数学与物理学的关系》. 物理学报, 2004.
6. 刘钝. 《数学与自然科学》. 科学出版社, 2008.
7. Quine, W.V.O. "On What There Is." Review of Metaphysics, 1948.
8. Hamming, R. W. "The Unreasonable Effectiveness of Mathematics." The American Mathematical Monthly, 1980.
9. Steiner, Mark. The Applicability of Mathematics as a Philosophical Problem. Harvard University Press, 1998.
10. Cartwright, Nancy. How the Laws of Physics Lie. Oxford University Press, 1983.