## 39

*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.