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
In 1694, a famous discussion between two of the leading scientists of the day - Isaac Newton and David Gregory - took place on the campus of Cambridge University. The discussion concerned the kissing problem, but it was to be another 260 years before the problem was finally solved.
Johannes Kepler (1571-1630) is now chiefly remembered as a mathematical astronomer who discovered three laws that describe the motion of the planets. J.V. Field continues our series on the origins of proof with an examination of Kepler's astronomy.
Daniel Bernoulli (1700-1782) discovered the relationship between the density of a fluid in a pipe, the speed it is travelling in the pipe and the pressure exerted by the fluid against the walls of the pipe. This is the story of what happened.