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.