不完全性定理とはなにかｹﾞｰﾃﾞﾙとﾁｭｰﾘﾝｸﾞ天才はなにを証明したのか (ﾌﾞﾙｰﾊﾞｯｸｽ)/ 竹内薫/著

■不完全性定理とはなにかｹﾞｰﾃﾞﾙとﾁｭｰﾘﾝｸﾞ天才はなにを証明したのか (ﾌﾞﾙｰﾊﾞｯｸｽ)
■竹内薫/著

商品説明
正しくても常に証明できるとはかぎらない。ｹﾞｰﾃﾞﾙの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。ﾁｭｰﾘﾝｸﾞは「決定問題」を考察するなかで、「ﾁｭｰﾘﾝｸﾞ機械」という仮想的な計算機から「計算可能性と停止問題」に行き着きます。二人は同じことを全く別の視点から証明したのです。天才たちの思考の軌跡を楽しく見ていきましょう。