Curt Jaimungal: Demystifying Godel's Theorem
Theories of Everything with Curt Jaimungal
Curt Jaimungal
4.6 • 606 Ratings
🗓️ 5 May 2025
⏱️ 22 minutes
🧾️ Download transcript
Summary
Transcript
Click on a timestamp to play from that location
| 0:00.0 | This episode is brought to you by Shopify. With Shopify, 2026 is the year you make it happen. It gives you the tools to build your dream store, online and in person. Plus with marketing built in, it'll help you reach exactly who you need to. Join the millions who've already made the leap, like Jim Shark and all birds, and ring in the new year with Shopify. |
| 0:23.4 | Sign up for your £1 per month trial at Shopify.com.uk. |
| 0:27.7 | com. |
| 0:29.8 | Many popularizers who use Girdle's incompleteness theorem to make bold claims about fundamental limits of human knowledge have made a category error. |
| 0:38.5 | Gertl, he concluded that at some point in mathematics, you just have to make something up. |
| 0:44.8 | Gertes theorem shows the limitations of almost every theory of reality. |
| 0:50.5 | My favorite is consciousness. |
| 0:53.2 | There is a hole at the bottom of math, a hole that means we will never know everything with certainty. |
| 0:59.7 | Today I'll cover misuses, why are they misuses, and I'll also talk about what Girdles theorem actually says, |
| 1:05.1 | because to state it in its catchy glib form misses the necessary rigor required to know its domain of application. |
| 1:11.5 | The TLDR is that Girdle's incompleteness theorem is about axiomatization, not epistemology. |
| 1:17.2 | Now, there's an asterisk here, which I'll get to later. |
| 1:19.8 | Epistemology is just fancy technical jargon for what and how we can know. |
| 1:25.0 | So, knowledge. |
| 1:27.0 | Knowledge. |
| 1:30.3 | The gist of Girdle is that someone can hand you any concrete, mechanically checkable theory, let's call it F. And Girdle's machinery then spits out |
| 1:37.2 | explicit arithmetic statements, maybe a busy beaver statement, that F, your little machinery |
| 1:43.5 | here, can neither prove nor disprove. |
| 1:46.5 | Those sentences set a hard ceiling for that particular proof verifier, even though you yourself can |
| 1:52.7 | always zoom out, beef up the axioms, and push the line further. See this excellent exposition |
| 1:58.4 | here by Scott Aronson on that. As for these other more pop-sci videos, |
| 2:03.0 | I used to believe these slogans as well. It's difficult not to be seduced by the mysticism around |
... |
Please login to see the full transcript.
Disclaimer: The podcast and artwork embedded on this page are from Curt Jaimungal, and are the property of its owner and not affiliated with or endorsed by Tapesearch.
Generated transcripts are the property of Curt Jaimungal and are distributed freely under the Fair Use doctrine. Transcripts generated by Tapesearch are not guaranteed to be accurate.
Copyright © Tapesearch 2026.