ゲーデル解
ゲーデル解（ゲーデルかい、）は、一般相対性理論のアインシュタイン方程式の厳密解の一つ。クルト・ゲーデルが1949年に発表した。この解は、宇宙項の大きさをダスト粒子の密度によって再定義するなど多分に人工的なものであるが、解としてはさまざまな奇妙な振る舞いをするため、アインシュタイン方程式そのものに内在する困難さを代表するものとして、よく登場する。
ゲーデル解は物質分布を規定するエネルギー・運動量テンソルを、回転する一様なダスト粒子として仮定し、ゼロでない宇宙項を仮定したアインシュタイン方程式のもとで得られる。また、この解には時空特異点は存在しない。
時空がどこかを中心として自転している場合に相当するので、中心からはるかに離れ、回転速度が相対的に光速を越える場所では時間的閉曲線が生じることになり、宇宙の歴史が周期的に繰り返される（過去と未来の区別が局所的にしか成立しない）と解釈することも可能である。したがって、時間旅行が理論的に可能になる。