資料詳細

  • 1 件中、 1 件目

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

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

タグ

所蔵

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

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

ページの先頭へ

資料詳細

マーク種別 JPマーク
マーク番号 21308465
書名 ゲーデルと２０世紀の論理学（ロジック）
書名ヨミ ｹﾞｰﾃﾞﾙﾄ ﾆｼﾞｯｾｲｷﾉ ﾛｼﾞｯｸ
著者名 田中一之 ／編  
著者名ヨミ ﾀﾅｶ ｶｽﾞﾕｷ  
巻次 ４
出版地 東京
出版者 東京大学出版会
出版年 2007.7
頁数・図版 ３０５ｐ
大きさ ２２ｃｍ
巻の書名 集合論とプラトニズム
一般注記 文献あり　索引あり
ISBN 4-13-064098-4 国立国会図書館 カーリル GoogleBooks WebcatPlus
ISBN(新) 978-4-13-064098-5
本体価格 ３８００円
NDC分類(8版) 410.9
NDC分類(9版) 410.9
件名 集合論
内容紹介 ゲーデルにとって、集合論の対象とする宇宙は絶対唯一の存在であった。彼の提唱した「ゲーデルのプログラム」とは。集合論はどのように展開していったのか。彼の数理哲学を解説し、現代集合論の研究動向を紹介する。
著者紹介 １９５５年生まれ。カリフォルニア大学バークレー校博士課程修了。現在、東北大学大学院理学研究科教授。主要著書「数学基礎論講義：不完全性定理とその発展」「逆数学と２階算術」「数の体系と超準モデル」「数学のロジックと集合論」。

ページの先頭へ

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