Michael Nielsen——科学实际上是如何进步的

Dwarkesh 用一个问题框住整场对话，而这个问题最终对 AI 也重要：我们如何识别科学的进步？直接的动机是，人们正试图在科学发现上闭合 RL 的验证回路，而「闭合这个回路」到底意味着什么，值得一问。他在准备过程中读到的材料改变了他的看法——科学史上的进步，是一种比他原先设想的更陌生、更难以把握的力量。

检验案例是迈克尔逊—莫雷实验。标准讲法是：1880 年代的一次实验证明以太不存在，在物理学中造成危机，爱因斯坦用狭义相对论解决了它。

Nielsen 的修正从「迈克尔逊和莫雷以为自己在做什么」讲起。以太可以追溯到 1600 年代的罗伯特·波义耳：声音是空气的振动，那么光是不是某种东西的振动？波义耳证明光能穿过真空而声音不能，于是引入以太来充当那个「某种东西」。此后两百年，人们一直在争论它的性质。

那个实验的设计目的，是在各种以太理论之间做区分，尤其是探测所谓「以太风」：如果地球在以太中穿行，顺着风发射的光束会被加速，逆着风的会被减慢，这应该能在干涉实验结果中看出来。他们发现的——让他们大为意外——是没有以太风。这排除了一部分以太理论，但不是全部，而迈克尔逊本人终其一生都相信以太。

Nielsen 把这个信念的时间点说得很准。第一次实验是 1881 年，不是 1887 年；迈克尔逊在 1920 年代还在做以太实验，直到 1929 年前后去世前一两年仍然相信。米勒在威尔逊山继续做，理由是海拔足够高时以太风不会被地球拖曳，并报告了测量结果。爱因斯坦的回应就是那句名言：上帝是微妙的，但并不恶意。

Dwarkesh 引出方法论上的要点。真实历史不同于教科书里的科学方法图景，因为证伪并不像看上去那么干净：究竟什么被证伪了，并不清楚。某一版以太理论，当然。而你也无法从「某一版以太理论被否证」归纳出狭义相对论。

Nielsen 同意：朴素的证伪主义与其说被反驳，不如说被表明在实践中要复杂得多。迈克尔逊 1881 年的装置有问题——瑞利等人指了出来——所以 1887 年重做，此后多数顶尖物理学家接受了「没有以太风」。但问题变成了下一步怎么办。你证伪了一些以太理论；另一些毫发无损，于是人们开始去发展那些。

他指出，连那个定冠词都是错的：不存在「那个」以太，而是有大量理论，其中两三个是主要竞争者。当时顶尖物理学家的回应不是「没有以太」，而是「这告诉我们以太必须是什么样子，而且说了很多」。

Dwarkesh 把论点说得更锋利。洛伦兹在爱因斯坦之前就推导出了狭义相对论所依赖的参考系变换——但他把它解释为从以太系到相对以太运动的非特权系的转换。长度收缩和时间膨胀对他而言是在以太中运动造成的动力学效应，是一种压力在扭曲时钟和量尺。而在实验上，按他的说法，他的解释与爱因斯坦的无法区分。

Nielsen 把这个说法放软。洛伦兹引入「本地时间」时并没有想给它物理诠释——爱因斯坦后来只是把它认作另一个惯性系中的时间——而庞加莱更接近把它看成时钟所记录的时间。

区分是在四十年后由宇宙线 μ 子完成的。上层大气产生的 μ 子按经典假设衰减得太慢，根本到不了地面，而 1940 年测到的衰变率与狭义相对论完全吻合。如果洛伦兹还活着——他那时已去世约十年——他大概会再一次给自己的理论打补丁，但那会是巨大的挫折：那个被当作数学便利的量，原来就是时间本身，至少对 μ 子而言如此。

Dwarkesh 据此修正自己的说法。不是两者永远无法在实验上区分，而是共同体在任何实验偏好之前，就已经采纳了我们事后认为正确的那个解释。人类科学中确实有某种东西在区分理论。

Nielsen 直接打断在「过程」这个词上。过程带有「事先设定好」的意味，而实践中要复杂得多。洛伦兹——爱因斯坦极为推崇的人；庞加莱——有史以来最伟大的科学家之一；迈克尔逊——另一位杰出人物——没有一位最终接受了新图景。伟大科学家可以在共同体已经大体改变看法之后，仍然长期错着；而做这个改变的，并不是某个中央权威或中央方法。

Dwarkesh 的总结是：进步确实发生了，尽管很难说清它借以发生的那个过程或那些启发法是什么。

Dwarkesh 提出一个反复出现的模式：有人问对了问题，却没把它钉死。庞加莱看起来是洛伦兹的反向失败——洛伦兹有数学、解释错了；庞加莱似乎已经明白「同时性」的定义是循环的，因为速度要用时间来定义。

Nielsen 的回答是这类案例必须一个个来看，因为他们犯的并不是同一个错。庞加莱很惊人：他似乎已经把握了相对性原理——物理定律在所有惯性系中都相同——以及光速在所有惯性系中都相同，而这些基本上就是爱因斯坦据以推导狭义相对论的前提。

但庞加莱同时认为长度收缩是动力学效应，是粒子被某种外力挤压到一起，而不是「空间和时间与我们以为的不同」这一纯运动学后果。在 1909 年的一篇论文里，他仍然持有那个动力学图景。从现代观点看，这就是一个错误。

为什么抓着不放？Nielsen 直说不知道——他从没见过本人——并给出一个猜测：专业知识挡了路。庞加莱知道得太多、理解得太深，以至于放不下。有启发性的对照是，1890 年代还是少年的爱因斯坦也相信以太、也懂同样的材料，但没有那么执着。也许老一辈人是自己专业知识的囚徒；他指出，有些科学史家肯定会不同意。

Dwarkesh 把闭环合上：爱因斯坦本人后来也被说成因为自己的执着，而错过了量子力学和宇宙学的正确解释。

Dwarkesh 把 μ 子的论点推广：科学共同体取得进步的速度，似乎快于那些漫长验证回路所暗示的。他最干净的案例是公元前二世纪的阿里斯塔克，他已有日心说，却被观测理由驳回——如果地球在动，恒星应当发生位移——而唯一的逃生口是恒星太远，位移看不见。

恒星视差直到 1838 年才被测到。所以日心说并不需要等它的验证，认为哥白尼在某种意义上更好的判断也不需要。而通常的事后辩护都站不住：托勒密模型更精确，因为它被加了几个世纪的本轮——而且较少被注意的是，它在某种意义上也更简单，因为哥白尼坚持匀速圆周运动，反而被迫加了比托勒密更多的本轮。既不更精确，也不更简单：事先怎么可能知道？