Recording intelligenceAI-generated brief · check the source for context

Lex AI Joel David Hamkins

4:05:46 recording · EN · 2 speakers

Listen to the original

Listen to the episode

Brief overview

Cantor proved some infinities exceed others, and set theory, Hilbert's Hotel and Gödel's limits follow from that break.

  1. Adding an element need not make a set largerHilbert's Hotel is full, yet moving every guest up one room frees room zero for a new arrival, violating Euclid's principle.
  2. Countable infinity absorbs infinitely many infinitiesUnion of countably many countable sets is still countable — the infinite train fits by 3 to the C times 5 to the S, or by zigzagging the integer lattice.
  3. The same one-line trick runs through four argumentsDiagonalisation powers Cantor's power set theorem, the committee and fruit salad versions, and Russell's proof that there is no set of all sets.
Executive Summary AI
  • Lex opens by laying out how Cantor's discovery that some infinities are bigger than others broke mathematics: a theological crisis, Kronecker calling Cantor a corrupter of youth and blocking his career, Russell's paradox threatening inconsistency, and Cantor's own breakdown in and out of sanatoriums while obsessed with the continuum hypothesis.15:42
  • Hamkins starts the story far earlier than Cantor — Aristotle's potential infinity, Archimedes' method of exhaustion, and Galileo's paradox that the perfect squares match one-to-one with all the natural numbers — which sets the Cantor-Hume principle (equinumerous means a one-to-one correspondence) against Euclid's principle that the whole is greater than the part.17:01
  • Hilbert's Hotel, full with one guest per natural number, still absorbs one new guest by moving everyone up a room, an infinite bus by doubling room numbers to free the odd rooms, and Hilbert's train of infinitely many cars with infinitely many seats by sending car C seat S to room 3 to the C times 5 to the S, which is always odd and always unique by prime factorization.23:01
  • Cantor's diagonal argument then assumes the reals are listed as r sub n and builds a number z whose nth digit differs from the nth digit of the nth number, avoiding the digits 0 and 9 so the double decimal representation of numbers like 1.000 and 0.999 causes no trouble, and z cannot be on the list — a method Hamkins says underlies almost every major result in mathematical logic.41:14
  • Gödel's two incompleteness theorems then defeat both goals of Hilbert's program decisively: no computably axiomatizable theory containing enough arithmetic answers all questions, and no such theory proves its own consistency — which Hamkins calls not traumatic but eye-opening about the nature of mathematical reality.1:29:39
Key Quote
“It's a property of infinity that sometimes when you add an element to a set, it doesn't get larger.”
— Joel David Hamkins25:22
Key Quote
“For any collection of people, you can form more committees from them than there are people.”
— Joel David Hamkins1:06:14
Key Quote
“I mean, it's like the used car salesman telling you, oh, I'm trustworthy.”
— Joel David Hamkins1:30:55