資料詳細

  • 1 件中、 1 件目

【図書】 ゲーデルと２０世紀の論理学（ロジック） ２

完全性定理とモデル理論 --
田中一之 ／編   -- 東京大学出版会 -- ２００６．１０ -- ２２ｃｍ -- ２８６ｐ

資料詳細

タイトル ゲーデルと２０世紀の論理学（ロジック） ２
各巻タイトル 完全性定理とモデル理論
著者名等 田中一之 ／編  
出版 東京大学出版会 ２００６．１０
大きさ等 ２２ｃｍ ２８６ｐ
分類 410.9
件名 数学基礎論
注記 文献あり　索引あり
著者紹介 １９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。現在、東北大学大学院理学研究科教授。主要著書「数学基礎論講義：不完全性定理とその発展」「逆数学と２階算術」「数の体系と超準モデル」「数学のロジックと集合論」など。
内容紹介 ゲーデルが最初に証明した重要定理は、１階述語論理の完全性。この基本概念を、現代的な視点から平易に説明。モデル理論が持つ数学的構造に関する研究と言語の哲学的分析の両側面を、それぞれ丁寧に解説。
要旨 「完全」とは何か？ゲーデルが博士論文で示した重要定理とその発展を、数学・哲学の両側面から、立体的に解説。
目次 序　ゲーデルの完全性定理とその背景（背景；ゲーデルの証明；完全性定理の周辺）；第１部　述語論理入門（ケーニヒの補題；命題論理；述語論理；述語論理の諸性質と一般化）；第２部　モデル理論とコンパクト性（基本事項；コンパクト性；量化記号の消去；ｅｑ構造；範疇性）；第３部　論理的意味論の源流、モデル論の誕生、そしてその展開―論理と言語の間で（現代論理学の二つの源流；モデル論の誕生；内包的意味論の展開；指示と信念）
ISBN(13)、ISBN 　　 4-13-064096-8
書誌番号 1106077368
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1106077368

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2037651594 iLisvirtual

ページの先頭へ