“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 and one is only concerned… — Paul Joseph Cohen Copy Share Image
