2013-05-04から1日間の記事一覧
「不完全性定理とはなにか ゲーテルとチューリングの考えたこと」(竹内薫著、ブルーバックス)を読みました。 たまには情報学には直接関係無さそうな分野の内容でも知ろうかと思い、前々から気になっていた不完全性定理について書かれた本を読みました。この…
「不完全性定理とはなにか ゲーテルとチューリングの考えたこと」(竹内薫著、ブルーバックス)を読みました。 たまには情報学には直接関係無さそうな分野の内容でも知ろうかと思い、前々から気になっていた不完全性定理について書かれた本を読みました。この…