ゲーデルに挑む : 証明不可能なことの証明
Author(s)
Bibliographic Information
ゲーデルに挑む : 証明不可能なことの証明
東京大学出版会, 2012.4
- Other Title
-
ゲーデルに挑む : 証明不可能なことの証明
Reading Gödel : a proof of unprovability
- Title Transcription
-
ゲーデル ニ イドム : ショウメイ フカノウナ コト ノ ショウメイ
Available at / 148 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
標題紙裏の欧文タイトル: Reading Gödel : a proof of unprovability
原論文の引用文献: p145-147
文献案内: p167-169
Description and Table of Contents
Description
待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。
Table of Contents
- 原論文訳・解説（体系Ｐ、ゲーデル数、再帰的関数；メタ数学の再帰的表現；第一不完全性定理；１階算術への還元；第二不完全性定理）
- 補遺（１階算術と論理式の階層；計算可能性理論；１階算術の形式体系；文献案内）
by "BOOK database"