Formalism (Mathematical)

Mathematical truths, for formalism, are atemporal in the sense that they are features of formal systems whose specifications do not change. The contingent temporal events of mathematical practice — when a theorem was proved, when a system was first specified — are sharply distinguished from the timeless content of the proofs themselves. Hilbert's preference for finitary metamathematics imposes a kind of temporal discipline on foundational work: only constructively executable, finitely surveyable manipulations are admitted. Time enters as a constraint on legitimate proof, not as a feature of mathematical content.

Space, for the mathematical formalist, is whatever the relevant formal system describes — Euclidean, non-Euclidean, topological, or category-theoretic — and the formalist takes no position on which of these (if any) is realised in physical reality. Hilbert's own 'Grundlagen der Geometrie' deliberately re-axiomatised Euclidean geometry to expose its structure as a formal system rather than as a description of the world. Space is therefore an emergent feature of formal specifications, not a foundational metaphysical category.

Matter is largely peripheral to mathematical formalism, which is concerned with symbolic systems rather than with the physical world. The 'concrete' substrate on which Hilbert insisted — the actual marks on paper, the surveyable strings of symbols — is material in a minimal sense, sufficient to ground the rule-following that mathematics requires but not to underwrite any wider metaphysics of matter. What there really is, on the formalist account of mathematics, is the rule-governed manipulation of symbols, and matter shows up only as the medium in which those manipulations are carried out.

The formalist treats the mathematical observer as a rule-following manipulator of symbols — a reasoner who applies the inference rules of a formal system to produce new strings from old, without needing to consult any independent realm of mathematical entities. Hilbert's account of the mathematician's work is decisive: what the mathematician really does is operate on a 'concrete' symbolic substrate according to specified rules, and 'truth' in mathematics reduces to provability. The observer's authority comes from the rigorous following of the rules, not from any intuition or perception of abstract objects.

Energy is not a foundational mathematical-formalist category. To the extent that formalism addresses energy at all, it does so by treating the mathematics in which energy is expressed — variational principles, Hamiltonian and Lagrangian mechanics, functional analysis — as formal systems whose own coherence is the formalist's concern. The 'energy' of a proof system, its proof-theoretic ordinal or consistency strength, is closer to the formalist's distinctive interests than physical energy. Energy is therefore an emergent topic for formalism, addressed only through the formal systems that articulate it.

Mathematical objects and truths are features of formally specified symbolic systems. Mathematical content is given by the rule-governed manipulation of symbols, not by reference to abstract Platonic entities.