不完全性定理とはなにかの通販ならネットオフ！

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

目次 ：第0章 こころの準備;第1章 無限に挑んだドン・キホーテ、ゲオルク・カントール(まちがいだらけのカントール;無限ホテルの怪 ほか);第2章 ラッセル卿の希望を打ち砕いたクルト・ゲーデル(ラテン語の文法を完全にマスターした子供;論理学超入門(真偽表) ほか);第3章 チユーリングの辞書に「停まる」という文字はない(チューリングの肖像;友人の死と心脳問題 ほか);第4章 Ω数、様相論理、エトセトラ(グレゴリー・チャイティンとΩ数;いろいろな不完全性 ほか)

・古本・中古本 ＞ 産業本 ・学術書・歴史本 ＞ 数学・物理・化学 ＞ 数学

・古本・中古本 ＞ 産業本 ・学術書・歴史本 ＞ 数学・物理・化学 ＞ 作家 た行 ＞ 竹内薫

・古本・中古本の人気ランキングから探す

・産業本 ・学術書・歴史本の人気ランキングから探す

・人気 書籍作家ランキングから探す

買取 宅配買取 ＞古本・中古本の高価買取情報 ＞産業本 ・学術書・歴史本の高価買取情報