Formalizing Post-Rigorous Mathematics

Offered By: Hausdorff Center for Mathematics via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

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

Language, Proof and Logic
Stanford University via edX Proof Theory Impressionism - Blurring the Curry-Howard Line
Strange Loop Conference via YouTube Topics in Pure Model Theory - Lecture 10
Fields Institute via YouTube David Cerna: Proof Schema and the Refutational Complexity of Their Cut Structure
Hausdorff Center for Mathematics via YouTube Graham Leigh: On the Computational Content of Classical Sequent Calculus
Hausdorff Center for Mathematics via YouTube