ProfileHome
不完全性定理で有名なゲーデルは
一般相対論の方程式(重力場方程式)も解いたようだ
ゲーデル解(1949年)はタイムトラベルを許容するため
問題解として扱われているようだ
晩年のゲーデルは精神を病んでいたようである
http://d.hatena.ne.jp/q_kankss/20061201/t_Kurt_gedel
固定リンク