ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論 [全集叢書]

ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論 の 商品概要

• 要旨(「BOOK」データベースより）

  「完全」とは何か？ゲーデルが博士論文で示した重要定理とその発展を、数学・哲学の両側面から、立体的に解説。

• 目次(「BOOK」データベースより）

  序　ゲーデルの完全性定理とその背景（背景
  ゲーデルの証明
  完全性定理の周辺）
  第１部　述語論理入門（ケーニヒの補題
  命題論理
  述語論理
  述語論理の諸性質と一般化）
  第２部　モデル理論とコンパクト性（基本事項
  コンパクト性
  量化記号の消去
  ｅｑ構造
  範疇性）
  第３部　論理的意味論の源流、モデル論の誕生、そしてその展開―論理と言語の間で（現代論理学の二つの源流
  モデル論の誕生
  内包的意味論の展開
  指示と信念）

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  田中 一之(タナカ カズユキ)
  １９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。東北大学大学院理学研究科教授。Ｐｈ．Ｄ．

ゲーデルと20世紀の論理学(ロジック)〈2〉完全性定理とモデル理論 の商品スペック