資料詳細

  • 1 件中、 1 件目

ゲーデルと２０世紀の論理学（ロジック） ３ 貸出可

田中一之／編 -- 東京大学出版会 -- 2007.3

タグ

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
一般資料 410.9 /ｹｴ/3 00109900959 図書 貸出可 利用可 iLisvirtual

ページの先頭へ

資料詳細

マーク種別 JPマーク
マーク番号 21220708
書名 ゲーデルと２０世紀の論理学（ロジック）
書名ヨミ ｹﾞｰﾃﾞﾙﾄ ﾆｼﾞｯｾｲｷﾉ ﾛｼﾞｯｸ
著者名 田中一之 ／編  
著者名ヨミ ﾀﾅｶ ｶｽﾞﾕｷ  
巻次 ３
出版地 東京
出版者 東京大学出版会
出版年 2007.3
頁数・図版 ２８４ｐ
大きさ ２２ｃｍ
巻の書名 不完全性定理と算術の体系
一般注記 文献あり　索引あり
ISBN 4-13-064097-6 国立国会図書館 カーリル GoogleBooks WebcatPlus
ISBN(新) 978-4-13-064097-8
本体価格 ３８００円
NDC分類(8版) 410.9
NDC分類(9版) 410.9
件名 ゲーデルの定理
内容紹介 ２つの不完全性定理に現代的な証明を与えるとともに、「逆数学プログラム」について、新しい研究成果を踏まえて解説。さらに、ダイアレクティカ解釈によるペアノ算術の無矛盾性証明について、多角的な視点から解説。
著者紹介 １９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。現在、東北大学大学院理学研究科教授。主要著書「数学基礎論講義：不完全性定理とその発展」「逆数学と２階算術」「数の体系と超準モデル」「数学のロジックと集合論」など。

ページの先頭へ

※内容紹介、著者紹介は（株）日販図書館サービスおよび
（株）トーハンのデータです。