“Gödel's incompleteness theorems served as a decisive refutation of both primary goals of David Hilbert's program for formalizing mathematics.”