Sun, Apr 5, 2-4PM
Taming the Infinite with Proof Theory #2
Join us in person for this second lecture in our free 2-part lecture series, open to the public and accessible to any mathematically-minded & curious person. Starting from the Peano axioms, we’ll use Lean to explore what it means to prove something from first principles and to build mathematics step by step with complete precision. Continuing in Lean, we’ll push from arithmetic toward larger ideas about infinity, including Cantor’s diagonal argument and the first hints of self-reference in proof theory.
Lecture 2: Sun April 5, 2:00-4:00PM
Formal Foundations