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.

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.

100 years after the birth of Paul Dirac, mathematicians and physicists gather to celebrate his beautiful work.

Bill Casselman writes about the intriguing amateur mathematician Henry Perigal, who took his elegant proof of Pythagoras' Theorem literally to his grave - by having it carved on his tombstone.

More than a century after the death of its inventor, the world's first computer printer has finally been constructed at the Science Museum in London.

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.