Abstract
In this paper, I argue that there are cases of explanatory induction in mathematics. To do so, I first introduce the notion of explanatory definition in the context of mathematical explanation. A large part of the paper is dedicated to introducing and analyzing this notion of explanatory definition and the role it plays in mathematics. After doing so, I discuss a particular inductive definition in advanced mathematics— $${ CW}$$ -complexes—and argue that it is explanatory. With this, we see that there are cases of explanatory induction.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have