完全性定理とモデル理論
Author(s)
Bibliographic Information
完全性定理とモデル理論
(ゲーデルと20世紀の論理学 (ロジック) / 田中一之編, 2)
東京大学出版会, 2006.10
- Other Title
-
Completeness theorem and model theory
- Title Transcription
-
カンゼンセイ テイリ ト モデル リロン
Available at 243 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Search this Book/Journal
Note
欧文タイトルは標題紙裏による
参考文献: 各部末
Description and Table of Contents
Description
「完全」とは何か?ゲーデルが博士論文で示した重要定理とその発展を、数学・哲学の両側面から、立体的に解説。
Table of Contents
- 序 ゲーデルの完全性定理とその背景(背景;ゲーデルの証明;完全性定理の周辺)
- 第1部 述語論理入門(ケーニヒの補題;命題論理;述語論理;述語論理の諸性質と一般化)
- 第2部 モデル理論とコンパクト性(基本事項;コンパクト性;量化記号の消去;eq構造;範疇性)
- 第3部 論理的意味論の源流、モデル論の誕生、そしてその展開—論理と言語の間で(現代論理学の二つの源流;モデル論の誕生;内包的意味論の展開;指示と信念)
by "BOOK database"