gödel's incompleteness theorem
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.
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.
For millennia, puzzles and paradoxes have forced mathematicians to continually rethink their ideas of what proofs actually are. Jon Walthoe explains the tricks involved and how great thinkers like Pythagoras, Newton and Gödel tackled the problems.
