スマリヤン不完全性定理
著者
書誌事項
スマリヤン不完全性定理
丸善出版, 2019.12
改訳版
- タイトル別名
-
不完全性定理 : スマリヤン
Gödel's incompleteness theorems
- タイトル読み
-
スマリヤン フカンゼンセイ テイリ
大学図書館所蔵 全62件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
「Gödel's incompleteness theorems / Raymond Smullyan」(Oxford unversity press, 1992) の改訳版
初版のタイトル等: ゲーデルの不完全性定理 (丸善 1996年刊)
監訳: 高橋昌一郎
参考文献: p[169]-170
内容説明・目次
目次
- ゲーデルの証明の基礎概念
- 算術におけるタルスキーの定理
- べき乗に基づくペアノ算術における不完全性
- べき乗に基づかない算術
- ω無矛盾性に基づくゲーデルの証明
- ロッサー体系
- シェファードソンの表現定理
- 定義可能性と対角化
- 無矛盾性の証明不可能性
- 証明可能性と真理性に関する一般概念
- 自己言及体系
「BOOKデータベース」 より