ゲーデルの解は、一般相対性理論のアインシュタイン方程式の厳密解の1つで、クルト・ゲーデルによって考案されました。クルト・ゲーデルは1906年にオーストリア・ハンガリー二重帝国で生まれました。ゲーデルの解は、時空特異点の存在しない解を表すため、アインシュタイン方程式の難しさを代表するものとして扱われています。クルト・ゲーデルは、ウィーン大学に入学し物理学を専攻した後、数学を専攻して数学者となったのです。まず「第一階述語論理の完全性定理」を発表し、次に「不完全性定理」を発表しました。「人間の理性の限界を示した」と一流の学者達から認められると、アインシュタインの一般相対性理論におけるゲーデル解を発表したのです。また、数学者としてだけではなく、論理学者としても有名で、「ゲーデルの神の存在証明」を作り出しました。しかし、生前に公表されることはなく、ゲーテルが亡くなってから9年後に公表されたのでした。