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?
  • What conditions must a formal arithmetic system meet before an incompleteness result applies?

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

When one long wait changes the average

Maths and statistics5–7 minAn 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?

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

How is random sampling different from random assignment?

Maths and statistics3–5 minA 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.

Maths and statistics

The leap years the Gregorian calendar skips

Most people learn that a leap year happens every four years, yet the year 1900 had no February 29 while the year 2000 did. Because Earth's orbit takes slightly less than 365.25 days, the Gregorian calendar skips three leap years every four centuries to keep the calendar aligned with the seasons.

2–3 min

The leap years the Gregorian calendar skips

Maths and statistics2–3 minMost people learn that a leap year happens every four years, yet the year 1900 had no February 29 while the year 2000 did. Because Earth's orbit takes slightly less than 365.25 days, the Gregorian calendar skips three leap years every four centuries to keep the calendar aligned with the seasons.

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