So explanation does, after all, play the same paramount role in pure mathematics as it does in science. Explaining and understanding the world – the physical world and the world of mathematical abstractions – is in both cases the object of the exercise. Proof and observation are merely means by which we check our explanations.
