内容説明
意味と形式の織り成す世界へ―。数学基礎論の入門から最先端までを、大胆な構成と精緻な記述で探る。２１世紀の数学基礎論を切り拓く力作。
目次
数学基礎論の考え方
第１部 数理論理学入門（等式理論；１階論理；モデルの理論）
第２部 自然数と実数の形式体系（１階算術と不完全性定理；１階算術の超準モデル；実閉体の完全性と決定可能性）
第３部 ２階算術と逆数学（実数論と逆数学；２階算術と超準的方法）
著者等紹介
田中一之［タナカカズユキ］
１９５５年東京都に生まれる。１９７８年東京工業大学理学部卒業。同大学院理工学研究科博士課程中退。１９８６年カリフォルニア大学バークレー校博士課程修了。Ｐｈ．Ｄ．（数学）。東京工業大学理学部助手、東北大学理学部助教授を経て、１９９７年より東北大学大学院理学研究科数学専攻教授。その間、ペンシルバニア州立大学（１９９０‐１９９１）とオックスフォード大学（１９９５）にて客員研究員。数理論理学の有名専門雑誌Ａｎｎａｌｓ ｏｆ Ｐｕｒｅ ａｎｄ Ａｐｐｌｉｅｄ Ｌｏｇｉｃの編集委員（２０１３‐現在）（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
-
- 和書
- もぐらはすごい
