{"podcast":{"title":"Beyond Proof: Stories in Mathematics","slug":"beyond-proof-stories-in-mathematics-7730628","podcast_index_feed_id":7730628,"rss_url":"https://anchor.fm/s/10fa0520c/podcast/rss","website_url":"https://podcasters.spotify.com/pod/show/val99","image_url":"https://d3t3ozftmdmh3i.cloudfront.net/staging/podcast_uploaded_nologo/45471323/45471323-1772314744207-f7c3a3b18f708.jpg","author":"The Turing App","episode_count":14,"summary":"Stories in Math is the podcast I wanted when I was younger and math felt like this sealed-off world I couldn’t get into. Math has always been a very human thing. It’s people arguing, guessing, getting stuck, getting lucky, and sometimes accidentally stepping into an idea so big it changes everything. This show is a collection of those stories, that bring out the journey and stories behind mathematical discoveries Stories in Math is for anyone who’s curious. If you love math, you’ll get the backstory you didn’t get in class. If you’ve always felt shut out by math, this is a way in.","last_synced_at":"2026-06-26T14:18:23.809377+00:00","page_url":"https://stenobird.com/podcast/beyond-proof-stories-in-mathematics-7730628"},"episode":{"title":"Gödel Incompleteness Theorems","slug":"g-del-incompleteness-theorems","published_at":"2026-03-27T01:43:00+00:00","page_url":"https://stenobird.com/podcast/beyond-proof-stories-in-mathematics-7730628/g-del-incompleteness-theorems","show_page_url":"https://stenobird.com/podcast/beyond-proof-stories-in-mathematics-7730628","url":"https://podcasters.spotify.com/pod/show/val99/episodes/Gdel-Incompleteness-Theorems-e3g0rbo","audio_url":"https://anchor.fm/s/10fa0520c/podcast/play/116468536/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2026-2-6%2Fb2f07f0e-c523-aed0-112a-2a56d708cd50.mp3","summary":"In the early 1900s, David Hilbert championed a \"fortress of certainty,\" believing every mathematical truth could be derived from a perfect, finite set of axioms. This era of supreme optimism aimed to eliminate paradoxes—like Russell's Paradox—by reducing all mathematics to airtight, formal logic. The monumental Principia Mathematica even spent hundreds of pages using this rigorous approach just to prove 1 + 1 = 2 This dream was dismantled in 1931 by Kurt Gödel, who used \"Gödel numbering\" to allow arithmetic to talk about itself. His First Incompleteness Theorem proved that in any consistent system rich enough for arithmetic, there are true statements that cannot be proven within that system. His Second Theorem was even more devastating: a system cannot prove its own consistency from the inside. Gödel's work revealed that mathematics is not a finished puzzle, but an infinite horizon of unprovable truths.","meta_description":"In the early 1900s, David Hilbert championed a \"fortress of certainty,\" believing every mathematical truth could be derived from a perfect, finite set of…","key_points":[],"chapters":[],"topics":[],"duration_seconds":1892,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/beyond-proof-stories-in-mathematics-7730628/episodes/g-del-incompleteness-theorems/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/beyond-proof-stories-in-mathematics-7730628/g-del-incompleteness-theorems.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}