Peculiarities of the Minimalist Foundation for Formal Mathematics

Peculiarities of the Minimalist Foundation for Formal Mathematics

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.