Mathematics and the world: Explanation and representation