Certainty in Mathematics, Lesson 1
Lesson 1: Opening Debate
Focus: Do mathematical structures reveal truth or just create illusions of certainty?
Suggested Length: 1 hour
Learning Objectives:
- Explore how proofs and models function as structures of certainty in mathematics.
- Debate whether mathematics provides truth or only useful approximations/assumptions.
- Apply TOK concepts of certainty, truth, and perspective to mathematics.
| Critical Thinking Concepts | TOK Concepts | Reflection Questions |
|---|---|---|
| Confronting Biases & Assumptions: Examine the belief that mathematics is always universally valid, and consider what perspectives are excluded when alternative axiom systems or cultural approaches to knowledge are dismissed. Exploring Contexts: Investigate how funding, institutional authority, or political agendas shape which models are trusted, which proofs gain recognition, and how mathematical authority is used in decision-making. Responsiveness and Flexibility of Thought: Weigh how different approaches shape what we consider valid or reliable mathematical knowledge. | Certainty: What duties do mathematicians and model-builders have in presenting their work as certain or reliable? Power: How do power dynamics influence which proofs are recognized and which models are trusted or implemented? Perspective: How do cultural, historical, and societal contexts shape what is considered “true” in mathematics? | Can flawed or misleading mathematical structures (proofs or models) ever be justified by their usefulness? Who should bear responsibility for ensuring mathematical models and proofs are applied responsibly? How does perspective change what is seen as mathematically “true”? How do power structures influence which mathematical questions are pursued, funded, or trusted? |
Resources and Preparation
- Slides, attached below.
- Log into Kialo and clone the linked discussion in the main activity to make a copy for your students.
- Use your preferred sharing method to share the cloned discussion with your students
Introduction
Present the guiding question: “Do mathematical structures reveal truth, or just create illusions of certainty?”
Introduce the following concepts in the context of mathematics:
- Certainty: Are mathematical truths absolute or conditional on axioms and assumptions?
- Truth: Do models and proofs describe reality or only provide persuasive structures?
- Perspective: How do mathematicians, scientists, and the public differently interpret the authority of mathematics?
Show a short slideshow of landmarks in logic, proof, and prediction:
- Gödel’s Incompleteness Theorems (1931): Some truths cannot be proven within a system.
- Four Color Theorem (1976): First major computer-assisted proof — raised questions of trust and verification.
- Banach–Tarski Paradox: Mathematically valid but physically impossible — challenges realism.
- 2008 Financial Crisis: Reliance on risk models (Gaussian copulas) contributed to collapse.
- COVID-19 Epidemiological Models: Predictions guided global policy but often contradicted one another.
- Climate Change Models: Essential for policy, but attacked as uncertain or biased depending on perspective.
Ask students to consider:
- Which of these examples do you find most convincing, and why?
- Can something be mathematically valid but still misleading?
- Does mathematical certainty depend on proofs, models, or social trust?
Main Activity
Use the Kialo discussion: “Does mathematics reveal objective truth about reality?”
Students will respond to the thesis “Mathematics reveals objective truth about reality with starter claims."
Give students time to examine the starter claims, based on the points below.
PRO: Mathematical proofs provide certainty and universality.
- Support: A proven theorem (e.g., Pythagoras) is true in all possible contexts and cultures (2 + 2 = 4 everywhere).
- Counterclaim: Proofs only hold within chosen axioms (e.g., Euclidean vs. non-Euclidean geometry).
- Reasoning Question: Can a proof be called “truth” if it depends on assumptions?
PRO: Mathematical models reveal truth through prediction.
- Support: Climate models and epidemiology guide policy and save lives.
- Counterclaim: Models simplify reality; overreliance caused failures like the 2008 financial crash.
- Reasoning Question: Is usefulness the same as truth?
CON: Mathematical proofs only hold within chosen axioms.
- Support: Mathematical results depend on the assumptions of their systems.
- Counterclaim: Within those systems, proofs still provide certainty and internal truth.
- Reasoning Question: Are truths that depend on frameworks truly “objective”?
CON: The authority of numbers can mislead.
- Support: Metrics like GDP or algorithmic scores can distort complex human realities.
- Counterclaim:Logical grounding makes numbers more consistent than opinion.
- Reasoning Question: When does mathematical authority clarify, and when does it obscure?
Debate
Students present arguments and counterarguments, citing real-world cases, such as: Gödel, Four Color Theorem, Banach–Tarski, 2008 financial crisis, COVID models, climate change.
Encourage discussion by asking:
- Does a proof guarantee truth, or just truth within a system?
- Should we trust computer-assisted proofs the same way we trust traditional proofs?
- Is predictive success enough to justify calling a model “true”?
- Who should decide when a mathematical model is reliable — mathematicians, scientists, or society?
- How do the TOK concepts of certainty, truth, and perspective help us evaluate these dilemmas?
Reflection Activity
Discuss the following reflection questions in open discussion or exit ticket format:
- Did mathematics in these cases strengthen or weaken the reliability of knowledge?
- Can flawed or misleading mathematical structures (proofs or models) ever be justified by their usefulness?
- Who should bear responsibility for ensuring mathematical models and proofs are applied responsibly — mathematicians, scientists, or policymakers?
- How does perspective (pure vs. applied math, scientific vs. societal, cultural vs. universal) change what is seen as mathematically “true”?
- How do power structures (governments, corporations, academic institutions) influence which mathematical questions are pursued, funded, or trusted?
