“It might seem that the empirical philosopher is the slave of his material, but that the pure mathematician, like the musician, is a free creator of his world of ordered beauty.”