How Does Gödel's Incompleteness Theorem - Numberphile Work?

Gödel’s Incompleteness Theorem shows that in some math systems, there are true statements you can't prove, like a puzzle that has a hidden piece you don’t know about.

Imagine you have a special notebook where you write down all your favorite math rules. This notebook is like a math system. You use these rules to solve problems and figure out new things. But Gödel found something amazing: no matter how complete your notebook is, there will always be some truths that you can't prove just by following the rules inside it.

Like a Secret Message in Your Math Book

Think of it like having a secret message hidden inside your math book, a statement that says "This sentence is not written in this book." If it's true, then it can’t be in the book. But if you try to add it, now it’s in the book and becomes false! That means there will always be something tricky like this, a true statement that your rules can't catch.

So Gödel showed us that some truths are like invisible ghosts, they're real, but you can’t see them with just your math notebook.

Take the quiz →

Examples

  1. A kid uses a special code to show that math can’t prove everything about itself.
  2. Imagine a math book that can't explain all its own rules.
  3. Like a puzzle that hides a clue inside the box.

Ask a question

See also

Discussion

Recent activity