Formalism (philosophy of mathematics)

Formalism is the philosophy of mathematics that treats mathematical objects not as abstract entities with independent existence but as formal symbols manipulated according to explicit rules. Mathematics, on this view, is a game whose pieces are symbols and whose rules are axioms and inference rules. The question of whether the game 'refers to' some independent reality is secondary or meaningless; what matters is that the game is consistent — that no sequence of moves produces both a statement and its negation.

David Hilbert was formalism's most prominent advocate. His Hilbert Program aimed to secure classical mathematics by formalizing it completely and proving its consistency using only finitary methods. Kurt Gödel's incompleteness theorems showed this project could not succeed as stated, but the formalist commitment to making mathematical reasoning fully explicit remains foundational to mathematical logic, proof theory, and formal verification.

Formalism stands opposed to Platonism (mathematical objects exist independently) and intuitionism (mathematical objects are mental constructions). The philosophical question it refuses to answer — what mathematics is about — is precisely the question it claims is not worth asking.