「完全にわかった」とぼくの頭が言ったから七月三日はゲーデル記念日。 あえて、というか、恥ずかしいから、何のパロディかはいわない。とにかく、今日はすごく嬉しい日になった。ゲーデルの不完全性定理の証明が、第1不完全性も第2不完全性も、どちらもかなり完全に近くわかってしまったからだ。こんなことをいうと、「お前はゲーデルの不完全性定理について、著作の中に書いてるくせに、ほんとはわかってなかったのかい」とツッコマレそうだけど、いや、おっしゃる通りなのだ。でも詐欺だとか思わないでほしい。 数学の理解には、何段階かあると思う。 「数学マニアと会話できる程度の理解」<「啓蒙書にうんちくとして書ける程度の理解」<「講義できる程度の理解」<「論文を書ける程度の理解」 みたいな感じなんじゃないかな。ぼくのこれまでの理解といえば、下から二番目程度だった。もちろん、だから啓蒙書に書いたりしたわけだ。(たとえば、拙著
![ゲーデル記念日 - hiroyukikojima’s blog](https://cdn-ak-scissors.b.st-hatena.com/image/square/a5bec305bdf9045e4a7432e4b8799ba92d3e3446/height=288;version=1;width=512/https%3A%2F%2Fimages-fe.ssl-images-amazon.com%2Fimages%2FI%2F51QpwjSZFKL._SL160_.jpg)