数学するヒトビト その8

今日は、ゲーデル不完全性定理の話。竹内外史、八杉満利子、林晋。

むかし、数学基礎論にあこがれた頃もあったなあ、などと懐かしがってみたり。ちょっとかじってみたら、その「ちょっと」でそこそこ満足して飽きてしまったのでした。今なら面白いと思えるだろうか。