Formalizing Post-Rigorous Mathematics
Offered By: Hausdorff Center for Mathematics via YouTube
Course Description
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
Related Courses
Introduction to LogicStanford University via Coursera Networked Life
University of Pennsylvania via Coursera Introduction to Mathematical Thinking
Stanford University via Coursera Computational Photography
Georgia Institute of Technology via Coursera Initiation à la théorie des distributions
École Polytechnique via Coursera