#488 – Infinity, Paradoxes that Broke Mathematics, Gödel Incompleteness & the Multiverse – Joel David Hamkins
0:00
0:00
Listen. Then get into it.
Conversation
1 member0 replies
-
Truth and proof separate once a formal system has limits
Joel David Hamkins discusses Godel incompleteness, truth versus proof, and the halting problem. The unsettling point isn't that mathematics becomes arbitrary. It's that sufficiently expressive formal systems can contain statements they can't settle internally, forcing care about which axioms and system a proof assumes.
After Poddy editorial starter Based on the episode chapter notes.
No replies yet. Be the first to reply.
Log in to reply.