Experiment #113 · Thought experiment

Cantor's Diagonal Argument

More real numbers than integers

Georg Cantor · 1891 · Mathematics, philosophy of infinity

First published: G. Cantor, "Über eine elementare Frage der Mannigfaltigkeitslehre", *Jahresbericht der DMV* 1 (1891): 75–78.

No list of real numbers can be complete: construct a new real differing from the n-th listed real in the n-th digit.

Cantor proved that the real numbers cannot be put into one-to-one correspondence with the natural numbers — the reals are *uncountable*. Suppose such a list existed; construct a new real whose n-th decimal digit differs from the n-th digit of the n-th listed real. The new number cannot appear on the list, contradicting the assumed completeness. The argument introduced the distinction between countable and uncountable infinities, launched the theory of transfinite cardinals, and supplies the structural template for Gödel's incompleteness, Turing's halting problem, and Tarski's undefinability of truth. One of the most consequential arguments in modern mathematics.

Formulation

Assume bijection f: ℕ → ℝ. Construct r ∈ ℝ such that r's n-th decimal digit differs from f(n)'s n-th digit. Then r ≠ f(n) for all n, so r is not in the image — contradicting surjectivity.

Compare this experiment

Dimensions Engaged

⧉

Information

Establishes hierarchies of infinity within Information · Granularity: countable vs uncountable cardinalities.

◉

Matter

Bears indirectly on Matter · Extent through cosmological questions about the cardinality of physical structure.

Responses — How Schools Engage

Affirms / takes the bait 5

Platonism (Classical)

A canonical platonic discovery: the uncountability of the reals is a fact about the mathematical universe, independent of our means of representation.

Pythagoreanism

Number governs reality at multiple infinite scales; the transfinite hierarchy is a structural feature of the mathematical cosmos.

Analytic Metaphysics / Logical Atomism

The argument is the structural template for incompleteness, undecidability, undefinability — central to twentieth-century logic.

Structuralism

A model of pure structural mathematics: the proof depends only on the structure of bijection and digit construction, not on any intrinsic properties of numbers.

Logical Positivism

Mathematical content is what is rigorously provable; the diagonal argument establishes a rigorous result within the formal system. Metaphysical embellishments are optional.

Reframes the question 1

Constructivism

Constructivist mathematics restricts to constructible objects, where the diagonal argument has a different status. Some intuitionist analyses block the classical conclusion.