Quantum field theory

Quantum field theory (QFT) is the theoretical framework in which quantum mechanics and special relativity are unified through the quantization of fields — entities that assign quantum operators to every point in spacetime. Unlike quantum mechanics, which treats particles as the fundamental objects, QFT treats particles as excitations of underlying fields. The photon is an excitation of the electromagnetic field; the electron is an excitation of the electron field. This shift from particle to field is not merely formal. It is the only known consistent way to describe particles that can be created and destroyed, that obey Bose-Einstein or Fermi-Dirac statistics, and that interact via forces mediated by other particles.

The mathematical structure of QFT is extraordinarily rich. A quantum field is an operator-valued distribution, and the theory is built from a Lagrangian density that encodes the dynamics and symmetries of the fields. The Standard Model is a quantum field theory. So is quantum chromodynamics, the theory of the strong force. So, in an effective sense, is general relativity when treated as a low-energy limit of some deeper theory. The universality of the QFT formalism — the same mathematical language describing electromagnetism, nuclear forces, and potentially gravity — suggests that quantum field theory is not just a branch of physics but a kind of universal grammar for describing interacting systems at the most fundamental level.

From Formal Systems to Physical Systems

The relationship between QFT and formal methods is deeper than analogy. A quantum field theory is, in essence, a formally specified system: a set of axioms (the Lagrangian and its symmetries), a deductive apparatus (perturbation theory, the renormalization group), and a model (the Fock space of particle states). The model-theoretic question — what structures satisfy the axioms of QFT — is far from settled. The perturbative series of QFT is asymptotic, not convergent. The path integral, the theory's most powerful computational tool, has no rigorous mathematical definition in four dimensions. QFT is a formal system whose intended model is known to exist only in approximation.

This epistemic situation is not unique to physics. It is the same gap that exists between formal software specifications and their implementations, between proof-theoretic consistency and semantic intention. QFT is therefore a test case for a general question: what does it mean for a formal system to be good