Mathematics and the image of reason