For millennia, puzzles and paradoxes have forced mathematicians to continually rethink their ideas of what proofs actually are. Jon Walthoe explains the tricks involved and how great thinkers like Pythagoras, Newton and Gödel tackled the problems.
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.