Beyond Infinity: An Expedition to the Outer Limits of Mathematics

Author: Eugenia Cheng | Published: 2017

Summary

Beyond Infinity is Eugenia Cheng’s exploration of mathematical infinity—not as a single concept but as a vast and counterintuitive territory that has been explored by mathematicians from ancient Greece through Georg Cantor’s revolution in the 19th century to contemporary set theory and foundations. Cheng, a mathematician and mathematician-outreach specialist, starts from the intuitive puzzles that infinity presents (Hilbert’s Hotel, Zeno’s paradoxes) and progressively develops the mathematical tools needed to think about infinity rigorously: the notion of a set, of bijection (one-to-one correspondence), of cardinality, of Cantor’s diagonal argument, and of the infinite hierarchy of infinities that Cantor discovered—the insight that some infinities are strictly larger than others.

The book’s centerpiece is Cantor’s diagonal argument—the proof that the real numbers are “more infinite” than the natural numbers, that no one-to-one correspondence between them is possible, and therefore that there exist at least two different sizes of infinity. Cheng explains this argument with unusual clarity and then explores its implications: the Continuum Hypothesis (the question of whether there are infinities between the natural numbers and the real numbers), the independence of the Continuum Hypothesis from the standard axioms of set theory (Gödel and Cohen’s results), and the implications for the foundations of mathematics. The final chapters venture into more speculative territory: ordinal arithmetic, cardinal arithmetic, and the question of what “the largest possible infinity” would look like.

Cheng is one of the best mathematics communicators currently writing; her books (How to Bake Pi, x + y: A Mathematician’s Manifesto for Rethinking Gender) demonstrate a distinctive pedagogy that uses everyday analogy and carefully built intuition to make abstract mathematics genuinely accessible. Beyond Infinity succeeds at making Cantor’s diagonal argument—one of the most important and surprising results in mathematics—not just comprehensible but thrilling.

Critical Takeaways

  • Cantor’s diagonal argument: The proof that the real numbers cannot be put in one-to-one correspondence with the natural numbers is one of the most beautiful proofs in mathematics; Cheng’s explanation is among the most accessible in popular mathematics writing.
  • The hierarchy of infinities: Cantor’s discovery that there are infinitely many different sizes of infinity—an infinite hierarchy of infinities—is philosophically startling and mathematically precise; the book builds to this result carefully.
  • Continuum Hypothesis: The section on Gödel’s and Cohen’s proof that the Continuum Hypothesis is independent of ZFC set theory—that it is neither provable nor disprovable from the standard axioms—connects to Gödel’s incompleteness theorems and the foundations of mathematics.
  • Pedagogy: Cheng’s use of everyday analogy (sharing cookies, hotel rooms, etc.) is occasionally strained but generally effective; the book succeeds in making graduate-level mathematics accessible to careful general readers.
  • Category theory background: Cheng is a category theorist, and her presentation of mathematical structures—her emphasis on relationships between objects rather than internal structure—reflects this background in ways that are clarifying for readers who will encounter category theory later.

My Takeaways

  1. The diagonal argument—Cantor’s proof that the real numbers are uncountable—is one of those mathematical arguments that feels impossible until it suddenly feels inevitable. Cheng manages the transition between those two states well.
  2. The counterintuitive fact that all infinite sets of whole numbers (naturals, integers, even numbers, prime numbers) have the same “size” (cardinality) because you can put them in one-to-one correspondence—this took genuine mental work to accept and is genuinely strange.
  3. The hierarchy of infinities—each set’s power set is strictly larger than the set—suggests that the mathematical universe extends upward without limit, and that Cantor’s discovery of multiple infinities was itself not the end of the story.
  4. Reading Beyond Infinity alongside Gödel’s Proof revealed the deep connections between infinity and incompleteness: both are about the limits of formal mathematical reasoning, and Cantor’s diagonal argument is a prototype for Gödel’s self-referential construction.

Footnotes