How Not to Be Wrong: The Power of Mathematical Thinking

by Jordan Ellenberg

But Hilbert was to be disappointed. In 1931, Kurt Gödel proved in his famous second incompleteness theorem that there could be no finitary proof of the consistency of arithmetic. He had killed Hilbert’s program with a single stroke.