Infinity, Paradoxes, Gödel Incompleteness & the Mathematical Multiverse | Lex Fridman Podcast #488
Joel David Hamkins and Lex Fridman discuss infinity, formal proof, incompleteness and the continuum hypothesis. Hamkins uses simple comparisons to explain infinite sets and describes his philosophical mathematical-multiverse view. These notes distinguish mathematical arguments from positions about what mathematical existence means.
Executive Summary (TL;DR)
Hamkins explains infinite size through one-to-one correspondences and Cantor’s argument that a power set is larger than its original set. He discusses proofs as formal objects, a route from the halting problem to incompleteness and the continuum hypothesis. His mathematical-multiverse view is a philosophical position about set-theoretic universes, not a claim about physical parallel worlds.
Key Takeaways
Squares can be paired with natural numbers
Hamkins describes Galileo’s puzzle: the squares are only part of the natural numbers, yet each natural number can be paired with its square. This illustrates why an infinite collection can have the same cardinality as a proper subset. The claim concerns a precise mathematical notion of size, not length, density or a physical count of objects.