Argument
Argument from Mathematics (Guillen)
Intro
Sponsored
Michael Guillen's argument from mathematics in Believing Is Seeing (Tyndale Refresh, 2021), drawing on his earlier Five Equations That Changed the World (1995), is the mathematical pillar of his cumulative case. The argument has two converging tracks: Wigner's question (the unreasonable effectiveness of mathematics in describing physical reality) and mathematical Platonism (the ontological status of mathematical objects, structures, and truths). Both tracks lead to the same conclusion: mathematics is unintelligible on a purely materialist worldview, and best explained by a Mind that grounds the mathematical structure of reality.
The argument is the mathematical-design pillar of the cumulative case, sibling to Argument from Physics (Guillen) (physical design) and Argument from Cosmology (Guillen) (cosmic design).
In full
The argument: "Mathematics has features that no purely physical / material worldview can explain. First, mathematics is unreasonably effective in describing physical reality, an observation Eugene Wigner (1960) named and that has remained unanswered for 65+ years; on a purely random or material universe, this effectiveness has no expected basis. Second, mathematical truths are discovered, not invented: the Pythagorean theorem was true before any human knew it; e^iπ + 1 = 0 was true before Euler. The discovery character requires that mathematical truths exist independently of human minds. Third, mathematical objects (sets, functions, numbers, geometric structures) are non-physical, non-spatiotemporal, abstract entities; their existence requires a non-physical, non-temporal grounding. The cumulative pattern, effectiveness + discovery-not-invention + abstract-object existence, is best explained by a Mind in which mathematical truths are eternally grounded. The Christian doctrine of the divine intellect (Augustine, Aquinas, the medieval-scholastic tradition) names this Mind."
Argument structure
| # | Premise |
|---|---|
| P1 | Mathematics is unreasonably effective in describing physical reality (Wigner 1960). The fundamental laws of physics are mathematical; mathematical structures developed for purely abstract reasons (Riemannian geometry, group theory, quaternions) repeatedly turn out to describe physical reality decades or centuries later (general relativity, quantum chromodynamics, quantum mechanics). On a purely random or purely material universe, this effectiveness has no expected basis. |
| P2 | Mathematical truths are discovered, not invented. The Pythagorean theorem was true before any human knew it; Goldbach's conjecture, if true, is true independently of any human verification; e^iπ + 1 = 0 was true before Euler. Mathematicians describe their work as discovery, not creation. |
| P3 | Mathematical objects (sets, functions, numbers, prime numbers, geometric structures) are abstract entities: non-physical, non-spatiotemporal, non-causal. They are not located in space or time; they do not interact causally with physical objects. Yet they exist (mathematical Platonism) and physical reality conforms to them (Wigner's effectiveness). |
| P4 | Naturalism cannot accommodate (P1) + (P2) + (P3) simultaneously. Nominalism (the denial of abstract objects) leaves Wigner's effectiveness unexplained; conceptualism (abstract objects exist only in human minds) leaves the discovery-not-invention character unexplained; fictionalism (mathematics is useful fiction) leaves physical reality's conformity to mathematical structure unexplained. |
| P5 | Theism predicts the data. On theism, mathematical truths exist eternally in the divine intellect (the patristic-scholastic tradition: Augustine, Aquinas; On Christian Doctrine 2.32-33; Summa Theologiae I, q. 16, a. 7); the physical universe is created according to the mathematical structure in the divine Mind; human cognition, made in the imago Dei, can discover what God has set forth. The unreasonable effectiveness is reasonable on theism. |
| C | Mathematics' three structural features, unreasonable effectiveness, discovery-not-invention, and abstract-object existence, are jointly best explained by a Mind in which mathematical truths are eternally grounded. The Christian doctrine of the divine intellect names this Mind. |
Per-premise affirmative case
P1, Wigner's unreasonable effectiveness
Eugene Wigner, "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," Communications in Pure and Applied Mathematics 13 (1960): "The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve. We should be grateful for it and hope that it will remain valid in future research and that it will extend, for better or for worse, to our pleasure, even though perhaps also to our bafflement, to wide branches of learning."
Historical case studies:
- Riemannian geometry, developed by Bernhard Riemann (1854) as a purely abstract mathematical generalization of Euclidean geometry, became the mathematical framework for Einstein's general relativity (1915), the description of gravitation as spacetime curvature. The mathematical structure preceded the physical application by 60+ years and was developed without any knowledge that it would later describe physical reality.
- Group theory, developed by Évariste Galois (1830s) for purely algebraic reasons, became foundational to particle physics and the Standard Model in the 20th century.
- Quaternions, invented by William Rowan Hamilton (1843) as an abstract algebraic extension of complex numbers, became important in 20th-century physics (quantum mechanics, 3D rotation calculations).
- Imaginary numbers / complex analysis, developed by Renaissance and 19th-century mathematicians as abstract objects, became essential to quantum mechanics (the wave function is complex-valued).
The pattern is robust: abstract mathematical structures developed for non-physical reasons repeatedly turn out to describe physical reality. On a purely random universe, this is not predicted; on a Mind-designed universe, it is.
P2, discovery not invention
Mathematicians overwhelmingly experience their work as discovery, not invention:
- The Pythagorean theorem is true of right triangles whether or not anyone knows it.
- Goldbach's conjecture (every even integer greater than 2 is the sum of two primes) is either true or false; whichever it is, that has been so since the integers existed.
- Euler's identity e^iπ + 1 = 0 relates five fundamental mathematical constants (0, 1, π, e, i) in a way that was true before Euler discovered it in the 18th century.
- The prime numbers are what they are; the distribution of primes (the prime number theorem, the Riemann hypothesis) is what it is, discovered piecemeal across centuries.
If mathematics were invented, mathematicians would be free to make Goldbach's conjecture true or false by stipulation; they are not. The discovery character requires mathematical truths to exist independently of human minds.
P3, abstract-object existence
Mathematical objects are non-physical: a prime number is not located anywhere in space; the set of all triangles is not located anywhere in time; the function f(x) = x^2 is not made of any physical material. Yet they exist (we can quantify over them: there exist primes greater than 100) and physical reality conforms to them (the orbits of planets, the spectra of atoms, the dynamics of fluids). The existence of abstract objects requires an ontological account that physicalism does not provide.
P4, naturalism's options and their problems
- Nominalism (denial of abstract objects): Wigner's effectiveness is left unexplained. Why does physical reality conform to non-existent mathematical objects?
- Conceptualism (abstract objects exist only in human minds): leaves discovery-not-invention unexplained. The Pythagorean theorem was true before any human existed; conceptualism cannot accommodate this.
- Fictionalism (mathematics is useful fiction): leaves physical-reality conformity unexplained. Why does a useful fiction predict physical reality with such precision?
- Mathematical structuralism without ontology: pushes the question to what structures; the same abstract-object problem reappears.
P5, the theistic explanation
Augustine, On Christian Doctrine 2.32-33, and Aquinas, Summa Theologiae I, q. 16, a. 7: mathematical truths exist eternally in the divine intellect. God knows all mathematical truths in His self-knowledge (since He is the creator of all possible structure). The physical universe is created according to the mathematical structure in the divine Mind; the mathematical structures are the divine ideas (or the necessary truths grounded in the divine nature). Human cognition, made in the imago Dei, can discover what God has eternally set forth.
On this view:
- Wigner's effectiveness is reasonable: the universe is created according to mathematical structures that exist in the divine Mind; the human mind, made in God's image, can discover those structures.
- Discovery-not-invention is accommodated: mathematical truths exist independently of human minds because they exist in the divine Mind.
- Abstract objects have an ontological ground: they exist in the divine intellect as ideas / necessary truths grounded in the divine nature.
The theistic account makes a unified sense of the three features that naturalism cannot accommodate.
Live-cite kit
- Scientific-mathematical: Eugene Wigner, "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," Communications in Pure and Applied Mathematics 13 (1960); Roger Penrose, The Road to Reality (Knopf, 2004); G. H. Hardy, A Mathematician's Apology (Cambridge, 1940), the classic statement of mathematical Platonism
- Philosophical: Mark Balaguer, Platonism and Anti-Platonism in Mathematics (Oxford, 1998); Penelope Maddy, Realism in Mathematics (Oxford, 1990); the broader Stanford Encyclopedia of Philosophy entries on mathematical Platonism, mathematical nominalism, abstract objects
- Philosophical-apologetic: William Lane Craig + J. P. Moreland, Philosophical Foundations for a Christian Worldview (2nd ed., IVP Academic, 2017), the mathematical-realism chapter; Plantinga, Warranted Christian Belief (Oxford, 2000); Michael Guillen, Believing Is Seeing (Tyndale Refresh, 2021); Guillen, Five Equations That Changed the World (Hyperion, 1995)
- Patristic / Scholastic: Augustine, De Doctrina Christiana 2.32-33; Augustine, De Trinitate 9-15 (the divine ideas tradition); Aquinas, Summa Theologiae I, q. 16, a. 7; q. 15 (on ideas in God)
- Scripture: John 1.1-3, "in the beginning was the Word... all things came into being through Him"; Colossians 1.16-17, "in Him all things hold together"; Proverbs 8.22-31, Wisdom present at creation; Hebrews 1.3, "upholding all things by the word of His power"
- Aphorism: "Wigner asked why mathematics works. The answer: because the universe was made by a Mind that thinks mathematically, and our minds, made in His image, can follow His thought."
See also
Companion Guillen arguments
- Argument from Science as Faith-Based (Guillen)
- Argument from Physics (Guillen)
- Argument from Cosmology (Guillen)
- Argument from Neuroscience (Guillen)
Related codex pages
- Michael Guillen, the author
- Cumulative Case for Christian Theism, the integrating frame
- Fine-Tuning Argument, the broader cosmological-design hub
- It from Bit, the informational-ontology thesis
- Argument from Consciousness, the sibling argument from mind to mind-substrate
- Modal Ontological Argument, the modal-metaphysical companion
- Laws of the Universe as Witness to Design, the related hub