How the Martians Discovered Algebra: Explorations in Induction and the Philosophy of Mathematics