## proof

If you can prove that a statement can't possibly be false, does this mean it's true?

What are mathematical proofs, why do we need them and what can they say about sheep?

**Gregory Chaitin**explains why he thinks that Gödel's incompleteness theorem is only the tip of the iceberg, and why mathematics is far too complex ever to be described by a single theory.

**David Acheson**? The truth, he says, is that most of them have never been anywhere near it, and that mathematicians could do more to change this perception - perhaps by emphasising the element of surprise that so often accompanies mathematics at its best.