What Is Math? Nobody Agrees — And That's a Huge Problem
Audio Brief
Show transcript
In this conversation, author and mathematician David Bessis challenges traditional views of mathematics to explore how the discipline is fundamentally rooted in human cognition and intuition.
There are three key takeaways from this discussion. First, mathematics is best understood as an internal cognitive tool for training human intuition rather than a rigid set of external rules. Second, mathematical practice requires a constant, active back and forth between formal logic and human meaning making. Third, mathematical progress is a deeply human endeavor shaped by shared intuition and error correction rather than a perfect, machine like process.
To understand this cognitive shift, Bessis argues we must look past traditional platonic and formalist definitions. Instead of viewing math as a realm of pre existing abstract objects or a purely logical game of symbols, it should be seen as a mental practice. By imagining concepts and pretending they have absolute properties, practitioners gradually reshape how they perceive and reason about complex problems.
This perspective highlights the critical balance between formal syntax and human semantics. Math cannot be reduced to a meaningless game of symbols because human understanding is what drives the selection, correction, and utility of proofs. We choose which axioms to study because we attach meaning to them, and we can only fix broken proofs because we understand the underlying concepts they are trying to convey.
Ultimately, the best way to define math is to focus on what mathematicians actually do rather than debating complex metaphysics. This human centric approach reveals math as a collaborative process of trial, error, and shared intuition. Embracing this cognitive view changes how we learn and teach math, shifting the focus toward building deep, intuitive understanding alongside logical rigor.
By reframing mathematics as an accessible tool for training the mind, this discussion offers a powerful new perspective on the relationship between abstract reasoning and human cognition.
Episode Overview
- This episode features David Bessis, author and mathematician, discussing the nature of mathematics and how we should define it.
- The conversation challenges traditional views of math as either a platonic world of ideas or a purely logical game of symbols.
- Bessis introduces a cognitive perspective, arguing that math is fundamentally about human intuition and meaning-making.
- This episode is valuable for anyone interested in the philosophy of science, the foundations of mathematics, or the relationship between human cognition and abstract reasoning.
Key Concepts
- The Difficulty of Defining Math: There is no universal consensus on the definition of mathematics, which is surprising given how widely it is taught. Traditional definitions often fall into two camps: the platonic view (math is about existing abstract objects) and the formalist view (math is about logic and proof).
- The Cognitive View of Math: Bessis proposes that math is a cognitive practice—a special technique of imagining things, pretending they exist with absolute properties, and using this process to train and change our intuition.
- The Inseparability of Syntax and Semantics: Math cannot be reduced to a meaningless game of symbols (formalism). There is a constant back-and-forth between formal proof (syntax) and human meaning-making (semantics). We choose which axioms to study because we attach meaning to them, and we can only "fix" broken proofs because we understand the underlying meaning they are trying to convey.
- "Math is What Mathematicians Do": Drawing from geometer Bill Thurston, Bessis suggests that the best way to understand math is to look at the actual human activity of doing math, rather than trying to construct abstract metaphysics.
Quotes
- At 1:56 - "My definition of math... would be that it's a special technique that involves imagining things and pretending they really exist, and pretending they have properties that are absolutely true. And this thing is gradually changing your intuition and making you believe that these things actually exist." - Explaining his cognitive definition of math as an active practice of intuition-building.
- At 4:35 - "The best way to understand mathematics is to deflate the ontology, to stop trying to do crazy metaphysics that we don't really understand, and just focus on what we are really doing. What are we really doing when we do math?" - Emphasizing the importance of looking at math as a human activity rather than an abstract platonic realm.
- At 8:31 - "Mathematics is this back-and-forth between having a meaningless definition that is just a syntactic game... and extrapolating meaning, and meaning is a human phenomenon. This is why you cannot really eliminate the human in the mathematical practice." - Clarifying why pure formalism fails and why human cognition is essential to math.
Takeaways
- Shift your perspective on math from a set of rigid, external rules to an internal cognitive tool for training your intuition.
- When learning or teaching math, focus on the "meaning-making" aspect (the semantics) alongside the logical proofs (the syntax) to build a deeper, more robust understanding.
- Recognize that mathematical progress is a human endeavor that involves errors, corrections, and shared intuition, rather than a perfect, machine-like deduction process.
