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