Showing math.HOShow all
2 papers · 1 filter
math.HO2026
Computational Platonism
Asvin G
We offer a view of mathematics as an experimental science where axioms play the role of foundational theories like general relativity and quantum mechanics in physics. Under this v…
math.HO2026
On the mechanical creation of mathematical concepts
Asvin G
Any act of problem-solving combines prior knowledge, local search, and a third element that is less often discussed: the extraction of information from search to update understandi…