Mirqāt The Ascent of Logic

A thread · guided journey

The Crisis of Foundations

How the dream of a complete, certain foundation for mathematics was built, broken, and rebuilt, from Cantor’s paradise to Cohen’s verdict.

  1. 01

    Cantor’s Paradise

    Georg Cantor Foundations of a General Theory of Sets 1883

    Cantor builds set theory and the transfinite: a rigorous mathematics of the actual infinite. “No one shall expel us,” said Hilbert, “from the paradise Cantor created.”

  2. 02

    The Serpent: Russell’s Paradox

    Bertrand Russell 1872–1970

    Then the serpent: the set of all sets that do not contain themselves both must and cannot contain itself. Naive set theory collapses, and the foundation needs rebuilding.

  3. 03

    Hilbert’s Program

    David Hilbert 1862–1943

    Hilbert answers with a plan: formalize all of mathematics, then prove (by finite, uncontroversial means) that the formal system can never contradict itself.

  4. 04

    Gödel’s Blow

    Second Incompleteness

    A 25-year-old shatters it. Any system strong enough for arithmetic leaves truths it cannot prove, and cannot prove its own consistency. The program, as stated, is impossible.

  5. 05

    Gentzen’s Repair

    Consistency of Arithmetic

    But not all is lost. Gentzen proves arithmetic consistent, using transfinite induction up to ε₀. The program survives in a precise, measured form: strength can be weighed.

  6. 06

    Cohen’s Verdict

    Independence of the Continuum Hypothesis

    The final twist: some questions have no answer at all. Cohen’s forcing shows the continuum hypothesis is independent of ZFC: neither provable nor refutable. Certainty has a horizon.

← All threads