2011-07-04から1日間の記事一覧

ゲーデル記念日

「完全にわかった」とぼくの頭が言ったから七月三日はゲーデル記念日。あえて、というか、恥ずかしいから、何のパロディかはいわない。とにかく、今日はすごく嬉しい日になった。ゲーデルの不完全性定理の証明が、第1不完全性も第2不完全性も、どちらもかな…