不完全性定理と算術の体系
Author(s)
Bibliographic Information
不完全性定理と算術の体系
（ゲーデルと20世紀の論理学 (ロジック) / 田中一之編, 3）
東京大学出版会, 2007.3
- Other Title
-
Incompleteness theorems and formal systems of arithmetic
- Title Transcription
-
フカンゼンセイ テイリ ト サンジュツ ノ タイケイ
Available at / 226 libraries
-
University of Tsukuba Library, Library on Library and Information Science
410.9-Ta8410007005594
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
欧文タイトルは標題紙裏による
参考文献: 各部末
Description and Table of Contents
Description
ロジックに革命的転回をもたらした「ゲーデルの定理」その現代的証明と数学基礎論の新展開について解説する。
Table of Contents
- ゲーデルの不完全性定理とその背景
- 第１部 第一不完全性定理と第二不完全性定理（計算論；ペアノ算術；第一不完全性定理 ほか）
- 第２部 逆数学と２階算術（２階算術と部分体系；数学の展開と逆数学；逆数学周辺）
- 第３部 ダイアレクティカ解釈（ダイアレクティカ解釈の背景；ダイアレクティカ解釈の概要；ダイアレクティカ解釈の展開）
by "BOOK database"
