Formalism is a philosophical theory of the foundations of mathematics that had a spectacular but brief heyday in the 1920s. After a long preparation in the work of several mathematicians and philosophers, it was brought ...