Send us a text Imagine if your doctor had a digital model of your heart, personalised to you and updated with your latest medical information. This isn't science fiction – this revolutionary healthcare is being tested now. In this podcast we speak to Steven Niederer, who leads the CVDNet project developing and testing these ideas, and his colleague Richard Wilkinson, from the University of Nottingham. Richard is one of the organisers of the long research programme, Representing, calibrating &...
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 Imagine if your doctor had a digital model of your heart, personalised to you and updated with your latest medical information. This isn't science fiction – this revolutionary healthcare is being tested now. In this podcast we speak to Steven Niederer, who leads the CVDNet project developing and testing these ideas, and his colleague Richard Wilkinson, from the University of Nottingham. Richard is one of the organisers of the long research programme, Representing, calibrating &...
#60 Exploring 'Mathlib' and the digitisation of mathematics: an interview with Professor Kevin Buzzard
Living Proof: the Isaac Newton Institute podcast
55 minutes
1 year 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 Imagine if your doctor had a digital model of your heart, personalised to you and updated with your latest medical information. This isn't science fiction – this revolutionary healthcare is being tested now. In this podcast we speak to Steven Niederer, who leads the CVDNet project developing and testing these ideas, and his colleague Richard Wilkinson, from the University of Nottingham. Richard is one of the organisers of the long research programme, Representing, calibrating &...
