What is Math? How Do You Learn It?

Mathematics is best understood not as an abstract Platonic realm or a purely formal game, but as a human cognitive practice that builds and consolidates intuition through a 'game of truth,' transforming our brains and allowing for continuous progress.

• Mathematics is a human cognitive practice that shapes our intuition, not an external Platonic reality or a mere formal game.

• Bugs in mathematical proofs are fixable because underlying meaning and human intuition guide the practice.

• Learning mathematics involves transforming complex concepts into 'obvious' truths, a process enhanced by humility and peer interaction.

Mathematics is not easily defined, with traditional Platonic and formalist views falling short when confronted with actual mathematical practice. A more accurate perspective, termed conceptualism, posits that mathematics is a human cognitive activity involving the imagination and the creation of abstractions within our brains. This process, likened to a 'game of truth,' relies on rigorous definitions and deductions to consolidate intuition and produce meaningful insights, highlighting the indispensable role of human understanding and neuroplasticity in its development.

What is Math?

• 00:00:36 Defining mathematics is challenging, with no universal agreement. Traditional definitions, like math being the science of numbers and shapes in a Platonic world, or purely about logic and proofs, are inadequate. Platonic objects are abstract and untestable, while focusing solely on proof ignores the crucial role of dreaming, daydreaming, and intuition in mathematical discovery. Mathematics is better described as a special technique involving imagining things and endowing them with absolute properties, which profoundly changes human intuition and makes these imagined objects seem real.

Math as Human Activity

• 00:04:13 Mathematics is a human brain activity where we perform 'stuff' that profoundly affects our cognition. Bill Thurston's 'On Proof and Progress in Mathematics' defines mathematics as 'what mathematicians do,' suggesting that understanding math requires focusing on the actual practice rather than abstract metaphysics. This practice begins with familiar mathematical objects like numbers and shapes, but its core lies in improving human understanding of these concepts, continuously studying and making sense of them through an ongoing field of activity.

Meaning & Formalism

• 00:08:26 Formal mathematics, when stripped to its axiomatic core, consists of meaningless symbolic games, like 'for all X' statements in Zermelo-Fraenkel set theory that don't refer to anything. However, mathematicians study these systems because humans project meaning onto them, a cognitive phenomenon. The process of doing mathematics involves a constant back-and-forth between formal, meaningless definitions and the human activity of making meaning, emphasizing that the human element and the meaning attached to proofs are indispensable.

The Fixable Bug Argument

• 00:13:18 The fixability of errors in mathematics strongly argues against it being a purely meaningless, formal system. If math were merely a syntactic game, a bug would cause the entire system to collapse without a mechanism for 'fixing' it, as formal statements have no proximity. The ability of mathematicians, like Andrew Wiles, to correct flawed proofs or for long-standing theories like crystalline cohomology to have correctable lemmas, demonstrates that underlying meaning and intuition guide the practice, allowing for repair rather than outright collapse.

Conceptualism Explained

• 00:25:33 Conceptualism, a modern philosophical view on mathematics, positions itself as a middle ground between Platonism (mathematical facts exist independently) and formalism (math is an arbitrary game of rules). It asserts that mathematical abstractions are not external realities nor mere conventions, but rather products of human cognition. These concepts are byproducts of how our brains structure understanding and exist within our minds, a perspective supported by observations in artificial neural networks where layers of neurons generate higher-level features and concepts.

The Axiomatic System

• 00:31:17 The 'correctness' of an axiomatic system in mathematics is judged by its consistency and expressivity, rather than matching external data as in physics. Historically, axiomatic systems, such as Euclid's geometry or Zermelo-Fraenkel set theory, have evolved through fixing inconsistencies or extending capabilities to express desired concepts. When a system produces unintuitive results, like the Banach-Tarski paradox from the axiom of choice, mathematicians can either abandon the axiom or integrate the new, counter-intuitive result into a refined intuition, continually expanding the mathematical reality with new, consistent theories.

The Power of Intuition

• 01:13:13 Learning mathematics is a process of rewiring intuition, transforming complex concepts into something obvious and transparent. The speaker's personal experience with group cohomology, where 10 years of not understanding transformed into triviality by increasing abstraction, highlights this. Just as Descartes' coordinates made plane geometry and algebra obviously connected, making abstract mathematical concepts feel obvious is the goal. This cognitive transformation, not genetic mutation, explains how advanced mathematical ideas become universally understood over time.

Learning & Progress

• 01:58:28 Mathematical progress is a capitalization process where intuitions are built upon intuitions, leading to orders-of-magnitude differences in ability over sustained practice. While one cannot become a Ramanujan through sheer effort, significant personal progress is attainable. Effective learning involves finding peers for collaborative 'blackboard' discussions, where humility and asking 'stupid questions' are crucial. Great mathematical teaching is personalized, meeting the student at their current understanding and guiding them through a series of small, achievable steps, fostering a dynamic where the teacher adapts to the student's needs, turning a seemingly magical journey into a tangible learning process.