Mathematics is supposed to be the one domain of absolute certainty, yet in 1931 a 24-year-old named Kurt Gödel used math itself to prove that math can never know everything. This episode lays out the ambition of David Hilbert and his contemporaries to build formal systems that were complete, consistent, and effectively axiomatized, explains why the principle of explosion made a single contradiction existentially dangerous, and shows how Gödel demonstrated those three traits cannot coexist in any system capable of basic arithmetic.

The hosts break down the mechanics: the arithmetization of syntax that assigned prime numbers to symbols so math could inspect its own source code, Cantor's diagonalization, and the statement that says of itself I am unprovable. They then follow the consequences through the second theorem, the Königsberg conferenc ...