If there is still one hellish, truly accursed thing in our time, it is our artistic dallying with forms, instead of being like victims burnt at the stake, signaling through the flames.

To the average mathematician who merely wants to know his work is securely based, the most appealing choice is to avoid difficulties by means of Hilbert’s program. Here one regards mathematics as a formal game...

Wings are a constraint that makes it possible to fly.