Chapter 48 — The Language of Particles

Group theory is the branch of abstract algebra that studies symmetry—the mathematical properties of operations that leave certain quantities unchanged. It was developed in the early nineteenth century by Évariste Galois and Niels Abel in the context of solving polynomial equations. Its physical application was entirely unanticipated.

The Standard Model of particle physics—the most thoroughly tested theory in science, describing all known fundamental particles and forces except gravity—is completely specified by a group-theoretic symmetry structure: SU(3) × SU(2) × U(1). The quarks and gluons of quantum chromodynamics transform according to representations of SU(3). The weak force and electromagnetism are unified in the SU(2) × U(1) structure of electroweak theory. The mathematical objects that Galois and Abel developed to understand polynomial equations in the 1820s are the exact objects that describe every particle interaction in the universe.

Hermann Weyl developed the application of group theory to quantum mechanics in the 1920s. Eugene Wigner extended this work throughout his career. Neither sought to confirm a theological point—they were following mathematical necessity. The necessity led to a universe whose deepest structure is described by abstract algebraic symmetry developed for other purposes entirely. The universe is reading from a script written before the universe.

Zee, A. Group Theory in a Nutshell for Physicists. Princeton University Press, 2016. Weyl, H. The Theory of Groups and Quantum Mechanics. Dover, 1950 (reprint).

Chapter 49 — The Limits of Logic

In 1931 Kurt Gödel published the most consequential result in the history of mathematical logic. His first incompleteness theorem: any formal system consistent and powerful enough to express basic arithmetic contains true statements that cannot be proven within that system. A system powerful enough to do mathematics cannot prove everything that is true within it.

His second incompleteness theorem goes further: such a system cannot prove its own consistency. To know whether the axioms of mathematics are consistent, you need a system more powerful than mathematics itself—which then cannot prove its own consistency. The implication is precise: no closed formal system can achieve both completeness and consistency. Truth exceeds proof. The universe, if it is mathematical at its foundation, has truths in it that cannot be reached from within.

Gödel himself drew philosophical implications from his results. He believed that mathematical Platonism—the view that mathematical truths exist independently of human minds—was confirmed by his theorems. He spent the last years of his life working on an ontological argument for the existence of God based on modal logic. The theorems do not prove God. But they are incompatible with a worldview in which the universe is a closed, self-explaining system. Every mathematical system powerful enough to describe the universe contains truths it cannot reach from inside. The universe is not self-contained.

Gödel, K. "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I." Monatshefte für Mathematik und Physik 38 (1931): 173–198. Nagel, E. and Newman, J.R. Gödel's Proof. New York University Press, 2001.