Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Formalizing Post-Rigorous Mathematics

Hausdorff Center for Mathematics via YouTube

Overview

Explore a thought-provoking lecture on the formalization of post-rigorous mathematics presented by Emily Riehl at the Hausdorff Center for Mathematics. Delve into the intricacies of mathematical reasoning and the evolving landscape of formal proofs in this 38-minute talk. Gain insights into the challenges and opportunities that arise when bridging the gap between intuitive mathematical thinking and rigorous formalization. Discover how modern approaches to mathematical formalization are shaping the field and influencing the way mathematicians approach complex problems.

Syllabus

Emily Riehl: Formalizing post-rigorous mathematics

Taught by

Hausdorff Center for Mathematics

Reviews

Start your review of Formalizing Post-Rigorous Mathematics

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.