|
発売日:2013年04月/ジャンル:物理・科学・医学/フォーマット:新書/出版社:講談社/発売国:日本/ISBN:9784062578103/アーティストキーワード:竹内薫タケウチカオル
内容詳細:「智の限界」「科学の終焉」などと言われることがある「不完全性定理」。しかし、それは智の限界や終焉などではなく、「正しくても常に証明できるとは限らない」ということを、卓抜したアイディアでゲーデルが証明した定理です。同じことを、イギリスの数学者チューリングは、彼が築いたコンピュータの数学的基礎の中で示しました。ゲーデルとチューリングの証明の詳細は抽象的でたいへん高度ですが、定理の内容は、それほど神秘的なことを言っているわけではありません。そこで本書では、「不完全性定理」の内容を正・・・
1,100-(税込)
詳しくはコチラ
|
