今度こそわかるゲーデル不完全性定理
Author(s)
Bibliographic Information
今度こそわかるゲーデル不完全性定理
（今度こそわかるシリーズ）
講談社, 2012.7
第2刷
- Other Title
-
Gödel's incompleteness theorems
ゲーデル不完全性定理 : 今度こそわかる
- Title Transcription
-
コンド コソ ワカル ゲーデル フカンゼンセイ テイリ
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
- 第１章 自然言語
- 第２章 理論の完全性とわかりやすさ
- 第３章 表現可能性
- 第４章 初等自然数言語の不完全性定理の証明
- 第５章 古典的理論と現代的理論
- 第６章 形式化
- 第７章 完全性
- 第８章 ゲーデルの不完全性定理
- 第９章 ゲーデルの第２不完全性定理
- 第１０章 新しい論理学
by "BOOK database"