When Kurt Gödel published his incompleteness theorem in 1931, the mathematical community was stunned: using maths he had proved that there are limits to what maths can prove. This put an end to the hope that all of maths could one day be unified in one elegant theory and had very real implications for computer science. John W Dawson describes Gödel's brilliant work and troubled life.

Kurt Gödel, who would have celebrated his 100th birthday next year, showed in 1931 that the power of maths to explain the world is limited: his famous incompleteness theorem proves mathematically that maths cannot prove everything. 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.

Suppose you walk past a barber's shop one day, and see a sign that says "Do you shave yourself? If not, come in and I'll shave you! I shave anyone who does not shave himself, and noone else." This seems fair enough, and fairly simple, until, a little later, the following question occurs to you - does the barber shave himself?

Robert Hunt concludes our Origins of Proof series by asking what a proof really is, and how we know that we've actually found one. One for the philosophers to ponder...