今度こそわかるゲーデル不完全性定理
Author(s)
Bibliographic Information
今度こそわかるゲーデル不完全性定理
(今度こそわかるシリーズ)
講談社, 2012.7
第2刷
- Other Title
-
Gödel's incompleteness theorems
ゲーデル不完全性定理 : 今度こそわかる
- Title Transcription
-
コンド コソ ワカル ゲーデル フカンゼンセイ テイリ
Access to Electronic Resource 1 items
Related Bibliography 1 items
Available at / 8 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
シリーズの有無により<BB08640867>とは別書誌
参考文献: p153-154
Description and Table of Contents
Description
難解なゲーデルの不完全性定理を「ふつうの言葉」で解き明かす。初学者がつまづくところを熟知した著者による、丁寧な解説。
Table of Contents
- 第1章 自然言語
- 第2章 理論の完全性とわかりやすさ
- 第3章 表現可能性
- 第4章 初等自然数言語の不完全性定理の証明
- 第5章 古典的理論と現代的理論
- 第6章 形式化
- 第7章 完全性
- 第8章 ゲーデルの不完全性定理
- 第9章 ゲーデルの第2不完全性定理
- 第10章 新しい論理学
by "BOOK database"