Back to topics

Can a rulebook for arithmetic leave some questions undecided?

A formal rulebook can tell you exactly what counts as a proof and still leave some arithmetic statements undecided. Gödel’s result applies to systems with particular properties, including consistency and enough arithmetic, rather than showing that mathematics is meaningless.

5–7 min

Questions you could explore

  • What changes when a statement is undecidable within one rulebook rather than impossible to settle under any assumptions?

Start reading

Ready to try your ideas aloud?

Your topic carries over. Record up to 2½ minutes, depending on your plan.

Maths and statistics

When one long wait changes the average

An average wait can sound straightforward until one person waits much longer than everyone else. The mean and median offer two ways to summarize that same group. Their different responses to an unusually large value raise a practical question: what do we want an average to tell us?

5–7 min
Maths and statistics

How is random sampling different from random assignment?

A study can choose people at random, assign them to groups at random, do both, or do neither. Those choices answer different problems: who the findings may describe, and how fairly the study compares conditions.

3–5 min
Can a rulebook for arithmetic leave some questions undecided? | Speech Topic | speaking.app