資料詳細

  • 1 件中、 1 件目

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

不完全性定理と算術の体系 --
田中一之 ／編   -- 東京大学出版会 -- ２００７．３ -- ２２ｃｍ -- ２８４ｐ

資料詳細

タイトル ゲーデルと２０世紀の論理学（ロジック） ３
各巻タイトル 不完全性定理と算術の体系
著者名等 田中一之 ／編  
出版 東京大学出版会 ２００７．３
大きさ等 ２２ｃｍ ２８４ｐ
分類 410.9
件名 数学基礎論
注記 文献あり　索引あり
著者紹介 １９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。現在、東北大学大学院理学研究科教授。主要著書「数学基礎論講義：不完全性定理とその発展」「逆数学と２階算術」「数の体系と超準モデル」「数学のロジックと集合論」など。
内容紹介 ２つの不完全性定理に現代的な証明を与えるとともに、「逆数学プログラム」について、新しい研究成果を踏まえて解説。さらに、ダイアレクティカ解釈によるペアノ算術の無矛盾性証明について、多角的な視点から解説。
要旨 ロジックに革命的転回をもたらした「ゲーデルの定理」その現代的証明と数学基礎論の新展開について解説する。
目次 ゲーデルの不完全性定理とその背景；第１部　第一不完全性定理と第二不完全性定理（計算論；ペアノ算術；第一不完全性定理　ほか）；第２部　逆数学と２階算術（２階算術と部分体系；数学の展開と逆数学；逆数学周辺）；第３部　ダイアレクティカ解釈（ダイアレクティカ解釈の背景；ダイアレクティカ解釈の概要；ダイアレクティカ解釈の展開）
ISBN(13)、ISBN 978-4-13-064097-8　　 4-13-064097-6
書誌番号 1107017906

ページの先頭へ

所蔵

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

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

ページの先頭へ