ブログ検索

竹内薫『不完全性定理とはなにか－ゲーデルとチューリングの考えたこと』を読む。 本書は，「各章は，不完全性定理の歴史の順に」並んでいる。著者曰く， 「革命的な理論が『わからない』..