The idea of proof is fundamental to mathematics. We could argue that science consists of testable theories, and therefore that it is about what can be disproved, not what can be proved. In law, the test is “beyond reasonable doubt”. Famous conjectures in mathematics have been tested by computers for trillions of numbers – but we still call them conjectures. In this lecture we’ll talk about what mathematicians mean by proof, and I’ll show you some of my favourites. This lecture was recorded by Sarah Hart on 4th June 2024 at Barnard's Inn Hall, London Sarah is Gresham Professor of Geometry. She is also Professor Emerita of Mathematics at Birkbeck, University of London.
Gresham College lectured by Sarah Hart
