不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか
著者
書誌事項
不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか
（ブルーバックス, B-2277）
講談社, 2024.11
完全版
- タイトル別名
-
不完全性定理とはなにか : 完全版 : ゲーデルとチューリング : 天才はなにを証明したのか
- タイトル読み
-
フカンゼンセイ テイリ トワ ナニカ : ゲーデル ト チューリング テンサイ ワ ナニ オ ショウメイ シタ ノカ
大学図書館所蔵 件 / 全244件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)
竹内流ゲーデル教程(読書案内): p261-270
内容説明・目次
内容説明
正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、「チューリング機械」という仮想的な計算機から「計算可能性と停止問題」に行き着きます。二人は同じことを全く別の視点から証明したのです。天才たちの思考の軌跡を楽しく見ていきましょう。
目次
- 第０章 こころの準備（公理から集合まで；いわゆる３ワカランについて；この本の構成と読み方）
- 第１章 無限に挑んだドン・キホーテ、ゲオルク・カントール（まちがいだらけと揶揄されたカントール；無限ホテルの怪 ほか）
- 第２章 ラッセル卿の希望を打ち砕いたクルト・ゲーデル（ラテン語の文法を完全にマスターした子供；論理学超入門（真偽表） ほか）
- 第３章 チューリングの辞書に「停まる」という文字はない（チューリングの肖像；友人の死と心脳問題 ほか）
- 第４章 Ω数、様相論理、エトセトラ（グレゴリー・チャイティンとΩ数；いろいろな不完全性 ほか）
- 特別対談 不完全性定理―数学と哲学の交差点から 加藤文元×竹内薫
「BOOKデータベース」 より
