不完全性定理と算術の体系
著者
書誌事項
不完全性定理と算術の体系
(ゲーデルと20世紀の論理学 (ロジック) / 田中一之編, 3)
東京大学出版会, 2007.3
- タイトル別名
-
Incompleteness theorems and formal systems of arithmetic
- タイトル読み
-
フカンゼンセイ テイリ ト サンジュツ ノ タイケイ
大学図書館所蔵 全226件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
欧文タイトルは標題紙裏による
参考文献: 各部末
内容説明・目次
内容説明
ロジックに革命的転回をもたらした「ゲーデルの定理」その現代的証明と数学基礎論の新展開について解説する。
目次
- ゲーデルの不完全性定理とその背景
- 第1部 第一不完全性定理と第二不完全性定理(計算論;ペアノ算術;第一不完全性定理 ほか)
- 第2部 逆数学と2階算術(2階算術と部分体系;数学の展開と逆数学;逆数学周辺)
- 第3部 ダイアレクティカ解釈(ダイアレクティカ解釈の背景;ダイアレクティカ解釈の概要;ダイアレクティカ解釈の展開)
「BOOKデータベース」 より