TOK knowledge questions about mathematics

Infinity and foundations: TOK knowledge questions

No one can count to infinity or check infinitely many cases, yet mathematics makes confident claims about both. These questions follow paradoxes, limits and the long gap between using calculus and proving it works.

Questions on this page

Each question has claims, counterclaims, real-life situations from mathematics and pointers for your essay and exhibition. Check dates and figures in a reliable source before you use them, and cite that source. Link a question to the prescribed title or exhibition prompt you are working on, in your own words: see using maths examples in your essay and choosing exhibition objects. The study headings (scope, perspectives, methods and tools, ethics) are our own.

How can finite minds have knowledge of the infinite?

Knowledge and the knower Knowledge and religion Scope

No one has ever counted infinitely many things, yet mathematicians prove precise facts about infinity, including that some infinities are bigger than others. This question asks how such knowledge is possible and whether it is the same kind of knowledge as knowing that 7 is prime.

Claims

  • Proof lets us reason about infinitely many cases at once, using a finite argument, so knowledge of the infinite is possible without counting.
  • Results about infinity are tested by consistency and by their usefulness, for example in calculus, so they are as reliable as other mathematics.

Counterclaims

  • Some mathematicians, the finitists and intuitionists, have argued that we only know about infinity as a process that never finishes, and that treating infinite sets as completed objects goes beyond what we can know.
  • Our intuitions about size break down with infinity, so knowledge here depends heavily on definitions we accept rather than on understanding.

Real-life situations from mathematics

Cantor's diagonal argument. In 1891 Georg Cantor gave a short argument that the real numbers cannot be listed, even with an infinite list, so there are 'more' of them than whole numbers. Cantor himself linked the idea of an absolute infinite with God.

Hilbert's hotel. David Hilbert's thought experiment of a full hotel with infinitely many rooms that can still take new guests, by moving everyone along one room, is often used to show how infinite sets break everyday rules.

Use this in your TOK work

Essay. Fits titles about the limits of knowledge, imagination or intuition. Keep the maths accurate and simple.

Exhibition. A hotel key card labelled 'Room ∞' could anchor a prompt about the limits of what we can know.

The mathematics behind it

Did the mathematical idea of a limit resolve Zeno's paradoxes, or only give us a way to calculate?

Knowledge and the knower Knowledge and language Methods and tools

Zeno of Elea argued that to cross a room you must first cross half of it, then half of what remains, and so on forever, so motion seems impossible. Calculus says the infinitely many steps add up to a finite distance. This question asks whether that answer explains anything or only computes.

Claims

  • The theory of limits shows that an infinite series can have a finite sum, which removes the contradiction Zeno thought he had found.
  • Mathematics makes the problem precise; once it is precise, the apparent paradox disappears, which is what explaining it means.

Counterclaims

  • The limit definition says what we mean by the sum of an infinite series, but does not obviously tell us how a runner actually completes infinitely many tasks, which was Zeno's worry.
  • Physicists and philosophers still disagree about whether space and time are continuous, so the mathematical answer may not apply to the real world.

Real-life situations from mathematics

0.999… = 1. Many students resist the claim that the recurring decimal 0.999… equals exactly 1, even after seeing a proof. Their discomfort mirrors Zeno's: an endless process seems never to arrive.

Making calculus rigorous. Augustin-Louis Cauchy (1821) and later Karl Weierstrass gave definitions of limits that avoided talk of 'infinitely small' quantities, nearly two centuries after calculus was invented.

Use this in your TOK work

Essay. Good for titles that ask whether an explanation must be intuitive, or about the relationship between mathematics and the physical world.

Exhibition. A bouncing ball and its geometric series of bounce heights make a tangible object for a prompt about explanation or limits.

The mathematics behind it

Can paradoxes be a source of mathematical knowledge rather than a threat to it?

Knowledge and the knower Knowledge and language Methods and tools

A paradox is an argument from acceptable assumptions to an unacceptable conclusion. In mathematics paradoxes have exposed hidden assumptions and forced new foundations. This question asks whether paradoxes damage confidence in mathematics or are one of the ways it grows.

Claims

  • Paradoxes show exactly where an assumption fails, which leads to clearer definitions and stronger theories.
  • Mathematics' willingness to confront paradoxes openly is a sign of its reliability, not its weakness.

Counterclaims

  • A paradox in the foundations shows that mathematics believed to be secure was not, which should make us less confident in today's foundations too.
  • Some 'solutions' to paradoxes simply forbid the troublesome constructions, which avoids the problem rather than understanding it.

Real-life situations from mathematics

Russell's paradox. In 1902 Bertrand Russell wrote to Gottlob Frege, whose foundations of arithmetic were going to press, pointing out that the set of all sets that do not contain themselves leads to a contradiction. Frege's system had to be revised, and axiomatic set theory grew partly in response.

The Banach–Tarski paradox. In 1924 Stefan Banach and Alfred Tarski proved that a solid ball can, in theory, be cut into finitely many pieces and reassembled into two identical balls. It is a theorem, not a contradiction, but it shows how strange the consequences of accepted axioms can be.

Use this in your TOK work

Essay. Fits titles about how knowledge develops through problems or disagreement.

Exhibition. A barber's sign reading 'I shave everyone who does not shave themselves' is a playful object for a prompt about language or contradiction.

The mathematics behind it

Was calculus knowledge before it was made rigorous?

Knowledge and the knower Knowledge and religion Perspectives

Newton and Leibniz used calculus to get correct answers in the 1660s to 1680s, but its foundations were not made rigorous until the nineteenth century. This question asks whether a method that works, but cannot yet be fully justified, counts as knowledge.

Claims

  • Calculus produced consistent, correct and testable results for more than a century, so mathematicians knew those results even without rigorous foundations.
  • Rigour is one standard of justification among several; reliability and agreement with physics were strong justification too.

Counterclaims

  • Without rigour, mathematicians also produced wrong results from the same methods, and could not always tell which were which, so their knowledge was incomplete.
  • The demand for proof is what separates mathematics from other areas; by its own standard, early calculus was well-founded belief rather than knowledge.

Real-life situations from mathematics

Berkeley's criticism. In The Analyst (1734) the philosopher George Berkeley mocked the infinitely small quantities of calculus as quantities that were neither something nor nothing, and argued that mathematicians accepted on faith what they would criticise in religion.

Euler's daring series. Leonhard Euler worked freely with infinite series, sometimes assigning sums to divergent ones. Many of his results were correct and some were later justified rigorously; others needed careful reinterpretation.

Use this in your TOK work

Essay. Fits titles about justification, about how knowledge changes, or whether usefulness is enough.

Exhibition. A school calculus textbook alongside a definition of a limit could support a prompt about how knowledge is justified.

The mathematics behind it

Other areas: Proof · Nature of maths · Models · Statistics · Technology · The knower · Culture · Ethics · all 49 knowledge questions