# The solution to the unsolvable math problem | Joel David Hamkins and Lex Fridman Source: https://www.youtube.com/watch?v=URtYhkfPVM8 Recap page: https://rapidrecap.app/video/URtYhkfPVM8 Generated: 2026-01-06T01:32:48.1+00:00 --- ## Quick Overview The Continuum Hypothesis (CH) is proven to be independent of the standard axioms of set theory (ZFC) by showing that if ZFC is consistent, then ZFC plus CH is also consistent (Gödel, 1938), and independently, that ZFC plus the negation of CH is also consistent (Cohen, 1963), meaning CH can neither be proven nor disproven from ZFC alone. **Key Points:** - The Continuum Hypothesis (CH), which posits that there is no set with cardinality strictly between that of the natural numbers ($\aleph_0$) and the real numbers ($2^{\aleph_0} = \aleph_1$), is independent of ZFC (Zermelo–Fraenkel set theory with the Axiom of Choice). - Kurt Gödel proved in 1938 that if ZFC is consistent, then ZFC + CH is also consistent, demonstrating that CH cannot be refuted from standard set theory axioms. - Paul Cohen proved in 1963 using the method of Forcing that if ZFC is consistent, then ZFC + not CH is also consistent, demonstrating that CH cannot be proven from standard axioms. - The hierarchy of infinities includes the smallest infinity ($\aleph_0$, natural numbers) and a larger infinity ($2^{\aleph_0}$, real numbers/continuum). - Gödel constructed the 'constructible universe' ($L$), an alternative set-theoretic world where the Axiom of Choice (AC) and CH are true, showing the consistency of ZFC + AC + CH. - Cohen's method of Forcing involves constructing an alternative model of set theory where the negation of CH is true, providing a powerful tool to prove independence results. ![Screenshot at 00:04: A slide detailing the Continuum Hypothesis \(CH\), outlining the hierarchy of infinities, the question of an intermediate infinity, Cantor's hypothesis \($2^{\\aleph\_0} = \\aleph\_1$\), and the result that CH is independent of ZFC proven by Gödel & Cohen.](https://ss.rapidrecap.app/screens/URtYhkfPVM8/00-00-04.jpg) **Context:** This discussion focuses on fundamental problems in mathematical logic and set theory, specifically the Continuum Hypothesis (CH), which concerns the existence and size of infinities between countable infinity ($\aleph_0$) and the cardinality of the continuum ($c$). The conversation explores the monumental 20th-century proofs by Kurt Gödel (1938) and Paul Cohen (1963) that established the independence of CH from the standard axioms of Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC). ## Detailed Analysis The video features a discussion between Lex Fridman and Joel David Hamkins about the profound implications of the Continuum Hypothesis (CH) being undecidable within ZFC set theory. The core takeaway is that CH can neither be proven true nor false using the standard axioms of set theory. Kurt Gödel established the consistency of CH within ZFC + AC + CH in 1938 by constructing the 'constructible universe' ($L$), an inner model where CH holds true. Later, in 1963, Paul Cohen introduced the method of Forcing, which allowed him to construct models where CH is false (i.e., ZFC + not CH is consistent). Hamkins describes this result as 'incredibly beautiful' because it demonstrates that the question of whether there exists an infinity strictly between the natural numbers and the reals is independent of our current foundational system. The discussion highlights that while Gödel showed one potential mathematical reality where CH is true, Cohen provided the tool to explore another reality where it is false, confirming that the standard axioms are insufficient to resolve the size of the continuum. ### The Continuum Hypothesis (CH) - Hierarchy defines different sizes of infinity ($\aleph_0$ for naturals, $2^{\aleph_0}$ for reals) - Question: Is there an infinity strictly between these two? - Hypothesis: Cantor proposed $2^{\aleph_0} = \aleph_1$ - Result: CH is independent of ZFC (Gödel & Cohen) ### Gödel's 1938 Result - If ZF (Set theory without Choice) is consistent, then ZF + AC + CH is also consistent - How: Gödel constructed the constructible universe ($L$), an alternative set-theoretic world where AC and CH are true - Meaning: CH cannot be refuted from the axioms of set theory ### Cohen's 1963 Forcing Method - Forcing is a technique introduced by Paul Cohen to prove independence results - Cohen proved that if ZFC is consistent, then ZFC + not CH is also consistent - This confirms that CH cannot be decided from ZFC, as both its truth and falsehood are compatible with the axioms. ![Screenshot at 00:04: A slide detailing the Continuum Hypothesis \(CH\), outlining the hierarchy of infinities, the question of an intermediate infinity, Cantor's hypothesis \($2^{\\aleph\_0} = \\aleph\_1$\), and the result that CH is independent of ZFC proven by Gödel & Cohen.](https://ss.rapidrecap.app/screens/URtYhkfPVM8/00-00-04.jpg) ![Screenshot at 00:14: Lex Fridman \(left\) setting up the historical context for the discussion on the Continuum Hypothesis.](https://ss.rapidrecap.app/screens/URtYhkfPVM8/00-00-14.jpg) ![Screenshot at 00:38: An image of Kurt Gödel, Mathematician & Logician, shown on screen as the discussion turns to his 1938 consistency proof for CH.](https://ss.rapidrecap.app/screens/URtYhkfPVM8/00-00-38.jpg) ![Screenshot at 01:20: A slide summarizing Gödel's 1938 result, showing that if ZF is consistent, then ZF + AC + CH is also consistent, achieved by constructing the constructible universe \($L$\).](https://ss.rapidrecap.app/screens/URtYhkfPVM8/00-01-20.jpg) ![Screenshot at 02:33: A slide defining Paul Cohen's method of Forcing, introduced in 1963, used to prove that CH and the Axiom of Choice cannot be decided from ZFC.](https://ss.rapidrecap.app/screens/URtYhkfPVM8/00-02-33.jpg)