逆数学の歴史と数学哲学への関係を整理する論考
From foundations to applications: reverse mathematics and philosophy
この論文をやさしく読む
ひとことで言うと
数学の定理に必要な前提を調べる逆数学について、その歴史と哲学上の意味を整理する論考です。
何に役立つ？
数学の基礎付けや、定理に必要な仮定の強さを考える際の概観として役立ちます。新しい実験結果を報告する要旨ではありません。
この研究の面白いところ
集合の存在原理を計算可能性理論で測る話を、数学の実在論や物理科学での理想化の問題につなげています。
どこまで分かった？
論考の要旨は扱う論点を示していますが、個々の定理の新しい分類結果や結論の詳細は示していません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
逆数学は、実数直線のような具体的な構造についての通常の数学の定理を導くために、必要かつ十分となる集合の存在原理の最小限の組を決定する、数理論理学の一分野である。1970年代半ば以降、逆数学は実解析や複素解析から無限組合せ論まで、幅広い数学分野における定理の強さを体系的に分類してきた。この論考は、逆数学を歴史的・哲学的な文脈に位置付け、ヒルベルトとブラウワーの基礎付けの計画から、実在論、決定性、数学の適用可能性をめぐる現代の議論まで、数学哲学の中心的な問題との関連を示す。その過程で、集合の存在原理の強さを測る上での計算可能性理論の役割と、そうした原理を物理科学や哲学に適用する際の理想化に関する問題も論じる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Reverse mathematics is a branch of mathematical logic dedicated to determining the minimal set existence principles necessary and sufficient to derive ordinary mathematical theorems about concrete structures like the real line. Since the mid-1970s, reverse mathematics has developed a systematic classification of the strength of theorems in areas of mathematics ranging from real and complex analysis to infinitary combinatorics. This essay will place reverse mathematics in its historical and philosophical context, and reveal its relevance to central issues in the philosophy of mathematics, from the foundational programmes of Hilbert and Brouwer to contemporary debates about realism, determinacy, and applicability of mathematics. In doing so, it will discuss the role of computability theory in measuring the strength of set existence principles, as well as related questions about idealisation when these principles are applied in the physical sciences and in philosophy.
著者のコメント
22 pages. To appear in the Blackwell Companion to the Philosophy of Mathematics, A. Paseau (ed.)
arXiv ID: 2609.25183 ／ 要約の誤りについて