Every Infinity Creates a Larger Infinity

Infinity usually means something that never ends. But Georg Cantor showed that infinity is not one size. This episode explains how Cantor made infinity measurable, why some infinite sets can be listed, why the real numbers between 0 and 1 cannot be listed, and how the power set theorem creates an endless ladder of larger infinities. We begin with Galileo's paradox of the square numbers, then move through countable infinity, fractions, Cantor's diagonal argument, uncountable infinity, power sets, and the continuum hypothesis. The goal is not just to say that some infinities are bigger than others. The goal is to show the proof path carefully: how a list can capture some infinities, why it fails for the continuum, and why every set gives rise to a larger power set. Topics covered: Cantor's infinity, countable infinity, uncountable infinity, set theory, real numbers, diagonal argument, power sets, aleph null, continuum hypothesis, and Hilbert's first problem. #Cantor #Infinity #SetTheory #PowerSet #DiagonalArgument This Video was made entirely using Manim - https://github.com/3b1b/manim Made possible by 3Blue1Brown -    / @3blue1brown   and all the Manim Community members. Music by Vincent Rubinetti Download the music on Bandcamp: https://vincerubinetti.bandcamp.com Stream the music on Spotify: https://open.spotify.com/artist/2SRhE... Chapters -- 0:00 Larger infinities 1:38 Galileo's Paradox 3:24 Countable infinity 4:40 Fractions and rationals 5:55 Cantor's Diagonal Argument 8:43 Uncountable infinity 10:05 Power sets 13:49 Cantor's Ladder 15:25 Continuum Hypothesis 16:43 Hilbert's First Problem SOURCES Cantor, G. (1874). Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen. Journal fuer die reine und angewandte Mathematik, 77, 258-262. https://eudml.org/doc/148238 Cantor, G. (1891). Ueber eine elementare Frage der Mannigfaltigkeitslehre. Jahresbericht der Deutschen Mathematiker-Vereinigung, 1, 75-78. Stanford Encyclopedia of Philosophy - Set Theory: Basic Set Theory. https://plato.stanford.edu/entries/se... Stanford Encyclopedia of Philosophy - The Continuum Hypothesis. https://plato.stanford.edu/entries/co... Richard Hammack - Book of Proof, Third Edition. https://richardhammack.github.io/Book... MacTutor History of Mathematics - Real numbers 3. https://mathshistory.st-andrews.ac.uk... Oxford College of Emory University - Cantor's Diagonal Argument. https://mathcenter.oxford.emory.edu/s... PlanetMath - Cantor's diagonal argument. https://planetmath.org/CantorsDiagona... ProofWiki - Galileo's Paradox. https://proofwiki.org/wiki/Galileo%27... Springer / Mediterranean Journal of Mathematics - Some Paradoxes of Infinity Revisited. https://link.springer.com/article/10.... Cohen, P.J. (1963). The independence of the continuum hypothesis. Proceedings of the National Academy of Sciences, 50(6), 1143-1148. https://doi.org/10.1073/pnas.50.6.1143 Godel, K. (1940). The Consistency of the Continuum Hypothesis. Princeton University Press. IMAGE CREDITS Georg Cantor: Unknown author, Georg Cantor, circa 1900, public domain / Public Domain Mark 1.0, via Wikimedia Commons: https://commons.wikimedia.org/wiki/Fi... Galileo Galilei: Domenico Tintoretto, Portrait of Galileo Galilei, circa 1602-1607, National Maritime Museum / Royal Museums Greenwich, public domain / Public Domain Mark 1.0, via Wikimedia Commons: https://commons.wikimedia.org/wiki/Fi... Kurt Godel: Unknown author, Kurt Friedrich Godel, circa 1926, public domain in the United States / PD-anon-70-EU noted on Commons, via Wikimedia Commons: https://commons.wikimedia.org/wiki/Fi... David Hilbert: Unknown author, David Hilbert, before 1912, public domain in the United States / EU public-domain status noted on Commons, via Wikimedia Commons: https://commons.wikimedia.org/wiki/Fi...