11/22
時点_ポイント最大11倍
不完全性定理とはなにか 完全版 ゲーデルとチューリング 天才はなにを証明したのか /竹内薫
販売価格
1,210
円 (税込)
- 出荷目安:
- 1~2営業日で出荷
たまるdポイント(通常) 11
+キャンペーンポイント(期間・用途限定) 最大10倍
※たまるdポイントはポイント支払を除く商品代金(税抜)の1%です。
※表示倍率は各キャンペーンの適用条件を全て満たした場合の最大倍率です。
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
dカードでお支払ならポイント3倍
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
- 商品情報
- レビュー
≪商品情報≫
著者名:竹内薫
出版社名:講談社
発行年月:2024年11月
判型:新書
ISBN:9784065362266
≪内容情報≫
正しくても常に証明できるとはかぎらない。
ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。
チューリングは「決定問題」を考察するなかで、チューリング機械という仮想の計算機から「計算可能性と停止問題」に行き着きます。
2人は同じことを全く別の視点から証明したのです。この天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解いていきたいと思います。
「そうですね……ゲーデルは、数学者が紙と鉛筆で証明をおこなうプロセスを厳密に考察しました。その結果、算数の計算ができるような理論があったとして、その理論の内部では証明できないことがある 、という結論に達しました。で、チューリングは、証明のかわりに計算の本質を追究した結果、無限ループに陥って計算が終わるかどうかわからない、いいかえると、計算できないことがある、という結論に達しました。どうです? 似てませんか?」(「プロローグ」より)
完全版 特別対談収録!
加藤文元×竹内 薫
不完全性定理――数学と哲学の交差点から
著者名:竹内薫
出版社名:講談社
発行年月:2024年11月
判型:新書
ISBN:9784065362266
≪内容情報≫
正しくても常に証明できるとはかぎらない。
ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。
チューリングは「決定問題」を考察するなかで、チューリング機械という仮想の計算機から「計算可能性と停止問題」に行き着きます。
2人は同じことを全く別の視点から証明したのです。この天才たちの思考の軌跡を、集合論、ロジックとその過程を考えながら楽しく読み解いていきたいと思います。
「そうですね……ゲーデルは、数学者が紙と鉛筆で証明をおこなうプロセスを厳密に考察しました。その結果、算数の計算ができるような理論があったとして、その理論の内部では証明できないことがある 、という結論に達しました。で、チューリングは、証明のかわりに計算の本質を追究した結果、無限ループに陥って計算が終わるかどうかわからない、いいかえると、計算できないことがある、という結論に達しました。どうです? 似てませんか?」(「プロローグ」より)
完全版 特別対談収録!
加藤文元×竹内 薫
不完全性定理――数学と哲学の交差点から