“我们如何理解自然？”系列 · 5/7
数学家说“我证明了它”，实验者说“我测到了它”，计算科学家说“我模拟出了它”。三句话都在宣称获得了知识，却依赖完全不同的理由。
一、三句话听起来很像，背后的逻辑却不同二、证明：只要前提成立，结论就逃不掉三、实验：不能给逻辑必然，却能让理论接触现实四、模拟：它到底是在做理论，还是在做实验？五、模拟还多了一类独特误差：数值误差六、那么，计算能够替代实验吗？七、如果模拟比现实测得还精细，为什么仍不能宣布胜利？八、三种“知道”最强的时候，是彼此扣在一起系列导航
一、三句话听起来很像，背后的逻辑却不同
假设我们得到同一个结论 。
数学证明的典型结构是：
实验的结构更接近：
模拟则是：
三者最重要的区别不是“谁更高级”，而是结论到底依赖什么。
如果混淆了这种依赖，我们就会把“模型里的必然”误当成“现实里的必然”，或者把一次观测误当成数学证明。
二、证明：只要前提成立，结论就逃不掉
数学证明追求的是演绎必然性。
如果我们在一个明确的公理体系和逻辑规则下证明
那么只要接受 ，就必须接受 。
证明的力量来自这一点：它不是“测了一千次都对”，而是说明反例在给定前提下根本不可能存在。
例如勾股定理并不是因为人们量了大量直角三角形以后发现
而是可以从几何前提严格推出
但这种确定性有一个容易被忽略的边界：
证明保证的是数学模型内部的结论，而不是模型一定对应现实。
你可以完美证明一个方程的解具有某种性质，却仍然需要实验判断这个方程是不是现实系统的好模型。
三、实验：不能给逻辑必然，却能让理论接触现实
实验的优势恰好是证明不具备的：它真的去问自然界。
但自然不会用“正确 / 错误”两个按钮回答。
实验会带来：
- 测量误差；
- 样本有限；
- 环境条件限制；
- 仪器模型；
- 统计波动。
所以实验结论通常具有经验性与概率性。
即使某个理论通过了大量测试，我们也很少说它被像数学定理那样“证明”了。
更准确的说法是：它得到了越来越强的证据支持，并且竞争解释被不断排除。
这使自然科学具有一种与数学不同的可靠性：不是来自绝对演绎，而来自可重复检验与证据累积。
四、模拟：它到底是在做理论，还是在做实验？
计算模拟的位置最有意思。
假设某个系统由
描述，但方程无法解析求解。
我们把时间切成很多小步，用数值算法近似演化：
电脑最终给出一条轨迹。
它看起来很像实验：我们设置条件、运行系统、观察结果。
可真正被“运行”的不是现实对象，而是数学模型的数值版本。
因此模拟结果至少依赖三层东西：
- 模型本身是否合适；
- 初始与边界条件是否合理；
- 数值算法是否足够准确。
所以“模拟出了某现象”并不自动等于“现实一定发生该现象”。
五、模拟还多了一类独特误差：数值误差
解析方程与计算机结果之间还隔着算法。
以最简单的数值积分为例，步长 越大，离散化误差通常越明显；步长缩小后，计算量又迅速增加。
复杂模拟还可能遇到：
- 舍入误差；
- 网格误差；
- 截断误差；
- 算法稳定性；
- 混沌系统对初始条件的敏感性。
因此计算科学有一个非常重要的区分：
验证：程序是否正确求解了我们写下的方程？
确认现实性：这些方程是否真的描述了我们想研究的现实？
前一个问题可以大量依靠数学与计算测试；后一个问题最终仍需要经验世界参与。
六、那么，计算能够替代实验吗？
如果把问题简单回答成“不能”，其实太粗糙。
计算确实可以替代实验的某些功能。
例如当现实实验：
- 成本极高；
- 条件难以达到；
- 时间尺度太长或太短；
- 过程无法重复；
- 参数空间大到不可能逐个测试；
模拟可以先筛选可能性、寻找关键参数、设计实验，甚至研究现实中无法直接操作的过程。
因此很多现代研究形成了循环：
模拟不是简单地排在理论和实验之间，而是把两者连接得更紧。
计算可以替代某些实验步骤，却不能一般性地替代“现实是否真的如此”这个问题。
七、如果模拟比现实测得还精细，为什么仍不能宣布胜利？
想象一个模拟输出十五位小数：
这看起来极其精确。
可如果模型中某个参数本身只知道到 ，或者模型忽略了一个重要机制，那么十五位小数只是数值上的精细，不是知识上的精确。
这提醒我们区分两个概念：
- 计算结果的数值精度；
- 对现实结论的可信程度。
后者永远由整条证据链中最薄弱的环节限制。
算力可以把方程解得越来越细，却不能凭空修复错误前提。
八、三种“知道”最强的时候，是彼此扣在一起
证明告诉我们：
如果这些前提成立，会必然推出什么？
实验告诉我们：
现实实际上表现成什么样？
模拟告诉我们：
当模型复杂到不能手算时，它会怎样演化？
真正强大的科学结论往往同时得到三者支持。
理论给结构，计算扩展理论能处理的复杂度，实验则负责把整个体系拴在现实上。
所以更合适的图景不是
而是
可科学家在真正写出理论、设计实验以前，经常还会说一句很不“严格”的话：
“我直觉上觉得答案应该是这样。”
这种直觉究竟只是猜，还是一种被训练出来的能力？下一篇继续。
系列导航
上一篇：为什么自然科学如此依赖数学？
第 5 篇（本文）：证明、实验、模拟：三种“知道”有什么区别？
下一篇：科学中的“直觉”究竟可靠吗？
- Author:阿尔法
- URL:https://yjy.hauchet.cn/article/proof-experiment-simulation-three-ways-of-knowing
- Copyright:All articles in this blog, except for special statements, adopt BY-NC-SA agreement. Please indicate the source!
Relate Posts
