1988年，Morris、Thorne与Yurtsever在《物理评论快报》讨论可穿越虫洞如何变成时间机器；两年后，Friedman、Novikov、Thorne等人在《物理评论D》处理含闭合类时曲线的柯西问题。争论焦点不是“能不能造出虫洞”，而是一个更窄的问题：若时空允许闭合类时曲线，物理定律是否会被祖父悖论逼到无解。本文的论点是：诺维科夫自洽原则更像一条全局筛选条件，而不是时间旅行可行性的证据；它的说服力来自逻辑，弱点也来自缺少独立检验。
诺维科夫自洽原则不是时间警察，而是筛选条件
常见表述是：在存在闭合类时曲线的时空中，只有满足物理方程的全局自洽历史才被允许；导致矛盾的事件概率为零。它不是让某个“时间警察”临时改剧本，而是对解空间做筛选。证据等级：理论自洽要求，非观测结论。1980年代Novikov提出这一思路，1990年Friedman等人在经典广义相对论框架下讨论其柯西问题，说明自洽性不是自动成立，而需要模型逐例检验。
关键分歧：年代保护还是自洽筛选
霍金1992年提出年代保护猜想：量子场在 chronology horizon 附近的真空极化会发散，反馈摧毁时间机器。证据等级：半经典理论推断，模型依赖强。对立面并非“霍金错了”，而是Thorne等人先接受闭合类时曲线存在，再要求经典场自洽；诺维科夫自洽原则不保证虫洞可造，只规定若存在则不能出现悖论。另一条分歧来自Deutsch 1991的量子CTC模型：它用密度矩阵不动点允许非自洽经典历史以多世界方式消解，和“单一自洽历史”并不等价。学界没有共识。
- 直接观测：0项；闭合类时曲线未被观测。
- 间接推断：虫洞需负能量密度，受量子不等式约束，模型依赖。
- 理论自洽要求：诺维科夫原则排除祖父悖论式全局解。
- 纯假说：量子引力中CTC是否存活，无共识。
如何知道：没有观测，只有解与不等式
目前没有直接观测证据支持闭合类时曲线，也没有实验检验它。间接推断也弱：Morris-Thorne虫洞需要负能量密度，而量子不等式对负能量时程给出限制；这属于理论推断，不是测量。可证伪性也棘手：若原则只排除不自洽初始条件，它可能把反例定义为“不允许的初态”，从而难以被单独证伪。
边界
已知的是：在若干经典模型中，自洽轨迹可以存在；卡住的是：自洽解是否普遍存在、量子引力是否保留闭合类时曲线、以及“概率为零”如何从动力学中导出。下一步需要的是能区分年代保护与自洽筛选的量子引力计算，而不是更多思想实验。诺维科夫自洽原则提醒我们：时间旅行最难的也许不是造机器，而是让历史在逻辑上闭合。
参考文献
- Morris, M. S., Thorne, K. S., & Yurtsever, U. (1988). Wormholes, Time Machines, and the Weak Energy Condition. Physical Review Letters, 61, 1446.
- Friedman, J., Morris, M. S., Novikov, I. D., Echeverria, F., Klinkhammer, G., Thorne, K. S., & Yurtsever, U. (1990). Cauchy problem in spacetimes with closed timelike curves. Physical Review D, 42, 1915.
- Hawking, S. W. (1992). Chronology protection conjecture. Physical Review D, 46, 603.
- Deutsch, D. (1991). Quantum mechanics near closed timelike lines. Physical Review D, 44, 3197.