Send us a text In this episode of Living Proof, we speak with Céline and Frank about their book: Why nobody understands quantum physics - and everyone needs to know something about it. They share insights into their writing journey and how each of their backgrounds contributed to the final project. We met Céline and Frank at the Isaac Newton Institute for Mathematical Sciences in Cambridge, where Frank is co-organising the research programme Quantum field theory with boundaries, impurities, a...
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 In this episode of Living Proof, we speak with Céline and Frank about their book: Why nobody understands quantum physics - and everyone needs to know something about it. They share insights into their writing journey and how each of their backgrounds contributed to the final project. We met Céline and Frank at the Isaac Newton Institute for Mathematical Sciences in Cambridge, where Frank is co-organising the research programme Quantum field theory with boundaries, impurities, a...
#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 In this episode of Living Proof, we speak with Céline and Frank about their book: Why nobody understands quantum physics - and everyone needs to know something about it. They share insights into their writing journey and how each of their backgrounds contributed to the final project. We met Céline and Frank at the Isaac Newton Institute for Mathematical Sciences in Cambridge, where Frank is co-organising the research programme Quantum field theory with boundaries, impurities, a...
