{"id":"arxiv/2609.25183","url":"https://arxiv.org/abs/2609.25183","tags":["math.HO","math.LO"],"score":0,"title":"From foundations to applications: reverse mathematics and philosophy","domain":"math.HO","source":"arxiv","authors":["Benedict Eastaugh"],"reviews":0,"subject":"math.HO","summary":"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,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-21","reactions":{}}