Infinity & countability

INFINITY & COUNTABILITY SIMULATION

A fully booked hotel can still take another guest, provided it has countably many rooms: ask whoever is in room n to move to room n+1. The paradox merely states that ℵ₀ + 1 = ℵ₀, and the same pairing trick shows the even numbers are as numerous as all the naturals, while the fractions can be listed exhaustively along a zig-zag even though infinitely many of them sit between any two numbers. The reals refuse: Cantor’s diagonal argument of 1891 constructs a number differing from every row of any proposed list, so ℝ is an order of infinity above ℵ₀.

▸ Opening Hilbert's Hotel (∞ rooms)…

▸ Building a bijection with ℕ = {1, 2, 3, …}

▸ Enumerating ℚ with the diagonal snake

▸ Building Cantor's diagonal argument for ℝ

▸ Calibrating the cardinality ladder ℵ₀ < 𝔠 < 2^𝔠…

▸ Ready — Online. ✅

Cardinality & set in view

∞ Hilbert's Hotel

countable = blue · not = red

Set—

Cardinality—

Countable?—

Numbered / step—

Tip

Countable = a one-to-one pairing (bijection) with ℕ → fully listable. ℕ, ℤ, ℚ, the evens all share ℵ₀. But . Nhưng ℝ does NOT: Cantor's diagonal argument always builds a number not in the list → the infinity of ℝ (𝔠) is larger than ℵ₀.

—

Switch the Scenario (Hilbert · ℕ · ℚ zig-zag · ℝ diagonal · bijection · infinity ladder) · click a structure/concept to open a card

Your browser has canvas disabled.

Enumeration progress: ℕ/ℚ countable vs ℝ — the diagonal always escapes countable (reaches every element)ℝ diverges (diagonal escapes)