スマリヤン不完全性定理
Author(s)
Bibliographic Information
スマリヤン不完全性定理
丸善出版, 2019.12
改訳版
- Other Title
-
不完全性定理 : スマリヤン
Gödel's incompleteness theorems
- Title Transcription
-
スマリヤン フカンゼンセイ テイリ
Available at / 62 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
「Gödel's incompleteness theorems / Raymond Smullyan」(Oxford unversity press, 1992) の改訳版
初版のタイトル等: ゲーデルの不完全性定理 (丸善 1996年刊)
監訳: 高橋昌一郎
参考文献: p[169]-170
Description and Table of Contents
Table of Contents
- ゲーデルの証明の基礎概念
- 算術におけるタルスキーの定理
- べき乗に基づくペアノ算術における不完全性
- べき乗に基づかない算術
- ω無矛盾性に基づくゲーデルの証明
- ロッサー体系
- シェファードソンの表現定理
- 定義可能性と対角化
- 無矛盾性の証明不可能性
- 証明可能性と真理性に関する一般概念
- 自己言及体系
by "BOOK database"