ゲーデルに挑む : 証明不可能なことの証明

著者

• 田中, 一之 タナカ, カズユキ

書誌事項

ゲーデルに挑む : 証明不可能なことの証明

田中一之著

東京大学出版会, 2012.4

タイトル別名

ゲーデルに挑む : 証明不可能なことの証明

Reading Gödel : a proof of unprovability

タイトル読み

ゲーデル ニ イドム : ショウメイ フカノウナ コト ノ ショウメイ

注記

標題紙裏の欧文タイトル: Reading Gödel : a proof of unprovability

原論文の引用文献: p145-147

文献案内: p167-169

内容説明・目次

内容説明

待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。

目次

• 原論文訳・解説（体系Ｐ、ゲーデル数、再帰的関数；メタ数学の再帰的表現；第一不完全性定理；１階算術への還元；第二不完全性定理）
• 補遺（１階算術と論理式の階層；計算可能性理論；１階算術の形式体系；文献案内）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB09016521
• ISBN:
  • 9784130639002
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: viii, 177p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410.9
  • NDC9 : 410.9
• 件名:
  • BSH : 不完全性定理