Send us a text Welcome to the latest episode of Living Proof, our podcast produced in collaboration with Plus.maths.org In this episode we spoke to Sarah Hart, a mathematician interested in not just the maths itself, but also its connections to other areas of literature and art. She's done an amazing number of things throughout her career — from research in pure mathematics and heading up a maths department, to being the first woman Gresham Professor of Geometry and President of the British S...
All content for Living Proof: the Isaac Newton Institute podcast is the property of Isaac Newton Institute for Mathematical Sciences and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
Send us a text Welcome to the latest episode of Living Proof, our podcast produced in collaboration with Plus.maths.org In this episode we spoke to Sarah Hart, a mathematician interested in not just the maths itself, but also its connections to other areas of literature and art. She's done an amazing number of things throughout her career — from research in pure mathematics and heading up a maths department, to being the first woman Gresham Professor of Geometry and President of the British S...
#60 Exploring 'Mathlib' and the digitisation of mathematics: an interview with Professor Kevin Buzzard
Living Proof: the Isaac Newton Institute podcast
55 minutes
11 months ago
#60 Exploring 'Mathlib' and the digitisation of mathematics: an interview with Professor Kevin Buzzard
In the latest episode of Living Proof, Dan Aspel speaks to Professor Kevin Buzzard of Imperial College London. Inspired by a lecture given by Thomas Hales at INI’s Big Proof (https://www.newton.ac.uk/event/bpr/) programme in 2017, Kevin has spent the past seven years working alongside fellow enthusiasts on the “Maths Library” project. In this conversation he explains the project in detail, touching on why the programming language of Lean was chosen, and how it interacts with his recent five-y...
Living Proof: the Isaac Newton Institute podcast
Send us a text Welcome to the latest episode of Living Proof, our podcast produced in collaboration with Plus.maths.org In this episode we spoke to Sarah Hart, a mathematician interested in not just the maths itself, but also its connections to other areas of literature and art. She's done an amazing number of things throughout her career — from research in pure mathematics and heading up a maths department, to being the first woman Gresham Professor of Geometry and President of the British S...
