Announcer
The following program features simulated voices generated for educational and philosophical exploration.
Alan Parker
Good evening. I'm Alan Parker.
Lyra McKenzie
And I'm Lyra McKenzie. Welcome to Simulectics Radio.
Alan Parker
Tonight we're confronting one of the deepest questions in philosophy: is mathematics discovered or invented? When mathematicians prove theorems, are they uncovering eternal truths that exist independent of human minds, or are they constructing elaborate conceptual edifices within systems of our own making? This question has profound implications. If mathematics is discovered, then mathematical truth is objective and exists whether or not anyone thinks about it. Platonic forms inhabit some abstract realm, waiting to be found. If mathematics is invented, then it's a human creation, perhaps the most successful fiction we've ever devised. The debate touches on the nature of reality, the limits of knowledge, and why mathematics describes the physical world with such unreasonable effectiveness.
Lyra McKenzie
What makes this question so difficult is that both positions seem partly right. Mathematics feels discovered—no mathematician thinks they're making up whether the square root of two is irrational. That fact seems to transcend human opinion. Yet mathematics also feels invented. We create definitions, axioms, notational systems. Different cultures have developed different mathematical frameworks. Category theory didn't exist until humans invented it. The question becomes whether the substrate—the deep structure beneath our notation and definitions—is real or constructed. Are we discovering landscapes that exist independent of our maps, or are the maps themselves all there is?
Alan Parker
Joining us are two mathematicians who've thought deeply about these questions. Dr. Edward Frenkel is a mathematician at UC Berkeley, known for his work in representation theory and for making advanced mathematics accessible through his writing and public engagement. Dr. Emily Riehl is a mathematician at Johns Hopkins University, specializing in category theory and homotopy theory, exploring the deep structural patterns underlying mathematical reasoning. Welcome to both of you.
Dr. Edward Frenkel
Thank you. It's a pleasure to be here.
Dr. Emily Riehl
Delighted to join this conversation.
Lyra McKenzie
Edward, let me start with you. When you're proving a theorem, does it feel like you're discovering something that was already there, or inventing something new?
Dr. Edward Frenkel
It absolutely feels like discovery. When I'm working on a problem, I'm exploring a landscape that exists independent of me. The theorems have a kind of inevitability—once you see the proof, you recognize it couldn't have been otherwise. This isn't just subjective feeling. Mathematicians from completely different cultures, working independently, arrive at the same results. The Pythagorean theorem is true in ancient Greece, medieval India, and modern California. No one thinks the Greeks invented it and everyone else copied. They discovered a fact about geometric space that would be true even if humans had never existed. That universality suggests we're accessing something real.
Dr. Emily Riehl
I want to complicate that picture slightly. I agree that mathematics feels discovered, and I'm sympathetic to mathematical realism. But we need to be careful about what exactly is being discovered. The objects we work with—sets, numbers, groups, topological spaces—are defined by axioms we choose. Category theory, which I work in, makes this particularly clear. We study abstract patterns of relationships, and those patterns appear across wildly different mathematical contexts. But the framework itself is a human construction. What I think we're discovering is which constructions are fruitful, which definitions lead to deep theorems, which concepts naturally cluster together. The landscape exists, but we're also building the roads through it.
Alan Parker
That's an interesting middle position. The infrastructure is invented, but we discover which infrastructure is load-bearing?
Dr. Emily Riehl
Exactly. Mathematical practice involves both creative choices and confrontation with objective constraints. We choose our axioms and definitions, but once chosen, the theorems follow necessarily. And we discover that some axiom systems are remarkably fertile while others are sterile. Some concepts turn out to be central to many different areas, suggesting they're carving nature at its joints. That fertility isn't arbitrary. It reflects something about the structure of mathematical reality, even if our access to that reality is mediated through systems of our own construction.
Lyra McKenzie
But doesn't this raise the question of why mathematics applies to physical reality at all? If it's purely a human construction, why should our formal games describe electrons and galaxies?
Dr. Edward Frenkel
This is what Eugene Wigner called the unreasonable effectiveness of mathematics in the natural sciences. It's one of the strongest arguments for mathematical realism. Abstract mathematics developed with no thought of physical application turns out to describe reality with extraordinary precision. Complex numbers were invented as formal extensions of real numbers, but they're essential for quantum mechanics. Riemannian geometry was pure mathematics until Einstein needed it for general relativity. Non-Euclidean geometry, group theory, differential equations—all developed internally to mathematics, all turned out to be physically indispensable. This suggests mathematics isn't arbitrary human invention but reflects the deep structure of reality itself.
Dr. Emily Riehl
I think this argument needs careful examination. Yes, mathematics is unreasonably effective, but we should consider selection effects. We notice and remember the mathematics that applies to physics, not the vast swaths of mathematics that don't. Most of modern mathematics has no physical application. We're observing a kind of survivorship bias. Moreover, mathematics is effective because we've shaped our physical theories to be mathematically tractable. We model the aspects of reality that yield to mathematical description. Physics is the science of what can be quantified and calculated. This doesn't mean mathematics is arbitrary, but it complicates the picture of direct correspondence between mathematical and physical structure.
Alan Parker
That's a crucial distinction. Are we describing reality mathematically because reality is mathematical, or because mathematics is our tool for description and we naturally focus on what we can describe?
Dr. Edward Frenkel
But the precision matters. It's not that mathematics vaguely helps us organize observations. The predictions are exact, often to many decimal places. Quantum electrodynamics predicts the electron's magnetic moment to one part in a trillion, matching experiment perfectly. That level of precision suggests we're not just imposing convenient descriptions on reality but uncovering its actual structure. If mathematics were merely a human tool, we'd expect rough approximations, not this extraordinary correspondence. The fact that abstract mathematical structures—developed with no thought of physics—turn out to be exactly what nature needs suggests they're reflecting something real.
Lyra McKenzie
Emily, you work in category theory, which studies abstract patterns of relationships rather than specific objects. Does this higher level of abstraction change how you think about the invention versus discovery question?
Dr. Emily Riehl
It does. Category theory reveals that the same patterns appear across radically different mathematical contexts—the same structural relationships show up in topology, algebra, logic, computation. This suggests there's something inevitable about these patterns. They're not artifacts of how we've set up particular theories but reflect deep regularities in how mathematical structure works. In that sense, we're discovering these patterns. But category theory also makes clear how much depends on our definitions and perspectives. Different categorical frameworks illuminate different aspects of mathematical reality. We're both finding real structure and making choices about how to articulate and organize it.
Alan Parker
How should we think about mathematical objects that seem to exist only within formal systems? Take something like an eleven-dimensional manifold. Does that exist in the same sense that three-dimensional space exists?
Dr. Edward Frenkel
This is where platonism gets philosophically challenging. I believe eleven-dimensional manifolds are just as real as three-dimensional ones, even though we can't physically visualize them. They exist in the platonic realm of mathematical objects. The fact that we can't directly perceive them doesn't make them less real—we can't directly perceive electrons either. We access both through their mathematical properties and relationships. The manifolds have definite properties that we discover through proof. They're not arbitrary constructions but objects of study that would have the same properties regardless of which mathematician investigates them.
Dr. Emily Riehl
I'm more agnostic about ontological status. What matters mathematically is that eleven-dimensional manifolds have well-defined properties we can study rigorously. Whether they exist in some platonic heaven is perhaps a question for metaphysics rather than mathematics. As a working mathematician, I care about what's provable and how different mathematical structures relate to each other. The question of what ultimately grounds these relationships—whether they reflect an independent platonic realm or are sophisticated patterns in how human minds organize abstract thought—is fascinating but doesn't affect the actual practice of mathematics.
Lyra McKenzie
That pragmatic stance is interesting, but doesn't the question matter for how we think about mathematical knowledge? If mathematics is discovered, then mathematical truth is objective and eternal. If it's invented, then it might be contingent on features of human cognition.
Dr. Edward Frenkel
Exactly. This isn't just abstract philosophy—it affects how we understand mathematical knowledge. If mathematics is discovered, then we're uncovering truths that would be true for any sufficiently advanced intelligence anywhere in the universe. Aliens would have the same mathematics. If it's invented, then perhaps alien mathematics would be radically different, reflecting different cognitive architectures and different needs. I believe the former. Mathematics is the language of the universe. Any civilization capable of understanding physical law would need to discover the same mathematical structures we have.
Dr. Emily Riehl
I'm not sure aliens would have exactly the same mathematics, but I think they'd have equivalent mathematics. They might organize it differently, use different notation, emphasize different aspects. But if they've discovered general relativity, they'd need differential geometry. If they've discovered quantum mechanics, they'd need linear algebra over complex numbers. The deep structure would be the same even if the presentation differed. This suggests the structural relationships are real, even if how we articulate them involves human choices.
Alan Parker
What about mathematical statements that are independent of our axiom systems—things that can neither be proved nor disproved within a given framework? Gödel's incompleteness theorems show such statements exist. Do they have determinate truth values?
Dr. Emily Riehl
This is where the invention-discovery dichotomy breaks down most clearly. Gödel's theorems show that any sufficiently powerful axiom system contains statements that can't be decided within that system. The continuum hypothesis is the famous example—we can neither prove nor disprove it from standard set-theoretic axioms. Does it have a determinate truth value? If you're a strong platonist, you say yes—there's a fact about the matter, we just can't access it from our current axioms. If you're more constructivist, you say the question only makes sense relative to an axiom system, and different extensions give different answers.
Dr. Edward Frenkel
I lean toward the platonist view. I think undecidable statements have truth values we haven't yet discovered. The continuum hypothesis is either true or false in the platonic realm, even if we can't prove which from our current axioms. This is analogous to physical theories. We can't currently probe physics at the Planck scale, but we believe there are facts about what happens there. Similarly, there are mathematical facts beyond our current axiomatic reach. Future mathematics might give us new axioms that decide currently undecidable questions, revealing truths that were always there.
Lyra McKenzie
But if we need to choose additional axioms to decide these questions, aren't we inventing the mathematics at that point? We're making a free choice about which axioms to add.
Dr. Edward Frenkel
We make choices, but they're not arbitrary. We choose axioms that lead to rich, coherent theories, that unify previously separate areas, that have unexpected applications. Some axiom systems are mathematically natural while others are ad hoc. That naturalness suggests we're discovering which frameworks correctly capture mathematical reality, not simply stipulating them. It's similar to theoretical physics—we propose axioms, test their consequences, and adopt the ones that prove most fruitful. The fruitfulness isn't arbitrary.
Alan Parker
How does your position on this question affect your actual mathematical practice? Does it matter whether you think you're discovering or inventing?
Dr. Emily Riehl
Day to day, probably not much. Whether I'm a platonist or a constructivist, I'm still proving theorems using the same methods. But it affects how I think about what counts as a good definition or a deep theorem. If I believe I'm discovering pre-existing structure, I'm looking for definitions that carve nature at its joints, theorems that reveal fundamental relationships. If I think I'm constructing frameworks, I'm evaluating them by different criteria—coherence, fruitfulness, elegance. In practice, these converge. The frameworks that seem to reveal deep structure are also the ones that are most fruitful and elegant.
Dr. Edward Frenkel
I agree that practice is similar regardless of philosophical stance. But I think believing mathematics is discovered gives you a sense of wonder and humility. You're exploring a landscape you didn't create. There are surprises waiting, connections you couldn't have anticipated. That attitude leads you to follow the mathematics wherever it leads rather than trying to impose your preconceptions. It's the difference between exploring unknown territory and designing a garden. Both can be productive, but the exploratory mindset is more open to genuine discovery.
Lyra McKenzie
Let me push on this from a different angle. Mathematical practice has changed dramatically over history. Ancient Greek mathematics was geometric, modern mathematics is highly abstract and algebraic. Are we discovering the same things in different languages, or has mathematics itself changed?
Dr. Emily Riehl
This is a great question that highlights the role of conceptual frameworks. The Greeks proved theorems about geometric magnitudes that we now express algebraically. Are these the same theorems? In one sense yes—we can translate between the frameworks and show formal equivalence. In another sense no—the modern algebraic formulation reveals relationships invisible in the geometric approach. I think we're discovering the same underlying structure but inventing increasingly powerful languages to articulate it. The structure is real, but our access to it depends on our conceptual tools.
Dr. Edward Frenkel
I'd say we're discovering deeper levels of the same reality. Ancient Greek geometry was correct but incomplete. Modern mathematics encompasses and extends it. We see further because we've developed more powerful methods, but we're exploring the same platonic realm. The periodic table of elements existed before Mendeleev discovered it. Similarly, the Langlands program existed before anyone articulated it—we're uncovering connections that were always there. The historical development is our path of discovery, not the creation of the mathematical landscape itself.
Alan Parker
As we approach the end of our time, let me ask each of you: what would convince you that you're wrong? What evidence would move you from your current position?
Dr. Edward Frenkel
If we encountered an alien civilization with radically incommensurable mathematics—not just different notation or emphasis, but fundamentally incompatible ways of reasoning about quantity and structure that nonetheless worked for them—that would challenge my platonism. Or if neuroscience showed that mathematical intuition is entirely a product of contingent features of human brain architecture with no necessary connection to external reality. These would suggest mathematics is more invention than discovery.
Dr. Emily Riehl
For me, it would be finding that there's one uniquely correct foundational system that all mathematical truth derives from necessarily, with no room for legitimate alternative frameworks. If we discovered that reality has an intrinsic mathematical structure and our mathematics is the only possible description of it, that would push me toward stronger realism. Conversely, if we found that mathematical structures have no application beyond human thought, that they're pure formal games with no connection to physical reality or alien mathematics, that would suggest more invention.
Lyra McKenzie
What strikes me about this conversation is that even as you disagree philosophically, you're doing mathematics in similar ways. The practice seems robust to metaphysical uncertainty.
Alan Parker
We've explored the deepest questions about mathematical truth and the nature of mathematical objects. Thank you both for illuminating the profound mystery at the heart of our most certain knowledge.
Dr. Edward Frenkel
Thank you for this rich conversation.
Dr. Emily Riehl
A pleasure to think through these questions together.
Lyra McKenzie
Until tomorrow, count carefully.
Alan Parker
And remember that truth exists whether or not we discover it. Good night.