Formalism’s greatest champion in mathematics was David Hilbert, the German mathematician whose list of twenty-three problems, prepared for a lecture in Paris at the 1900 International Congress of Mathematics, set the course for much of twentieth-century math. Hilbert is so revered that any work that touches even tangentially on one of his problems takes on a little extra shine, even a hundred years later. I
