Formalism is a philosophy of mathematics holding that mathematical statements are not truths about abstract objects or features of the physical world, but are instead meaningful only as formal manipulations of symbols according to explicitly stated rules. On this view, mathematics is a game played with meaningless marks on paper, and its validity consists entirely in the consistency and rigor of the rule system - not in any correspondence to an independent mathematical reality. Formalism is held by a significant tradition of mathematicians and philosophers of mathematics, and has been associated particularly with the work of David Hilbert and his collaborators in the early twentieth century.

Formalists argue that mathematical expressions - numerals, variables, operators, logical connectives - are uninterpreted symbols. A proof is a finite sequence of symbol strings, each of which either belongs to a set of axioms or follows from preceding strings by explicit transformation rules. The meaning, if any, that practitioners attach to these symbols is psychologically real but philosophically irrelevant to the validity of the mathematics. What matters is that the rules are followed correctly.

Formalists typically reject Platonism, the view that mathematical objects such as numbers, sets, and functions exist independently of human minds and formal systems. They hold that positing such objects introduces unnecessary metaphysical baggage and cannot be cashed out in any epistemologically tractable way. If numbers are abstract objects in a non-physical realm, formalists ask, how do human beings - physical creatures with physical brains - come to have knowledge of them? The formalist avoids this problem entirely by denying that mathematics is about objects of any kind.

The central positive ambition of classical formalism, as developed by Hilbert, was to provide a secure foundation for all of mathematics by formalizing it completely and then proving, using only finitary methods, that the resulting formal system is consistent - that is, that it cannot derive a contradiction. This project, known as Hilbert's Program, aimed to vindicate mathematical practice without appeal to intuition, infinite objects, or anything that could not be made fully explicit. Consistency, on this view, is the only constraint mathematics must satisfy; if a formal system is consistent, its theorems are legitimate regardless of whether they describe anything real.

A key feature of Hilbert's formalism was the distinction between the formal object language - the axioms and proofs of mathematics itself - and the informal metalanguage used to reason about that system. Hilbert believed that metamathematical reasoning could and should be restricted to finitary methods: concrete, surveyable operations on finite strings of symbols. This would give the consistency proof an epistemological character even a skeptic could accept, grounding infinite mathematics in finite, verifiable procedures.

Formalists often emphasize that their view liberates mathematics from inappropriate constraints. If mathematics is not answerable to an external reality, mathematicians are free to investigate any consistent formal system, however remote from physical application. This squares well with the actual development of mathematics, which has repeatedly produced abstract structures - non-Euclidean geometries, transfinite set theory, abstract algebra - long before or entirely independent of physical applications.

The formalist tradition has roots in the nineteenth century, as mathematicians sought to place analysis, geometry, and arithmetic on rigorous axiomatic foundations. The arithmetization of analysis by Karl Weierstrass and the axiomatization of geometry by Hilbert's Grundlagen der Geometrie (1899) were early steps. Gottlob Frege's logicist program, though distinct from formalism, contributed to the climate of foundational concern.

Hilbert articulated formalism most fully in the 1920s in response to the crisis provoked by set-theoretic paradoxes and by L.E.J. Brouwer's intuitionist challenge to classical mathematics. Hilbert regarded Brouwer's restrictions on mathematical practice - rejecting the law of excluded middle for infinite domains - as unacceptably revisionary, and proposed his consistency program as an alternative foundation that would preserve classical mathematics whole.

The program suffered a severe blow with Kurt Gödel's incompleteness theorems (1931). Gödel's first theorem showed that any consistent formal system capable of expressing basic arithmetic contains true statements it cannot prove. His second theorem showed that such a system cannot prove its own consistency - directly defeating the ambition of Hilbert's Program as originally stated. These results forced formalists to revise their position, and subsequent formalism has been more modest in its foundational ambitions, focusing on the value of formal rigor and axiomatic clarity without claiming to provide an ultimate justification.

Later developments include Haskell Curry's term formalism, which identifies mathematical objects directly with formal expressions rather than treating symbols as names, and game formalism, which draws out the analogy between mathematics and rule-governed games more explicitly. Contemporary philosophers sympathetic to formalism often combine it with structuralist or deflationary positions.

David Hilbert (1862-1943) - German mathematician widely regarded as the foremost figure in classical formalism. His axiomatization of Euclidean geometry, his Paris problems, and his foundational writings, particularly “Über das Unendliche” (1926), define the central formalist program. Hilbert's remark that mathematics requires only that its axioms be consistent - that one could replace “points, lines, and planes” with “tables, chairs, and beer mugs” - captures the formalist spirit concisely.

