Some infinities are bigger than others - simple proof | Joel David Hamkins and Lex Fridman

Quick Overview

The discussion confirms Cantor's diagonal argument proves that the set of real numbers is uncountably infinite, meaning it is strictly larger than the set of natural numbers, using a proof method that constructs a real number guaranteed not to be on any assumed enumeration list by differing in at least one decimal digit.

Key Points: Cantor's diagonal argument proves that the set of real numbers (R) is uncountably infinite, which is strictly larger than the set of natural numbers (N). The proof relies on assuming an enumeration (a list) of all real numbers exists, $r1, r2, r3, \dots$, and then constructing a new real number, $z$, that cannot be on that list. The constructed number $z$ is made by ensuring its $n$-th decimal digit after the decimal point differs from the $n$-th digit of $rn$ (e.g., if the digit is 4, $z

s digit becomes 5, and if it is 9, $z s digit becomes 0). This construction guarantees $z$ is different from every number on the list, leading to a contradiction, thus disproving the initial assumption that all real numbers could be listed. The discussion notes that while some real numbers like $\sqrt{2}$ are irrational but algebraic, transcendental numbers like $\pi$ and $e$ are not algebraic. The guest mentions that most real numbers are transcendental, and also points out the existence of multiple sizes of infinity, contrasting the countable infinity of rationals/integers with the uncountable infinity of reals. The guest humorously notes that while the proof is elegant, the concept of the uncountability of reals is not controversial in modern mathematics, unlike some other complex topics.

Context: This segment features Lex Fridman interviewing a guest, likely a mathematician (implied to be Joel David Hamkins from the title context, though not explicitly named in the provided clip), discussing the mathematical proof of the uncountability of the real numbers using Cantor's diagonal argument. The conversation delves into the comparison between countable sets (like natural numbers) and uncountable sets (like real numbers) and the nature of transcendental numbers.