ゲーデル記念日 - hiroyukikojima’s blog「完全にわかった」とぼくの頭が言ったから七月三日はゲーデル記念日。 あえて、というか、恥ずかしいから、何のパロディかはいわない。とにかく、今日はすごく嬉しい日になった。ゲーデルの不完全性定理の証明が、第1不完全性も第2不完全性も、どちらもかなり完全に近くわかってしまったからだ。こんなことをいうと、「お前はゲーデルの不完全性定理について、著作の中に書いてるくせに、ほんとはわかってなかったのかい」とツッコマレそうだけど、いや、おっしゃる通りなのだ。でも詐欺だとか思わないでほしい。 数学の理解には、何段階かあると思う。 「数学マニアと会話できる程度の理解」＜「啓蒙書にうんちくとして書ける程度の理解」＜「講義できる程度の理解」＜「論文を書ける程度の理解」 みたいな感じなんじゃないかな。ぼくのこれまでの理解といえば、下から二番目程度だった。もちろん、だから啓蒙書に書いたりしたわけだ。(たとえば、拙著
