資料詳細

【図書】 数学基礎論

増補版 --
新井敏康／著 -- 東京大学出版会 -- ２０２１．４ -- ２２ｃｍ -- ５８８ｐ

タイトル	数学基礎論
版情報	増補版
著者名等	新井敏康／著
出版	東京大学出版会２０２１．４
大きさ等	２２ｃｍ５８８ｐ
分類	410.9
件名	数学基礎論
注記	欧文タイトル：Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ
注記	初版：岩波書店　２０１１年刊
注記	文献あり　索引あり
著者紹介	１９５８年生まれ。東京大学教養学部基礎科学科卒業。筑波大学数学系大学院博士課程修了。理学博士。現在、東京大学大学院数理科学研究科教授。専門は数学基礎論。（本データはこの書籍が刊行された当時に掲載されていたものです）
要旨	予備知識を仮定せず、数学基礎論の基本的結果とその技法やアイディアを広くていねいに解説した本格的教科書、待望の増補版。入門篇を中心に記述をわかりやすくするとともに、不完全性定理の意義、算術的完全性定理、ロビンソンによるモデル完全性の初歩事項や演習問題なども追加。「数学についての数学」の全体像を描き出す。
目次	第１部　入門篇（１階論理入門；計算理論入門；不完全性定理）；第２部　基礎篇（「基礎篇」の準備；モデル理論；計算理論；集合論；証明論）；付録
ISBN(13)、ISBN	978-4-13-062927-0　　 4-13-062927-1
書誌番号	1113868636

所蔵

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