科学就是开源软件
来源:jepedersen.dk — 136 分 · by jegp
📋 概述
作者提出一个略显激进但论证扎实的主张:现代科学等同于开源软件。他的推理链条是——科学的价值在于建立可检验、可系统化的知识与预测,而论文本身很少让人直接拿到那份"知识";真正的知识是一套可以嵌入你自己心智模型的预测机制。因此可复现不只是重复别人的结果,而是能够把某个科学想法接进自己的模型、改造它、在其上继续建构。既然计算科学的结果依赖软件,那么软件错了科学就是错的——文中列举了多起由软件缺陷导致的撤稿,并引述 Greg Wilson 之问:有多少领域、多少人的学术生涯,被一个有 bug 的程序拖住了。
🔑 核心要点
- 科学门槛被重新定义:论文如果不帮读者预测世界,就不算科学。
- 知识存在于心智模型里:作者借 Craik 的《解释的本质》说明人是靠内部小模型做预测的。
- 可复现的含义被扩展:把它嵌进自己的模型、改造、再建构,而不只是重跑出同样数字。
- 类比很有力:既然不接受"公式能预测但不展示推导"的物理论文,就不该接受隐藏方法的计算科学。
- 因果链是硬的:结果依赖软件,软件错了科学就是错的,已有多起撤稿佐证。
- 文中引用了 Greg Wilson 的追问:有多少领域因为一个带 bug 的程序而被拖住。
💡 金句
如果软件是错的,那么科学就是错的。
👍 0
👎 0
← 返回 Hacker News 首页