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 looks at how the language and practices that we now associate with Euclid hardened into our dominant idea of proof in the 1570s.
A lecture by Dr Richard Oosterhoff
The transcript and downloadable versions of the lecture are available from the Gresham College website:
https://www.gresham.ac.uk/watch-now/renaissance-proof
Gresham College has offered free public lectures for over 400 years, thanks to the generosity of our supporters. There are currently over 2,500 lectures free to access. We believe that everyone should have the opportunity to learn from some of the greatest minds. To support Gresham's mission, please consider making a donation: https://gresham.ac.uk/support/
Website: https://gresham.ac.uk
Twitter: https://twitter.com/greshamcollege
Facebook: https://facebook.com/greshamcollege
Instagram: https://instagram.com/greshamcollege