1921年，爱因斯坦首次访问美国。他在普林斯顿大学、哥伦比亚大学、芝加哥大学演讲，解释狭义相对论。在芝加哥，他与迈克尔逊会面。
        据目击者回忆，对话是礼貌的、尴尬的、深刻的。迈克尔逊祝贺爱因斯坦的理论成功，但表示他仍然相信以太存在，相信他的实验最终会发现它。爱因斯坦回应："您的实验是精确的，但精确性本身不指向以太。以太是一个不必要的假设，一个概念负担。放弃它，物理学更简洁。"(后来，爱因斯坦通过广义相对论，意识到空间性质需要有某种以太)
        迈克尔逊："没有以太，光波如何传播？电磁波如何在真空中振动？我需要某种东西来想象这个过程。"
        爱因斯坦："您不需要想象机制，只需要数学方程。麦克斯韦方程描述光的行为，不需要介质。'传播'是一个经典直觉，在相对论中不适用。"
       这次对话揭示了两、种物理学风格的根本差异。迈克尔逊是视觉的机械的、直觉的：他需要想象光波在某种介质中波动，就像水波在水面。爱因斯坦是形式的、代数的、反直觉的：他接受方程的描述力，放弃对" underlying mechanism"的需求。
       这种差异不是智力的，而是审美的、哲学的、生成性的。迈克尔逊的直觉使他成为伟大的实验家，但也使他无法接受放弃直觉的理论。爱因斯坦的反直觉使他能够创造革命性理论，但也使他的理论难以被同时代人理解。
       1927年，在索尔维会议上，迈克尔逊和爱因斯坦再次相遇。迈克尔逊报告了他最新的以太漂移实验——仍然是零结果。爱因斯坦在听众中，据说微笑着点头。会后，爱因斯坦对助手说："迈克尔逊是艺术家，不是猎人。他追求精确性本身，而非猎物。他的零结果是完美的，但他拒绝接受完美。"
       迈克尔逊的情况更复杂。第谷拒绝哥白尼体系，但哥白尼体系在物理上是不完整的（缺乏引力机制）；迈克尔逊拒绝放弃以太，但以太在狭义相对论中确实是不必要的。第谷的精确数据被开普勒和牛顿使用，推动了革命；迈克尔逊的零结果被爱因斯坦使用，但迈克尔逊本人拒绝承认这种使用。他的数据是革命性的，但他的解释是反对革命的。
        这种分裂——数据与解释的分离——是科学史的核心主题。数据一旦公开，获得独立生命，可以被用于创造者未曾设意的目的。迈克尔逊的零结果背叛了他的意图，成为他反对的理论的证据。这是科学的自我纠错机制的运作：个体可能固执，但集体通过数据的流通和重新解释，实现概念的更新。
       1905年后，狭义相对论逐渐被接受，但过程是缓慢的、争议的、代际的。年长物理学家——包括洛伦兹、彭加勒、开尔文勋爵——坚持以太的某种形式，认为相对论是方便的计算工具，而非物理真实。迈克尔逊属于这个群体，但更加极端：他不仅保留以太，而且继续实验寻找它。

