不完全性定理とはなにか ゲーデルとチューリング天才はなにを証明したのか/竹内薫

著者名:竹内薫 
出版社名:講談社
シリーズ名等:ブルーバックス B−２２７７

---

正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、「チューリング機械」という仮想的な計算機から「計算可能性と停止問題」に行き着きます。二人は同じことを全く別の視点から証明したのです。天才たちの思考の軌跡を楽しく見ていきましょう。

※本データはこの商品が発売された時点の情報です。