Curt Jaimungal: What Is Infinity, Actually?

This episode of 'Theories of Everything' explores the profound and controversial concept of infinity, tracing its evolution from Aristotle's view of infinity as a potential process to Georg Cantor's revolutionary assertion that infinity can be an actual, completed mathematical object. The host unpacks Cantor's groundbreaking work, including his proof that there are different sizes of infinity—such as the countable infinity of natural numbers (aleph-null) and the uncountable infinity of real numbers (2^aleph-null)—and introduces the continuum hypothesis, which asks whether there exists an infinity between these two. The episode delves into the philosophical and mathematical tensions surrounding infinity, highlighting the fierce opposition Cantor faced from contemporaries like Kronecker and Poincaré, and the ongoing debate between actualists and finitists who reject the existence of completed infinities. It also touches on the independence of the continuum hypothesis from ZFC axioms, Gödel's incompleteness, and the practical, finite methods used to reason about infinite structures. The discussion concludes with reflections on how infinity, though abstract, enables concrete mathematical progress and forces deep questions about the nature of mathematical existence.