Showing math.HOShow all
2 papers · 1 filter
math.HO2025
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…
math.HO2025
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…