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

00:00

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.

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app