今度こそわかるゲーデル不完全性定理
著者
書誌事項
今度こそわかるゲーデル不完全性定理
（今度こそわかるシリーズ）
講談社, 2012.7
第2刷
- タイトル別名
-
Gödel's incompleteness theorems
ゲーデル不完全性定理 : 今度こそわかる
- タイトル読み
-
コンド コソ ワカル ゲーデル フカンゼンセイ テイリ
並立書誌 全1件
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
シリーズの有無により<BB08640867>とは別書誌
参考文献: p153-154
内容説明・目次
内容説明
難解なゲーデルの不完全性定理を「ふつうの言葉」で解き明かす。初学者がつまづくところを熟知した著者による、丁寧な解説。
目次
- 第１章 自然言語
- 第２章 理論の完全性とわかりやすさ
- 第３章 表現可能性
- 第４章 初等自然数言語の不完全性定理の証明
- 第５章 古典的理論と現代的理論
- 第６章 形式化
- 第７章 完全性
- 第８章 ゲーデルの不完全性定理
- 第９章 ゲーデルの第２不完全性定理
- 第１０章 新しい論理学
「BOOKデータベース」 より