Hardy `asked `What's your father doing these days. How about that
esthetic measure of his?' I replied that my father's book was out. He
said, `Good, now he can get back to real mathematics'.
Garret Birkhoff
failure of Hilbert's program
a plurality of perspectives on the foundations of mathematics