剧情简介：[あらすじ] 「定理の証明には、いったいどれくらいの公理が必要なのだろう？」――古くは紀元前から、数学にはたびたびこの疑問が投げかけられてきた。この疑問にある種の回答を与えるのが、逆数学とよばれる数学基礎論の一分野である。 逆数学では、“公理”から“定理”を導く通常の数学とは異なり、“定理”に必要な“公理”を探る。これによって、定理どうしを“深さ”で分類したりすることができる。たとえば、「最大値の定理は中間値の定理より“深い”」といった具合だ。 本書では、解析学の基礎を通して、逆数学の基本的な考え方を解説。要所要所で歴史的な話題にも触れながら、読者をナビゲートしていく。 本書を読み終えた後、読者は、これまで出会ってきた定理たちを少し違った角度から眺めている自分に気づくはずだ。 「数学者は、材料の公理を加工して、定理という製品をつくり出す機械みたいなも...(展开全部)
外文名：Reverse Mathematics:Proofs from the Inside Out
作者：ジョンスティルウェル
出版社：森北出版
ISBN：9784627054516
