1949年，哥德尔在爱因斯坦场方程中找到一个整体旋转的宇宙解：其中某些世界线闭合，旅行者可以回到自己的过去。霍金在1992年把这个问题推到台前，提出“时序保护猜想”。这篇文章的论点是：外祖母悖论不是时间旅行的观测证据，而是经典广义相对论在“局域因果”与“全局时空结构”之间暴露出的边界条件问题；把悖论当成已证伪或已证实时，都是跳过证据分级。
悖论从哪里来
外祖母悖论的标准形式是：回到过去杀死外祖母，导致父母不存在，从而自己不存在。它在广义相对论中对应闭类时曲线（CTC）。CTC不是“飞得很快”，而是时空度规允许世界线回到过去。哥德尔解、Tipler柱、可穿越虫洞都是数学解；但数学解不等于物理实现。证据等级：直接观测——无；间接推断——无；理论自洽要求——GR允许特定解；纯假说——时序保护与量子CTC。
争论不在“能不能回去”，而在“边界条件怎么选”
Novikov自洽原则认为，只有自洽的历史被允许，悖论事件的概率为零。Deutsch在1991年提出量子CTC模型，把闭合时间线当作量子信道，允许自洽但非线性的演化。两者都缺少实验检验，属于纯假说层面的对立。霍金的时序保护猜想认为，量子效应会在时序视界上摧毁时间机器；但它是猜想，不是定理。半经典真空极化发散是支持性论证，不是证明。分歧核心是：量子引力是否在时序视界上禁止CTC。
科学家如何知道
没有时间机器可观测。检验路径是：在GR解中检查能量条件、Cauchy初值问题、量子场在CTC背景下的行为；在天文上，标准ΛCDM背景未显示需要全局旋转或CTC的特殊拓扑。据普朗克2018宇宙学参数，背景高度接近平坦；这不是对局部虫洞的直接排除，而是说明没有观测动机。误差来源包括模型依赖和背景假设。因此，外祖母悖论更像一个理论边界问题，而不是天文异常。
关键数据框
- 直接观测：0例宏观CTC。
- 理论门槛：可穿越虫洞需违反平均零能量条件（理论自洽要求）。
- 关键年份：1949哥德尔解；1988 Morris-Thorne虫洞；1991 Deutsch量子CTC；1992霍金时序保护猜想。
- 观测背景：普朗克2018 ΛCDM，未显示CTC所需全局结构（间接推断）。
争议焦点
- Novikov：只有自洽历史，悖论事件概率为零。
- Deutsch：CTC是量子信道，允许自洽但非线性的演化。
- Hawking：量子效应会摧毁时间机器；仍属猜想。
当前边界很清楚：外祖母悖论没有被观测检验，也没有被理论排除。它卡在量子引力缺失上；下一步需要的不是更多类比，而是能区分时序保护与量子CTC的可计算预言，以及宇宙学与引力波对强场因果结构的间接约束。悖论的价值，或许正在于它提醒我们：因果性不是局部方程自动赠送的全局性质。
参考文献
- Gödel, K. 1949. An Example of a New Type of Cosmological Solutions of Einstein’s Field Equations of Gravitation. Rev. Mod. Phys. 21, 447.
- Morris, M. S., Thorne, K. S. 1988. Wormholes in spacetime and their use for interstellar travel. Am. J. Phys. 56, 395.
- Hawking, S. W. 1992. Chronology protection conjecture. Phys. Rev. D 46, 603.
- Deutsch, D. 1991. Quantum mechanics near closed timelike lines. Phys. Rev. D 44, 3197.
- Planck Collaboration. 2020. Planck 2018 results. VI. Cosmological parameters. A&A 641, A6.