Comment by bayesnet

It’s a bit of an ominous quote given that Hilbert’s program was dismantled shortly thereafter by Gödel…