不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか

Author(s)

• 竹内, 薫 タケウチ, カオル

Bibliographic Information

不完全性定理とはなにか : ゲーデルとチューリング天才はなにを証明したのか

竹内薫著

（ブルーバックス, B-2277）

講談社, 2024.11

完全版

Other Title

不完全性定理とはなにか : 完全版 : ゲーデルとチューリング : 天才はなにを証明したのか

Title Transcription

フカンゼンセイ テイリ トワ ナニカ : ゲーデル ト チューリング テンサイ ワ ナニ オ ショウメイ シタ ノカ

Note

表現種別: テキスト (ncrcontent), 機器種別: 機器不用 (ncrmedia), キャリア種別: 冊子 (ncrcarrier)

竹内流ゲーデル教程(読書案内): p261-270

Description and Table of Contents

Description

正しくても常に証明できるとはかぎらない。ゲーデルの不完全性定理は、公理と推論規則から数学全体を導こうと考えていた、当時の数学界に衝撃を与えました。チューリングは「決定問題」を考察するなかで、「チューリング機械」という仮想的な計算機から「計算可能性と停止問題」に行き着きます。二人は同じことを全く別の視点から証明したのです。天才たちの思考の軌跡を楽しく見ていきましょう。

Table of Contents

• 第０章　こころの準備（公理から集合まで；いわゆる３ワカランについて；この本の構成と読み方）
• 第１章　無限に挑んだドン・キホーテ、ゲオルク・カントール（まちがいだらけと揶揄されたカントール；無限ホテルの怪　ほか）
• 第２章　ラッセル卿の希望を打ち砕いたクルト・ゲーデル（ラテン語の文法を完全にマスターした子供；論理学超入門（真偽表）　ほか）
• 第３章　チューリングの辞書に「停まる」という文字はない（チューリングの肖像；友人の死と心脳問題　ほか）
• 第４章　Ω数、様相論理、エトセトラ（グレゴリー・チャイティンとΩ数；いろいろな不完全性　ほか）
• 特別対談　不完全性定理―数学と哲学の交差点から　加藤文元×竹内薫

by "BOOK database"

Details

• NCID: BD09545152
• ISBN:
  • 9784065362266
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: 277p
• Size: 18cm
• Classification:
  • NDC9 : 410.9
  • NDC9 : 408
  • NDC10 : 410.9
  • NDLC : MA41
• Subject Headings:
  • BSH : 不完全性定理
  • NDLSH : Turing, Alan, 1912-1954
  • NDLSH : ゲーデルの定理
• Parent Bibliography ID:
  • BN00081030