The limits of proof

What makes this fascinating

• Gödel's bombshell — In any rich enough system of mathematics, there are true statements that can never be proven within it.

• Truth outruns proof — Mathematics contains facts that are real, yet formally undecidable.

• Even consistency is unprovable — A system can't prove its own freedom from contradiction — Gödel's second theorem.

Frequently asked questions

What are the limits of proof?

Kurt Gödel's incompleteness theorems showed that in any sufficiently powerful, consistent mathematical system there are true statements that can never be proven within it.

What did Gödel actually prove?

That such a system cannot prove all the truths expressible in it, and cannot prove its own consistency — placing hard limits on what formal proof can achieve.

Does this mean some things are unknowable?

It means no single formal system can capture all mathematical truth. What that implies for human knowledge and certainty is still debated by mathematicians and philosophers.

More summits in Foundations & Philosophy

• Do we have free will?

  Are your choices truly yours, or the inevitable output of physics and neurons firing?

• Why is there something rather than nothing?

  The deepest question of all — why does a universe exist at all, instead of nothing?

• Are we living in a simulation?

  Could reality be something computed — and could we ever tell from the inside?