Quotes from Dirk van Dalen

Gödel's incompleteness theorems brought the second ending of the Grundlagenstreit. Where Hilbert had won the conflict in the social sense, he had lost it in the scientific sense.