出典：フリー百科事典「ウィキペディア」より引用
ゲーデル解
ゲーデル解（Gödel solution）は、一般相対性理論のアインシュタイン方程式の厳密解の一つ。クルト・ゲーデルが1949年に発表した。物質分布を規定するエネルギー・運動量テンソルを、回転する一様なダスト粒子として仮定し、ゼロでない宇宙項を仮定したアインシュタイン方程式のもとで得られる。
ゲーデルの解には時空特異点は存在しない。この解は、宇宙項の大きさをダストの密度によって再定義するなど多分に人工的なものであるが、解としてはさまざまな奇妙な振る舞いをするため、アインシュタイン方程式そのものに内在する困難さを代表するものとして、よく登場する。
時空がどこかを中心として自転している場合に相当するので、中心からはるかに離れ、回転速度が相対的に光速を越える場所では時間の輪が生じることになり、宇宙の歴史が周期的に繰り返される（過去と未来の区別が局所的にしか成立しない）と解釈することも可能である。したがって、時間旅行が理論的に可能になる。
計量
ゲーデルの解は、次の計量 (metric) で表される。
ωがゼロなると、括弧内の式の値と関係なく、ds が無限大になって、物理学では処理できないことになる。