The Invention of Mathematical Proof in the Renaissance

In practice, mathematicians have been 'proving' their results in many ways, in many places, for thousands of years. In principle, however, what is a proof? Usually, we look to geometry, specifically the geometry of Euclid. But what are the fundamental building blocks of a Euclidean proof? Until quite recently, the Renaissance, this question remained open—due to uncertainties about who Euclid was, the structure of his arguments, and even the layout of his pages. This lecture look...