
282 | Joel David Hamkins on Puzzles of Reality and Infinity
Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
The Intricacies of Mathematical Axioms and Logic
This chapter explores the complexities surrounding mathematical axioms, models, and the implications of Gödel's incompleteness theorems. It discusses the challenges in establishing unique mathematical structures, including the halting problem, and how these concepts intertwine with arithmetic truths. The conversation also critiques the reliance on set theory and emphasizes the philosophical questions that arise in the quest to define finiteness and provability within formal systems.
00:00
Transcript
Play full episode
Remember Everything You Learn from Podcasts
Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.