逆数学 - 定理から公理を「証明」する

個数:1
紙書籍版価格 ¥3,888
  • Kinoppy

逆数学 - 定理から公理を「証明」する


ファイル: /

内容説明

「定理の証明には、いったいどれくらいの公理が必要なのだろう?」――古くは紀元前から、数学にはたびたびこの疑問が投げかけられてきた。この疑問にある種の回答を与えるのが、逆数学とよばれる数学基礎論の一分野である。

逆数学では、“公理”から“定理”を導く通常の数学とは異なり、“定理”に必要な“公理”を探る。これによって、定理どうしを“深さ”で分類したりすることができる。たとえば、「最大値の定理は中間値の定理より“深い”」といった具合だ。

本書では、主に大学1年生で習う解析学を通して、逆数学の基本的な考え方を解説。要所要所で歴史的な話題にも触れながら、読者をナビゲートしていく。

本書を読み終えた後、読者は、これまで出会ってきた定理たちを少し違った角度から眺めている自分に気づくはずだ。

逆数学研究の第一人者である田中一之氏による解説付き。

目次

第1章 逆数学に至る歴史
第2章 古典的算術化
第3章 古典的解析学
第4章 計算可能性
第5章 計算の算術化
第6章 算術的内包公理
第7章 再帰的内包公理
第8章 全体像