数学ガール ゲーデルの不完全性定理 読了。 やっぱり難しい、最後の不完全性定理の証明(ゲーデルの論文に沿ったような形)は移動時間に読むのは厳しかった。そのうちゆっくり時間を取って書きながら読み直したい。 数学ガール、数学的なお話はもちろんだけれ…