{"podcast":{"title":"Living Proof: the Isaac Newton Institute podcast","slug":"living-proof-the-isaac-newton-institute-podcast-5453937","podcast_index_feed_id":5453937,"rss_url":"https://rss.buzzsprout.com/1992011.rss","website_url":"https://www.newton.ac.uk/news/ini-podcast/","image_url":"https://storage.buzzsprout.com/nuoz11g94gznblyi9554sbvlqk37?.jpg","author":"Isaac Newton Institute for Mathematical Sciences","episode_count":91,"summary":"The Isaac Newton Institute is the world's foremost mathematical research centre. Living Proof aims to highlight the diverse people and interconnected topics linked to its many activities. Interviewees range from visiting academics and lecturers to mathematicians, other scientists, musicians, artists, students, and prominent figures within the University of Cambridge and beyond. The podcast typically involves mathematical themes, but is specifically aimed at a general audience. The focus is on the subjects being interviewed and the social stories they have to tell, not just on the significance and details of the research they may be undertaking. We hope there is interest and inspiration here for everyone.- The Isaac Newton Institute for Mathematical Sciences (UK) is an international research centre based in Cambridge, UK. A part of the University of Cambridge, it has been hosting research programmes on mathematical themes since July 1992. Visit > www.newton.ac.uk/news/ini-podcast","last_synced_at":null,"page_url":"https://stenobird.com/podcast/living-proof-the-isaac-newton-institute-podcast-5453937"},"episode":{"title":"#60 Exploring 'Mathlib' and the digitisation of mathematics: an interview with Professor Kevin Buzzard","slug":"60-exploring-mathlib-and-the-digitisation-of-mathematics-an-interview-with-professor-kevin-buzzard","published_at":"2024-09-25T08:00:00+00:00","page_url":"https://stenobird.com/podcast/living-proof-the-isaac-newton-institute-podcast-5453937/60-exploring-mathlib-and-the-digitisation-of-mathematics-an-interview-with-professor-kevin-buzzard","show_page_url":"https://stenobird.com/podcast/living-proof-the-isaac-newton-institute-podcast-5453937","url":"https://www.buzzsprout.com/1992011/episodes/15806373-60-exploring-mathlib-and-the-digitisation-of-mathematics-an-interview-with-professor-kevin-buzzard.mp3","audio_url":"https://www.buzzsprout.com/1992011/episodes/15806373-60-exploring-mathlib-and-the-digitisation-of-mathematics-an-interview-with-professor-kevin-buzzard.mp3","summary":"Send us Fan Mail 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 ...","meta_description":"Send us Fan Mail In the latest episode of Living Proof, Dan Aspel speaks to Professor Kevin Buzzard of Imperial College London. Inspired by a lecture give…","key_points":[],"chapters":[],"topics":[],"duration_seconds":3335,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/living-proof-the-isaac-newton-institute-podcast-5453937/episodes/60-exploring-mathlib-and-the-digitisation-of-mathematics-an-interview-with-professor-kevin-buzzard/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/living-proof-the-isaac-newton-institute-podcast-5453937/60-exploring-mathlib-and-the-digitisation-of-mathematics-an-interview-with-professor-kevin-buzzard.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}