Skip to content
DraconiticResearch
Search Sources API
194,161 studies31 sourcesUpdated 8 min ago
PreprintarXiv licencearXiv

From foundations to applications: reverse mathematics and philosophy

  • Benedict Eastaugh
Open at sourcePDFDOICite

Abstract

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.

Related

  1. The strength of the minimum principle in constructive reverse mathematics
    Tatsuji Kawai
    arXivPreprintarXiv licenceFull textLogic & foundationsarXiv
  2. Integral Dependence over One-Sided Ideals, Part I: Foundations and Classical Applications
    Masood Aryapoor
    arXivPreprintCC BY-NC-ND 4.0Full textAlgebra & number theoryarXiv
  3. The reverse Hölder inequality for 𝒜p(·) weights with applications to matrix weights
    David V. Cruz-Uribe, Michael Penrod
    Publicacions MatemàtiquesPeer-reviewedLicence not stated10 citedGeneral mathematicsOpenAlex
  4. Transport for Conditional Sampling: Foundations and Applications
    Ricardo Baptista, Benjamin Bloem-Reddy, Bamdad Hosseini
    arXivPreprintarXiv licenceFull textStatisticsarXiv
  5. Causal Bayesian Optimization: Foundations, Methods, and Applications
    Chenfeng Huang, Thuy T. Le, Zixuan Ma +1
    arXivPreprintCC BY 4.0Full textStatisticsarXiv

Cite

BibTeXRIS
BibTeX
@misc{eastaugh2026from,
  title = {{From foundations to applications: reverse mathematics and philosophy}},
  author = {Benedict Eastaugh},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.25183},
  eprint = {2609.25183},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.25183},
}
RIS
TY  - UNPB
TI  - From foundations to applications: reverse mathematics and philosophy
AU  - Benedict Eastaugh
PY  - 2026
DA  - 2026/09/21
PB  - arXiv
DO  - 10.48550/arxiv.2609.25183
UR  - https://arxiv.org/abs/2609.25183
AB  - 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.
ER  -