不完全性定理とはなにか／竹内薫

真な命題は必ず証明できるはずだと考えていた数学界に大きな衝撃を与えた「不完全性定理」。「証明が不可能であることを証明する」という難題を解決した２人の天才ゲーデルとチューリングの考えと不完全性定理を紐解く。

■カテゴリ：中古本
■ジャンル：産業・学術・歴史 数学
■出版社：講談社
■出版社シリーズ：ブルーバックス
■本のサイズ：新書
■発売日：2013/04/01
■カナ：フカンゼンセイテイリトワナニカ タケウチカオル