bookfan au PAY マーケット店

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

Pontaパス特典

サンキュー配送

1,210円(税込)

0ポイント(1％)

商品説明

【内容紹介】
正しくても常に証明できるとはかぎらない。

ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。
チューリングは「決定問題」を考察するなかで、チューリング機械という仮想の計算機から「計算可能性と停止問題」に行き着きます。
2人は同じことを全く別の視点から証明したのです。この天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解いていきたいと思います。

「そうですね……ゲーデルは、数学者が紙と鉛筆で証明をおこなうプロセスを厳密に考察しました。その結果、算数の計算ができるような理論があったとして、その理論の内部では証明できないことがある、という結論に達しました。で、チューリングは、証明のかわりに計算の本質を追究した結果、無限ループに陥って計算が終わるかどうかわからない、いいかえると、計算できないことがある、という結論に達しました。どうです? 似てませんか?」(「プロローグ」より)

完全版特別対談収録!
加藤文元×竹内薫
不完全性定理——数学と哲学の交差点から

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

※商品画像はイメージや仮デザインが含まれている場合があります。帯の有無など実際と異なる場合があります。

竹内薫(著)
出版社:講談社
シリーズ名等:ブルーバックス B−2277
ISBN：4065362261/9784065362266
発売日:2024年11月