Johann von Neumann (1903-1957) - Hungarian-American mathematician who worked closely with Hilbert on the foundational program and contributed to formalizing quantum mechanics. Von Neumann initially accepted much of formalism's framework, though he recognized the significance of Gödel's results quickly and moved away from the foundational program's central ambitions in their wake.

Haskell Curry (1900-1982) - American mathematician and logician who developed a thoroughgoing formalism identifying mathematical objects with formal expressions. His work in combinatory logic and type theory gave formalism a constructive technical dimension.

Hermann Weyl (1885-1955) - Weyl's position shifted over his career, moving between sympathy for intuitionism and a pragmatic formalism; his writings illuminate the tensions formalists navigated after Gödel.

Rudolf Carnap (1891-1970) - Logical empiricist whose principle of tolerance - that any consistent logical syntax is legitimate and the choice among frameworks is pragmatic - represents a philosophically developed formalist-adjacent position applied to logic and mathematics together.

Formalists disagree about how much the incompleteness theorems undermine the program. Some hold that Hilbert's Program can be partially salvaged by relativizing consistency proofs - proving the consistency of strong systems from weak ones - as Gerhard Gentzen did for Peano arithmetic using transfinite induction. Others accept that the original ambition was refuted and defend a more modest formalism focused on the utility of formal systems rather than their ultimate justification.

A distinction exists between those who take the game analogy literally - mathematics as a meaningless game with no subject matter - and those who identify mathematical objects with formal expressions themselves, giving symbols a kind of referential role. Critics charge that game formalism cannot account for the applicability of mathematics to the physical world; term formalists attempt to answer this while preserving formalist commitments.

Some philosophers sympathetic to formalism note a gap between the formalist picture and how mathematicians actually work, which typically involves intuitions about mathematical objects, informal reasoning, and semantic understanding. Responses range from treating this as a harmless fiction to arguing that the formalist account is a rational reconstruction of the normative standards of proof rather than a description of psychological process.

Formalists debate how sharply to distinguish their view from logicism - the view that mathematics reduces to logic - and from structuralism - the view that mathematics is about abstract structures rather than particular objects. Some contemporary philosophers occupy hybrid positions, taking structural or inferentialist ideas while retaining formalist commitments about the absence of a distinctive mathematical ontology.

• Philosophy of Mathematics
• Platonism - Philosophy of Mathematics Viewpoint
• Intuitionism - Philosophy of Mathematics Viewpoint
• Logicism - Philosophy of Mathematics Viewpoint
• Structuralism - Philosophy of Mathematics Viewpoint
• Philosophy of Mathematics Debate
• Principia Mathematica
• Gödel's Incompleteness Theorems
• Hilbert's Program
• Philosophy of Mathematics - History

1. Hilbert, David. “Über das Unendliche.” Mathematische Annalen 95 (1926): 161-190. English translation: “On the Infinite,” in Paul Benacerraf and Hilary Putnam, eds., Philosophy of Mathematics: Selected Readings. 2nd ed. Cambridge: Cambridge University Press, 1983. 2. Hilbert, David. Grundlagen der Geometrie. Leipzig: Teubner, 1899. English: Foundations of Geometry. Trans. Leo Unger. La Salle, IL: Open Court, 1971. 3. Curry, Haskell B. “Outlines of a Formalist Philosophy of Mathematics.” Amsterdam: North-Holland, 1951. 4. Gödel, Kurt. “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.” Monatshefte für Mathematik und Physik 38 (1931): 173-198. 5. Gentzen, Gerhard. “Die Widerspruchsfreiheit der reinen Zahlentheorie.” Mathematische Annalen 112 (1936): 493-565. 6. Carnap, Rudolf. The Logical Syntax of Language. Trans. Amethe Smeaton. London: Kegan Paul, 1937. 7. Weir, Alan. “Formalism in the Philosophy of Mathematics.” Stanford Encyclopedia of Philosophy. Ed. Edward N. Zalta. Stanford: Stanford University, 2015. https://plato.stanford.edu/entries/formalism-mathematics/ 8. Detlefsen, Michael. Hilbert's Program: An Essay on Mathematical Instrumentalism. Dordrecht: Reidel, 1986. 9. Benacerraf, Paul, and Hilary Putnam, eds. Philosophy of Mathematics: Selected Readings. 2nd ed. Cambridge: Cambridge University Press, 1983.