ゲーデルの不完全性定理
著者
書誌事項
ゲーデルの不完全性定理
丸善, 1996.7
- タイトル別名
-
Gödel's incompleteness theorems
- タイトル読み
-
ゲーデル ノ フカンゼンセイ テイリ
電子リソースにアクセスする 全1件
-
-
ゲーデルの不完全性定理
1996
限定公開 -
ゲーデルの不完全性定理
大学図書館所蔵 全201件
この図書・雑誌をさがす
注記
原著 (Oxford : Oxford University Press, 1992) の全訳
参考文献: p211-212
索引: p217-220
内容説明・目次
内容説明
驚くほど単純で厳密な証明に、論理パズルのデザート。不完全性定理に関心を持つすべての人のための入門書。
目次
- 第１章 ゲーデルの証明の基礎概念
- 第２章 数論におけるタルスキーの定理
- 第３章 累乗法に基づくペアノの数論における不完全性
- 第４章 累乗法に基づかない数論
- 第５章 ω無矛盾性に基づくゲーデルの証明
- 第６章 ロッサー体系
- 第７章 シェファードソンの表現定理
- 第８章 定義可能性と対角化
- 第９章 無矛盾性の証明不可能性
- 第１０章 証明可能性と真理性に関する一般概念
- 第１１章 自己言及体系
「BOOKデータベース」 より