“Pure mathematics is, in its own way, the poetry of logical ideas”