ゲーデルに挑む : 証明不可能なことの証明
著者
書誌事項
ゲーデルに挑む : 証明不可能なことの証明
東京大学出版会, 2012.4
- タイトル別名
-
ゲーデルに挑む : 証明不可能なことの証明
Reading Gödel : a proof of unprovability
- タイトル読み
-
ゲーデル ニ イドム : ショウメイ フカノウナ コト ノ ショウメイ
大学図書館所蔵 全148件
この図書・雑誌をさがす
注記
標題紙裏の欧文タイトル: Reading Gödel : a proof of unprovability
原論文の引用文献: p145-147
文献案内: p167-169
内容説明・目次
内容説明
待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。
目次
- 原論文訳・解説（体系Ｐ、ゲーデル数、再帰的関数；メタ数学の再帰的表現；第一不完全性定理；１階算術への還元；第二不完全性定理）
- 補遺（１階算術と論理式の階層；計算可能性理論；１階算術の形式体系；文献案内）
「BOOKデータベース」 より