## proof

Will sophisticated algorithms one day replace mathematicians?

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.