不完全性定理とはなにか : ゲーデルとチューリングの考えたこと
著者
書誌事項
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと
(ブルーバックス, B-1810)
講談社, 2013.4
- タイトル別名
-
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと
- タイトル読み
-
フカンゼンセイ テイリ トワ ナニ カ : ゲーデル ト チューリング ノ カンガエタ コト
大学図書館所蔵 全313件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
読書案内: p231-240
内容説明・目次
内容説明
「智の限界」「科学の終焉」などと言われることがある「不完全性定理」。しかし、それは智の限界や終焉などではなく、「正しくても常に証明できるとは限らない」ということを、卓抜したアイディアでゲーデルが証明した定理です。同じことを、イギリスの数学者チューリングは、彼が築いたコンピュータの数学的基礎の中で示しました。ゲーデルとチューリングの証明の詳細は抽象的でたいへん高度ですが、定理の内容は、それほど神秘的なことを言っているわけではありません。そこで本書では、「不完全性定理」の内容を正確に理解するとともに、証明のための驚くべき二人のアイディアを、できるだけやさしく紹介します。
目次
- 第0章 こころの準備
- 第1章 無限に挑んだドン・キホーテ、ゲオルク・カントール(まちがいだらけのカントール;無限ホテルの怪 ほか)
- 第2章 ラッセル卿の希望を打ち砕いたクルト・ゲーデル(ラテン語の文法を完全にマスターした子供;論理学超入門(真偽表) ほか)
- 第3章 チューリングの辞書に「停まる」という文字はない(チューリングの肖像;友人の死と心脳問題 ほか)
- 第4章 Ω数、様相論理、エトセトラ(グレゴリー・チャイティンとΩ数;いろいろな不完全性 ほか)
「BOOKデータベース」 より