資料詳細

  • 1 件中、 1 件目

【図書】 数学基礎論序説

数の体系への論理的アプローチ --
田中一之 ／著   -- 裳華房 -- ２０１９．６ -- ２２ｃｍ -- ３７４ｐ

資料詳細

タイトル 数学基礎論序説
副書名 数の体系への論理的アプローチ
著者名等 田中一之 ／著  
出版 裳華房 ２０１９．６
大きさ等 ２２ｃｍ ３７４ｐ
分類 410.9
件名 数学基礎論
注記 欧文タイトル：ＬＯＧＩＣＡＬ　ＦＯＵＮＤＡＴＩＯＮＳ　ＯＦ　ＭＡＴＨＥＭＡＴＩＣＳ
注記 文献あり　索引あり
著者紹介 １９５５年東京都に生まれる。１９７８年東京工業大学理学部卒業。同大学院理工学研究科博士課程中退。１９８６年カリフォルニア大学バークレー校博士課程修了。Ｐｈ．Ｄ．（数学）。１９９７年より東北大学大学院理学研究科数学専攻教授。主要著書に『数学基礎論講義』（編著、日本評論社、１９９７）などがある。（本データはこの書籍が刊行された当時に掲載されていたものです）
内容紹介 意味と形式の織り成す世界へ…。数学基礎論の基本ツールとなる数理論理学を初学者に向けて丁寧に解説。入門から最先端までを、大胆な構成と精緻な記述で探る。２１世紀の数学基礎論を切り拓く１冊。
要旨 意味と形式の織り成す世界へ―。数学基礎論の入門から最先端までを、大胆な構成と精緻な記述で探る。２１世紀の数学基礎論を切り拓く力作。
目次 数学基礎論の考え方；第１部　数理論理学入門（等式理論；１階論理；モデルの理論）；第２部　自然数と実数の形式体系（１階算術と不完全性定理；１階算術の超準モデル；実閉体の完全性と決定可能性）；第３部　２階算術と逆数学（実数論と逆数学；２階算術と超準的方法）
ISBN(13)、ISBN 978-4-7853-1575-7　　 4-7853-1575-X
書誌番号 1113698801

ページの先頭へ

所蔵

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

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

ページの先頭へ