完全性定理とモデル理論
著者
書誌事項
完全性定理とモデル理論
(ゲーデルと20世紀の論理学 (ロジック) / 田中一之編, 2)
東京大学出版会, 2006.10
- タイトル別名
-
Completeness theorem and model theory
- タイトル読み
-
カンゼンセイ テイリ ト モデル リロン
電子リソースにアクセスする 全1件
-
-
完全性定理とモデル理論
2006.10.
-
完全性定理とモデル理論
大学図書館所蔵 全243件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
欧文タイトルは標題紙裏による
参考文献: 各部末
内容説明・目次
内容説明
「完全」とは何か?ゲーデルが博士論文で示した重要定理とその発展を、数学・哲学の両側面から、立体的に解説。
目次
- 序 ゲーデルの完全性定理とその背景(背景;ゲーデルの証明;完全性定理の周辺)
- 第1部 述語論理入門(ケーニヒの補題;命題論理;述語論理;述語論理の諸性質と一般化)
- 第2部 モデル理論とコンパクト性(基本事項;コンパクト性;量化記号の消去;eq構造;範疇性)
- 第3部 論理的意味論の源流、モデル論の誕生、そしてその展開—論理と言語の間で(現代論理学の二つの源流;モデル論の誕生;内包的意味論の展開;指示と信念)
「BOOKデータベース」 より