乗車日記

自転車ときのこ

2013-07-22から1日間の記事一覧

不完全性定理とは何か 読了

チューリングの絡みでゲーデルを読む必要が出てきたが、都合良く前日買って置いた本があることを思い出した。最初に本気でやりたい人は読んではいけないと書いてあったが、かまわず読み進めているとやはり細かいことが気になって、どうしようもなくなってし…