Peculiarities of the Minimalist Foundation for Formal Mathematics
Hausdorff Center for Mathematics via YouTube
Stuck in Tutorial Hell? Learn Backend Dev the Right Way
Learn Python with Generative AI - Self Paced Online
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
Syllabus
Milly Maietti and Pietro Sabelli: Peculiarities of the Minimalist Foundation for Formal Mathematics
Taught by
Hausdorff Center for Mathematics