Area of Knowledge: Mathematics
Scope: What Is Mathematics?
Mathematics studies abstract structures — numbers, shapes, functions, and the relationships among them — through rigorous logical reasoning. Its subject matter, unlike the natural sciences, does not depend on empirical observation. A theorem is proved, not discovered by experiment; it is true, not because we have checked many cases, but because we have shown it must be true in all cases.
Methods: Conjecture and Proof
The fundamental distinction in mathematical method is between a and a .
A conjecture is a claim that seems to be true based on patterns and examples, but has not yet been established with a proof. Fermat’s Last Theorem was a conjecture for 358 years:
\[\forall\, n \in \mathbb{Z},\ n>2,\ \nexists\, a,b,c \in \mathbb{Z}_{>0} \text{ such that } a^n + b^n = c^n\]
Fermat noted this in the margin of his copy of Diophantus’s Arithmetica in 1637. Andrew Wiles proved it in 1995.
A is a logical argument that demonstrates, beyond doubt, that a statement is true for all cases under its conditions. It must be completely rigorous — a single error can invalidate the entire argument, no matter how much of it seems correct. When Wiles submitted his proof in 1993, a gap was discovered. He spent more than a year fixing it before the proof was accepted.
Key TOK question: Why is it not sufficient to check many cases of Fermat’s theorem? Because there are infinitely many possible values of n, a, b, and c. No finite amount of checking can establish a universal truth. Only a logical proof that covers all cases simultaneously can do this.
Certainty and Creativity
Mathematics is unique among areas of knowledge in offering a form of that other fields cannot match. Once a theorem is proved, it is proved — no further observation can overturn it (assuming the axioms are accepted).
But this raises a counterintuitive point: mathematical certainty is conditional on the axioms. Different choices of axioms produce different geometries (Euclidean and non-Euclidean), different logics. Mathematics does not tell us which axiom system is “true” — it tells us what follows, necessarily, if we accept certain starting points.
There is also surprising creativity in mathematics. Wiles’s proof drew on connections between algebraic geometry, number theory, and modular forms that mathematicians had not previously linked. Insight, imagination, and intuition guide mathematicians toward the right path within the strict rules of logic — just as, in music or poetry, creativity operates within formal constraints.
Wiles described weeping when he found the gap in his proof. Emotion and personal meaning are deeply involved in the creation of mathematical knowledge.
Perspectives: Is Mathematics Universal?
Mathematical truths are universal — a theorem proved in China is true in Argentina. Mathematical reasoning transcends language and culture. This is one of the features that makes mathematics feel special.
But the development of mathematics is culturally shaped. The concept of zero emerged independently in Babylon, India, and Mesoamerica — at different times, in different mathematical traditions. Which contributions are remembered and credited reflects the structures of the academic world. The European mathematical tradition has dominated global mathematical education; other traditions have often been marginalised.
The key distinction: - Mathematical results are universal and culture-independent - Mathematical development is historically and culturally shaped
Ethics: Responsibility in Application
Mathematics itself may be neutral, but its use is not. in mathematics arises not in the mathematics itself but in how it is applied, how results are presented, and how conclusions are interpreted.
Three stakeholders bear different levels of responsibility:
- Pure mathematicians develop ideas and results
- Applied mathematicians and technologists build models and tools
- Users decide how data are presented, what conclusions to draw, and whether results are used fairly
In many situations, the user carries the greatest ethical . A politician who presents a misleading graph, a journalist who misreports a correlation as a cause, or a company that cherry-picks data to support a predetermined conclusion — each is using mathematics in a way that distorts the truth, regardless of whether the underlying mathematics is correct.
Discussion claim: “Mathematics itself is completely neutral, so it cannot raise ethical issues.”
This claim is partially correct: the mathematical truths themselves have no moral content. But it is misleading, because it obscures where the ethical issues actually arise — in application, presentation, and interpretation.