HMV&BOOKS online

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

Pontaパス特典

サンキュー配送

1,100円(税込)

0ポイント(1％)

商品説明

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

商品の詳細

ジャンル: 物理・科学・医学
フォーマット: 新書
出版社: 講談社
発売日: 2013年04月
ISBN: 9784062578103
発売国: 日本
その他: ２４６ｐ　１８ｃｍ
SKU: 5368176

内容詳細

「智の限界」「科学の終焉」などと言われることがある「不完全性定理」。しかし、それは智の限界や終焉などではなく、「正しくても常に証明できるとは限らない」ということを、卓抜したアイディアでゲーデルが証明した定理です。同じことを、イギリスの数学者チューリングは、彼が築いたコンピュータの数学的基礎の中で示しました。ゲーデルとチューリングの証明の詳細は抽象的でたいへん高度ですが、定理の内容は、それほど神秘的なことを言っているわけではありません。そこで本書では、「不完全性定理」の内容を正確に理解するとともに、証明のための驚くべき二人のアイディアを、できるだけやさしく紹介します。

目次 : 第０章　こころの準備/ 第１章　無限に挑ん