不完全性定理と算術の体系

著者

書誌事項

不完全性定理と算術の体系

田中一之編

（ゲーデルと20世紀の論理学 (ロジック) / 田中一之編, 3）

東京大学出版会, 2007.3

タイトル別名

Incompleteness theorems and formal systems of arithmetic

タイトル読み

フカンゼンセイ テイリ ト サンジュツ ノ タイケイ

大学図書館所蔵 件 / 全226件

この図書・雑誌をさがす

注記

欧文タイトルは標題紙裏による

参考文献: 各部末

内容説明・目次

内容説明

ロジックに革命的転回をもたらした「ゲーデルの定理」その現代的証明と数学基礎論の新展開について解説する。

目次

  • ゲーデルの不完全性定理とその背景
  • 第１部　第一不完全性定理と第二不完全性定理（計算論；ペアノ算術；第一不完全性定理　ほか）
  • 第２部　逆数学と２階算術（２階算術と部分体系；数学の展開と逆数学；逆数学周辺）
  • 第３部　ダイアレクティカ解釈（ダイアレクティカ解釈の背景；ダイアレクティカ解釈の概要；ダイアレクティカ解釈の展開）

「BOOKデータベース」 より

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