以太的幽灵：20世纪的残余与回归
       尽管狭义相对论在1905年后被广泛接受，以太概念并未立即消失。它以多种形式残余：
       洛伦兹的以太：亨德里克·洛伦兹直到1928年去世，坚持某种"以太"概念——不是机械介质，而是"空间的物理性质"的载体。他的以太是数学的、形式的、不可观测的，与爱因斯坦的"空虚空间"难以区分，但他保留"以太"一词作为传统。
        狄拉克的以太：保罗·狄拉克在1950年代提出"洛伦兹不变的以太"——一种与相对论兼容的、不定义绝对参考系的以太。这种以太是量子场的基态，充满虚粒子涨落，与"真空"概念融合。
       现代量子真空：20世纪的量子场论表明，"真空"不是"无"，而是量子场的最低能量状态，充满虚粒子的涨落、零点能、以及可能的暗能量。这种"真空"在某种意义上是以太的回归——空间的物理状态，具有可观测的效应（卡西米尔效应、兰姆位移、霍金辐射）。
       但这些现代概念与19世纪的机械以太有本质区别。它们不定义绝对参考系，不支持机械振动，不提供直观的"介质"图像。迈克尔逊如果活到看到这些发展，可能会感到安慰——某种"填充空间的东西"存在——但也可能感到困惑，它与他想象的以太完全不同。
        这种困惑是概念变迁的常态。术语保留，指称改变；"以太"从机械介质变为量子基态，"原子"从不可分割变为可分割，"元素"从基本物质变为核合成产物。科学进步通过语义漂移实现，同一词汇标记不同的概念实体。

        真空和空间具有某种物理性质：如果说“麦克斯韦方程描述光的行为，不需要介质”，那么方程中怎么存在着真空介电常数和磁导率呢？这两个常数应该是反映真空性质的。如今认识到，真空也是一种介质，具有量子涨落等物理特征。按照粒子波动演生时空理论，“真空和空间的底层可能是由物质粒子在其波动性中不断地辐射空间本底量子演生的动态时空，其动态结构即是引力场亦即爱因斯坦的弯曲时空，时空弯曲意味着时空具有拉伸和缩涨，潜藏有能量。由此，量子力学与广义相对论便能自然地顺利地得以统一。”

 无穷的现代：从康托到宇宙学
        20世纪的物理学多次遭遇无穷，以不同方式回应。
        量子场论：计算中经常出现无穷大（如电子自能），通过"重整化"技术消除——假设裸电荷和裸质量是无穷的，与计算的无穷抵消，留下有限的观测值。这种操作在数学上是可疑的，在物理上是成功的，获得诺贝尔奖的认可（费曼、施温格、朝永振一郎，1965年）。但费曼本人称重整化为"把垃圾扫到地毯下"，狄拉克认为它破坏了量子场论的数学基础。
       宇宙学：标准大爆炸模型将宇宙历史回溯到奇点——密度、温度、曲率都无穷的时刻。这个奇点是广义相对论的预言，但暗示理论的崩溃。量子引力理论（弦理论、圈量子引力）试图消除奇点，但尚未成功。
       多重宇宙：某些宇宙学模型假设无穷多个宇宙，每个宇宙的物理常数不同。这种无穷是康托式的——不可观测、不可证伪、在经验意义上"不存在"。它引发科学哲学的争论：这种理论是科学还是形而上学？
        这些案例显示，无穷从未被驯服。它被回避（严格化）、被管理（公理化）、被操作化（重整化），但从未被完全理解。康托的遗产是提醒我们，数学和物理的基础建立在不可完成的地基上。

悖论是危机的信号，也是进步的引擎
        为了科学地解决实际问题，我们必须经常“回过头来”重新研究基本理论，因为只有依靠深刻的理论分析，才能：（1）在表面的混乱中把握规律性；（2）区分本质与非本质现象；（3）预见事变的发展方向。

   用清晰的思想代替盲目的计算。
   Replacing blind calculations by clear ideas.
—— 狄利克雷（Johann Peter Gustav Lejeune Dirichlet

        1901年，伯特兰·罗素，英国哲学家和逻辑学家，发现了集合论的一个致命悖论。考虑"所有不包含自身的集合的集合"——它是否包含自身？如果包含，则根据定义不应包含；如果不包含，则根据定义应包含。这是逻辑的矛盾，摧毁了康托理论的完备性。
        哥德尔证明：任何足够强大的形式系统，如果一致，则存在不可证明的真命题，且其一致性不能在系统内证明。这意味着希尔伯特计划——用有限方法证明无穷数学的一致性——是不可能的。
        黎曼的革命性在于一般化。他不再区分三种几何（欧几里得、双曲、椭圆/球面），而是定义n维流形上的度量结构：在每一点，空间可以有任意曲率，曲率可以逐点变化。欧几里得几何是曲率为零的特殊情况，非欧几何是曲率非零的情况。
        黎曼的演讲是哲学的，也是数学的。他批评康德的空间概念：空间不是先验的直观形式，而是经验的、可变的、物理的。几何学成为物理学的分支：空间的性质由测量决定，而非由先验规定。
        但黎曼的演讲是未出版的，在他生前仅以手稿形式存在。他于1866年去世，年仅39岁。他的工作通过朋友（如戴德金）的整理，在1868年出版，立即影响深远。
        问题讨论：
        黎曼的案例显示延迟的认可：即使是最革命性的思想，也需要制度化的传播才能影响科学。黎曼的"地下"是高斯的私人赞赏，是哥廷根的学术网络，是死后出版的遗稿。

支持单位：