金对基于旋转圆柱或宇宙弦的时间旅行方案提出更基本的反对意见，他证明了一个定理：根据广义相对论，不可能在一个满足弱能量条件的区域中建造特殊类型的时间机器（利用紧凑产生的柯西视界进行时间旅行的机器），因为满足弱能量条件意味着该区域不含具有负能量密度的物质（奇异物质）。使用数学方法会更容易分析提普勒这类假设无限长圆柱体的解，虽然提普勒认为如果旋转速度足够快，有限圆柱体也可能会产生闭时曲线，但他没有证明这一点。但是霍金指出由于他的定理，「这不是在到处都是正能量密度的地方能达成的事！我可以证明，建立有限的时间机器需要