不完全性定理とはなにか 完全版 ゲーデルとチューリング 天才はなにを証明したのか
著者 竹内 薫
正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題...
不完全性定理とはなにか 完全版 ゲーデルとチューリング 天才はなにを証明したのか
ワンステップ購入とは ワンステップ購入とは
商品説明
正しくても常に証明できるとはかぎらない。
ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。
チューリングは「決定問題」を考察するなかで、チューリング機械という仮想の計算機から「計算可能性と停止問題」に行き着つきます。
2人は同じことを全く別の視点から証明したのです。この天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解いていきたいと思います。
「そうですね……ゲーデルは、数学者が紙と鉛筆で証明をおこなうプロセスを厳密に考察しました。その結果、算数の計算ができるような理論があったとして、その理論の内部では証明できないことがある 、という結論に達しました。で、チューリングは、証明のかわりに計算の本質を追究した結果、無限ループに陥って計算が終わるかどうかわからない、いいかえると、計算できないことがある、という結論に達しました。どうです? 似てませんか?」(「プロローグ」より)
完全版 特別対談収録!
加藤文元×竹内 薫
不完全性定理――数学と哲学の交差点から
目次
- はじめに
- プロローグ 「心優しきプログラマーさんの悩み」
- 第0章 こころの準備
- 公理から集合まで
- いわゆる3ワカランについて
- この本の構成と読み方
- 第1章 無限に挑んだドン・キホーテ、ゲオルク・カントール
あわせて読みたい本
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む
小分け商品
前へ戻る
- 対象はありません
次に進む
この商品の他ラインナップ
前へ戻る
- 対象はありません
次に進む