資料詳細

  • 1 件中、 1 件目

【図書】 数学基礎論

新井敏康 ／著   -- 岩波書店 -- ２０１１．５ -- ２２ｃｍ -- ５３６ｐ

資料詳細

タイトル 数学基礎論
著者名等 新井敏康 ／著  
出版 岩波書店 ２０１１．５
大きさ等 ２２ｃｍ ５３６ｐ
分類 410.9
件名 数学基礎論
注記 文献あり　索引あり
著者紹介 １９５８年生まれ。東京大学教養学部卒。筑波大学数学系大学院博士課程修了。現在、千葉大学大学院理学研究科教授。専門は数学基礎論。
内容紹介 予備知識を仮定せずに、「不完全性定理」や「連続体仮説の独立性証明」などの数学基礎論における核心的な結果、技法やアイデアをもれなく、その完全な証明を通して解説した本格的教科書。演習問題と解答も掲載。
要旨 特別な予備知識を仮定せずに、数学基礎論における核心的な結論、技法やアイデアをもれなく説明した本格的な教科書。「不完全性定理」や「連続体仮説の独立性証明」などの結果が、どのような考え方によって得られたのか、その完全な証明を通して解説する。より深い理解のために豊富な演習問題と丁寧な解答を付した。
目次 １部　入門篇（１階論理入門；計算理論入門；不完全性定理）；２部　基礎篇（「基礎篇」の準備；モデル理論；計算理論；集合論；証明論）
ISBN(13)、ISBN 978-4-00-005536-9　　 4-00-005536-4
書誌番号 1111035007
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1111035007

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/248 一般書 利用可 - 2046593815 iLisvirtual
保土ケ谷 公開 Map 410 一般書 利用可 - 2046677326 iLisvirtual

ページの先頭へ