Explore the journey of mathematical theorem formalization as Freek Wiedijk presents his insights on scaling from 100 to over 1000 theorems. Delve into the challenges and strategies involved in expanding the scope of formalized mathematics, gaining valuable perspectives on the process of verifying and documenting mathematical proofs. Learn about the tools, techniques, and methodologies employed to achieve this significant milestone in mathematical formalization, and understand the implications for future advancements in the field.
From 100 to 1000+ Theorems - Advancements in Mathematical Proof Verification
Hausdorff Center for Mathematics via YouTube
Overview
Syllabus
Freek Wiedijk: From 100 to 1000+ theorems
Taught by
Hausdorff Center for Mathematics