thekoruku https://blog.hatena.ne.jp/thekoruku/ done is better than perfect https://dibtp.hateblo.jp/ その他 「不完全性定理とはなにか ゲーテルとチューリングの考えたこと」(竹内薫著、ブルーバックス)を読みました。 たまには情報学には直接関係無さそうな分野の内容でも知ろうかと思い、前々から気になっていた不完全性定理について書かれた本を読みました。この本にはチューリングの停止性問題の話も乗っていたので、結局は無関係ではなかったのですが。 内容は非常に読みやすく、最近はとんと数学に触れていなかった私にも比較的すんなりと理解出来ました。論理学についての初歩的な知識は必要かもしれませんが、その辺りも丁寧に解説されています。 正直、未だに狐につままれたような感じで100%理解できたとは思えませんが、それでもゲー… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fdibtp.hateblo.jp%2Fentry%2F2013%2F05%2F04%2F110546" title="「不完全性定理とはなにか」を読みました - done is better than perfect" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-05-04 11:05:46 rich https://dibtp.hateblo.jp/entry/2013/05/04/110546 1.0 100%