HMV&BOOKS online

【新書】竹内薫 / 不完全性定理とはなにか完全版ゲーデルとチューリングの考えたことブルーバックス

Pontaパス特典

サンキュー配送

1,210円(税込)

0ポイント(1％)

商品説明

ご注文前にお読みください
在庫・特典情報を見る

商品の詳細

ジャンル: 物理・科学・医学
フォーマット: 新書
出版社: 講談社
発売日: 2024年11月
ISBN: 9784065362266
発売国: 日本
その他: ２７７ｐ　１８ｃｍ
SKU: 15408002

内容詳細

正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、「チューリング機械」という仮想的な計算機から「計算可能性と停止問題」に行き着きます。二人は同じことを全く別の視点から証明したのです。天才たちの思考の軌跡を楽しく見ていきましょう。

目次 : 第０章　こころの準備（公理から集合まで/ いわゆる３ワカランについて/ この本の構成と読み方）/ 第１章　無限に挑んだドン・キホーテ、ゲオルク・カントール（まちがいだらけと揶揄されたカントール/ 無限ホテルの怪　ほか）/ 第２章　ラッセル卿の希望を打ち砕