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
On the 25th of May 1997 a dramatic collision tore a hole into the space station Mir and sent it hurtling through space. As NASA astronaut Michael Foale tells Plus, the fate of Mir and its crew hinged on a classical set of equations.