Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas cover image

282 | Joel David Hamkins on Puzzles of Reality and Infinity

Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas

CHAPTER

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.
App store bannerPlay store banner