Threads · guided journeys
Walk the field as a story
Not a map but a path. Each thread is a guided journey through the works, the minds, and the theorems: the history of logic, told as it happened.
- 01
The Crisis of Foundations
How the dream of a complete, certain foundation for mathematics was built, broken, and rebuilt, from Cantor’s paradise to Cohen’s verdict.
6 stops - 02
Proof Becomes Computation
The slow discovery that a proof and a program are the same thing, from Gentzen’s rules to the proof assistants of today.
5 stops - 03
The Story of the Infinite
Two and a half thousand years of refusing, then embracing, then taming the actual infinite, and finding its size beyond our reach.
5 stops