Explore the intricacies of the Minimalist Foundation for Formal Mathematics in this 45-minute trimester seminar presented by Milly Maietti and Pietro Sabelli at the Hausdorff Center for Mathematics. Delve into the unique characteristics and principles that define this foundational approach to mathematical formalization, gaining insights into its applications and implications for the field of mathematics.
Peculiarities of the Minimalist Foundation for Formal Mathematics
Hausdorff Center for Mathematics via YouTube
Overview
Syllabus
Milly Maietti and Pietro Sabelli: Peculiarities of the Minimalist Foundation for Formal Mathematics
Taught by
Hausdorff Center for Mathematics
Related Courses
-
Peculiarities of the Minimalist Foundation for Formal Mathematics
-
Autoformalisation - Bridging the Gap Between Informal and Formal Proofs
-
An Alternative Approach to Formal Mathematics - Prioritizing Communication over Certification
-
Algorithm and Abstraction in Formal Mathematics - IPAM at UCLA
-
From Informal to Formal Mathematics and Back - Tools for Mathematical Transformation
-
Challenges in Formalising Recent Results in Formal Language Theory
