Set Theory's Deepest Mystery
Joel David Hamkins
Is there an infinity between the integers and the real numbers? This question has puzzled mathematics for over a century. Joel David Hamkins guides viewers through Cantor's continuum hypothesis, beginning with surprising results about equinumerosity: the line has as many points as the plane, and continuous functions on the reals can be counted in unexpected ways. He then traces the dramatic twentieth-century discoveries that transformed the problem. Gödel showed the hypothesis is consistent with standard mathematics, and Cohen proved it is independent, meaning it can be neither proved nor disproved from the usual axioms. Hamkins explains why even large cardinals cannot settle the question, then turns to the deeper philosophical divide: should we seek one true universe of sets, or embrace a multiverse where different set theories coexist? Drawing a striking analogy to pluralism in geometry, he argues that the continuum hypothesis reveals something fundamental about the nature of mathematical truth itself.