David Hilbert stood before the International Congress of Mathematicians in 1900 and posed twenty-three unsolved problems that would define the direction of mathematics for the entire twentieth century. His ambition was totalizing — he believed every mathematical truth could be proven, every question answered, every corner of logic illuminated. Then Kurt Godel proved him wrong, demonstrating that some truths are inherently unprovable.

This episode traces Hilbert from his Konigsberg youth through the twenty-three problems, the Hilbert Program to formalize all mathematics, and the Godel incompleteness theorems that shattered his dream of a complete and consistent mathematical universe.

• Hilbert's early career in Konigsberg and the algebraic breakthroughs that made his reputation
• The 1900 Paris lecture and the twenty-three pro ...