Explore a thought-provoking lecture on the formalization of post-rigorous mathematics presented by Emily Riehl at the Hausdorff Center for Mathematics. Delve into the intricacies of mathematical reasoning and the evolving landscape of formal proofs in this 38-minute talk. Gain insights into the challenges and opportunities that arise when bridging the gap between intuitive mathematical thinking and rigorous formalization. Discover how modern approaches to mathematical formalization are shaping the field and influencing the way mathematicians approach complex problems.
Overview
Syllabus
Emily Riehl: Formalizing post-rigorous mathematics
Taught by
Hausdorff Center for Mathematics
Related Courses
-
Formalizing Infinity-Category Theory in the Rzk Proof Assistant
-
Autoformalisation - Bridging the Gap Between Informal and Formal Proofs
-
Mario Carneiro - Metamath Zero: Export Your Logic
-
Peculiarities of the Minimalist Foundation for Formal Mathematics
-
Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture
-
Lean4Lean - Formalizing the Type Theory of Lean
