いやはや

カバンが背負いにくかったせいで、すごく疲れた。
なかなかハードだったけど、それなりに良い一日だったかな。

大阪万博と数学ガールの新刊を購入。今度はゲーデルらしい。
不完全性定理は有名だけど、正確な主張っていまいちよく分からない。かなり難しい定理って話も聞くねぇ。