YoVDO

Peculiarities of the Minimalist Foundation for Formal Mathematics

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Mathematical logic Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Related Courses

Introduction to Logic
Stanford University via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera Information Service Engineering
openHPI Language, Proof and Logic
Stanford University via edX