“我们如何理解自然？”系列 · 4/7
如果数学只是人类发明的一套符号游戏，它为什么能如此精确地描述行星、光、电磁波、量子与时空？自然科学依赖数学，似乎远不只是因为“数学方便计算”。
一、最浅的一层：数学让描述变得精确二、数学最强的地方：它会替理论说出“你还没想到的东西”三、数学能保存“结构”，而不仅是数字四、为什么纯数学常常“提前”准备好自然科学需要的语言？五、数学为什么能有这么高的“压缩率”？六、但数学并不保证自己对应现实七、“数学是发现的还是发明的？”为什么总会回来？八、自然科学真正依赖的，不只是“算术能力”系列导航
一、最浅的一层：数学让描述变得精确
自然语言可以说：
物体下落得越来越快。
数学却可以写成
这两句话都在描述运动，但后者多出了大量可以继续推演的信息。
从这个方程，我们能得到速度、位置、飞行时间，还能判断不同初始条件下会发生什么。
数学最明显的作用，就是把“差不多”“越来越快”“大概成正比”这种模糊语言压缩成可检验的关系。
但如果数学的作用仅仅是精确记账，那还解释不了它真正奇妙的地方。
二、数学最强的地方：它会替理论说出“你还没想到的东西”
一旦某套自然规律被写成数学结构，它往往会推出原本没有放进去的结论。
这与单纯整理数据不同。
假如一个方程组同时包含几个量之间的关系，那么要求这些方程彼此自洽，就可能强迫某些新现象出现。
也就是说，数学不是一个被动容器，而具有内部约束。
你不能随意让一个公式在这里成立、在那里又违反同一套规则。
这种逻辑强制力使理论具有预测能力：
科学家真正喜欢的不是“用数学写得漂亮”，而是这种高压缩比：很少的原则，能够推出很多现象。
数学把一个理论从“对过去数据的总结”，变成了“对尚未观察事物的承诺”。
三、数学能保存“结构”，而不仅是数字
物理规律中最重要的东西经常不是某个具体数值，而是关系与不变量。
例如旋转一个实验装置以后，某些规律依旧不变；平移时间起点以后，规律也可能保持相同形式。
数学可以非常自然地表达这种对称性。
对称性进一步对应着守恒、分类和允许出现的结构。
于是自然科学逐渐发现：真正值得寻找的往往不是一张巨大的数值表，而是更抽象的东西——
- 哪些变换不改变规律？
- 哪些量在演化中保持不变？
- 哪些状态虽然表面不同，本质上属于同一类？
这些问题天然就是数学问题。
四、为什么纯数学常常“提前”准备好自然科学需要的语言？
数学史里反复出现一种令人惊讶的现象：某些数学结构最初并不是为了描述特定自然现象而发展，后来却突然变成核心语言。
复数曾经看上去像求解代数方程时的奇怪扩展，后来成为波动、电路与量子理论的自然语言。
非欧几何最初是对几何公理自身的探索，后来却成为描述弯曲时空的重要数学背景。
群论关注抽象的对称结构，后来在现代物理中无处不在。
傅里叶分析把复杂函数分解成简单振动模式，也成为研究波、信号和偏微分方程的基础工具。
这会让人产生一种强烈错觉：
数学是不是早就在某个地方“等着”自然科学来发现它？
当然，这个问题没有一个被所有人接受的哲学答案，但现象本身确实值得思考。
五、数学为什么能有这么高的“压缩率”？
假设我们逐秒记录一颗行星的位置。
几年下来会得到海量数据。
但如果一个动力学理论能够用少数方程描述运动，那么庞大的数据表就被压缩成了：
以后的位置不需要提前全部储存，而可以由规律生成。
从这个角度看，科学理论像一种极高效的压缩算法。
好的数学结构之所以珍贵，是因为它能够用很短的“程序”生成大量现象。
这也解释了为什么简单公式常给人一种美感：不是因为短就一定真，而是因为当一个短结构确实解释了大量复杂事实时，我们看到的是一种惊人的信息压缩。
六、但数学并不保证自己对应现实
这里必须划一条非常重要的边界。
一个数学体系可以内部完全一致，却不一定描述任何现实系统。
数学可以研究任意维空间、各种几何、不同代数结构和无穷对象；自然界是否使用其中某一种，需要实验来决定。
所以在自然科学中存在两个不同问题：
- 如果模型成立，数学上会推出什么？
- 这个模型真的对应现实吗？
第一个问题主要由推理和计算回答；第二个必须回到观察与实验。
这也是为什么自然科学不能只靠纸笔完成。
数学提供可能世界，实验告诉我们自己住在哪一个世界里。
七、“数学是发现的还是发明的？”为什么总会回来？
当一个纯数学结构后来准确描述自然时，人们很容易重新追问：数学究竟是人类创造的语言，还是某种客观结构的发现？
如果强调“发明”，可以说符号、公理和研究方向明显带有人类选择；如果强调“发现”，又会指出一旦规则给定，很多结论并不服从个人意愿。
而自然科学让这个问题更复杂：
我们不仅发现数学结构内部的必然关系，还发现现实世界似乎恰好经常遵循其中一些结构。
这正是 Eugene Wigner 曾以“数学在自然科学中不可思议的有效性”概括的那类困惑。
文章到这里并不打算替哲学争论给出最终裁决。
更重要的是承认：数学与自然之间的对应，本身就是科学最值得惊讶的事实之一。
八、自然科学真正依赖的，不只是“算术能力”
把数学理解成计算器，会低估它。
数学至少同时承担了四件事：
它让理论可以被精确表达，让不同现象共享同一形式，让结论能够超出已有数据，还让隐藏的对称性与不变量浮现出来。
可这又带来了一个新的问题。
如果数学推导给出一个结论，实验测量给出一个结论，计算机模拟又给出一个结论——这三者都可以让我们说“我知道了”。
但它们真的是同一种“知道”吗？
下一篇，我们就专门拆开这三种知识。
系列导航
上一篇：从实验数据到科学规律，中间到底发生了什么？
第 4 篇（本文）：为什么自然科学如此依赖数学？
下一篇：证明、实验、模拟：三种“知道”有什么区别？
- Author:阿尔法
- URL:https://yjy.hauchet.cn/article/why-natural-science-depends-on-mathematics
- Copyright:All articles in this blog, except for special statements, adopt BY-NC-SA agreement. Please indicate the source!
Relate Posts
