著者名 | 竹内薫 |
---|---|
出版社 | 講談社 |
出版年月 | 2013年04月 |
参考価格 | ¥1,100 |
頁数 | 248p |
ISBN | 978-4-06-257810-3 |
内容 |
【要旨情報】 「智の限界」「科学の終焉」などと言われることがある「不完全性定理」。しかし、それは智の限界や終焉などではなく、「正しくても常に証明できるとは限らない」ということを、卓抜したアイディアでゲーデルが証明した定理です。同じことを、イギリスの数学者チューリングは、彼が築いたコンピュータの数学的基礎の中で示しました。ゲーデルとチューリングの証明の詳細は抽象的でたいへん高度ですが、定理の内容は、それほど神秘的なことを言っているわけではありません。そこで本書では、「不完全性定理」の内容を正確に理解するとともに、証明のための驚くべき二人のアイディアを、できるだけやさしく紹介します。 >> もっと見る
|
目次 |
【目次】 第0章 こころの準備 第1章 無限に挑んだドン・キホーテ、ゲオルク・カントール(まちがいだらけのカントール >> もっと見る
|
ジャンル | 新書 > 教養新書 > 教養新書 > ブルーバックス |
※e-honは、株式会社トーハンが運営するオンライン書店です。 インターネットで注文した書籍を、宅配または三省堂書店の各店舗で受け取れます。 ご利用にあたっては、e-hon会員登録が必要です。