ゲーデル解が、ひいてはティプラー型モデルが問題なのだよ。
相対論は、過去へのタイムトラベルを否定しない。困ったことに。