Argument from the Applicability of Mathematics to Physics

In 1960, physicist Eugene Wigner published an essay titled 'The Unreasonable Effectiveness of Mathematics in the Natural Sciences,' in which he expressed genuine bewilderment at how often abstract mathematics, developed with no thought of physical application, later turns out to model nature with astonishing precision. Wigner was not a theologian or a philosopher pushing an agenda; he was a working physicist reflecting on a pattern he had personally witnessed and found genuinely mysterious.

Wigner's examples ranged from the use of complex numbers in quantum mechanics to the broader observation that physical laws are almost always expressible in relatively simple mathematical form. He called this fit 'a wonderful gift which we neither understand nor deserve,' a phrase that captures both the depth of the puzzle and Wigner's own sense that no fully satisfying naturalistic explanation was then, or perhaps ever would be, available.

The history of mathematics and physics offers striking illustrations of Wigner's point. Bernhard Riemann developed non-Euclidean geometries in the 1850s purely as an exercise in generalizing geometric axioms, with no expectation of physical relevance. Sixty years later, Albert Einstein discovered that precisely this mathematics, previously an abstract curiosity, was exactly what was needed to formulate general relativity's description of gravity as curved spacetime.

Similarly, group theory was developed within pure algebra for reasons having nothing to do with physics, yet it became indispensable to twentieth-century particle physics. Murray Gell-Mann used group-theoretic symmetries to organize known subatomic particles and, in doing so, predicted the existence of a previously unobserved particle, the omega-minus, which was subsequently discovered exactly where the mathematics said it should be. Paul Dirac's equation for the electron, formulated on largely mathematical and aesthetic grounds, predicted the existence of antimatter years before it was observed.

Philosopher Mark Steiner took up Wigner's puzzle in sustained philosophical detail in his book 'The Applicability of Mathematics as a Philosophical Problem.' Steiner argued that the puzzle is not merely psychological but has a genuine philosophical structure: mathematicians frequently select and pursue theories based on criteria such as elegance, analogy, and formal beauty that have no obvious tether to the physical world, and yet the resulting theories fit nature anyway.

Steiner further argued that this pattern is difficult to reconcile with a strictly naturalistic picture of humans as products of blind evolutionary processes, since there is no evident survival advantage to developing an aesthetic sense that reliably tracks deep physical truths about the universe. He suggested the fit is more readily explained if human minds and physical reality share a common source of rational order, a suggestion with obvious theological resonance even though Steiner himself remained cautious about drawing strong theological conclusions.

Naturalist philosophers have offered several responses. Structural realists such as James Ladyman argue that physical reality is, at its most fundamental level, structural or relational, which would make it unsurprising that mathematics, our best language for describing structure, fits it so well. On this view, the puzzle dissolves once we recognize that physics was never really about intrinsic 'stuff' but about relations all along, and mathematics is simply the natural vocabulary for relations.

Others appeal to evolved cognitive capacities and cultural selection: mathematicians develop enormous amounts of mathematics, and it is only the subset that happens to be useful which gets remembered and celebrated as a triumph, while the vast majority of pure mathematics that finds no application is quietly forgotten. This survivorship-style explanation suggests that Wigner's puzzle may be partly an artifact of what gets highlighted in retrospect.

Physicist Max Tegmark has proposed an especially radical naturalistic response: the mathematical universe hypothesis, according to which physical reality simply is a mathematical structure, so that the 'fit' between mathematics and physics is not really a fit between two different things at all but an identity. If our universe just is a particular mathematical structure, there is nothing further to explain about why mathematics describes it.

Critics, including many theists, respond that Tegmark's hypothesis trades one mystery for a deeper one: it must now explain why any mathematical structures are 'physically real' or experienced from the inside while others remain merely abstract, a distinction Tegmark's framework struggles to draw non-arbitrarily. It also does not obviously explain the anticipatory character of mathematical discovery, where humans working with no access to the relevant structure in advance nonetheless predict it correctly.

The theistic response to Wigner's puzzle holds that if a single rational mind is the source both of the mathematically ordered structure of the physical world and of the cognitive and aesthetic faculties by which mathematicians pursue and recognize truth, then the convergence between abstract mathematics and physical law becomes exactly what we would expect rather than a brute, unexplained coincidence. This response has the advantage of unifying two otherwise independent explananda, the order of the world and the reliability of our access to it, under a single hypothesis.

Naturalist philosophers such as Mark Colyvan and Graham Oppy maintain that structural realism and evolutionary or cultural selection accounts, taken together, provide an adequate naturalistic explanation without requiring any additional metaphysical commitments. The dispute ultimately turns on how much explanatory weight one assigns to anticipatory predictive successes like Dirac's prediction of antimatter, which theists argue are especially resistant to deflationary explanation, and which naturalists argue are impressive but not metaphysically decisive.