Mathematical logic Courses
Hausdorff Center for Mathematics via YouTube Calculating Ordinal Invariants - Can You Do Better Than a Human?
Hausdorff Center for Mathematics via YouTube Dialectica Categories for All
Hausdorff Center for Mathematics via YouTube Capturing Mathematical Equality - Constructivism and Canonical Isomorphisms
Hausdorff Center for Mathematics via YouTube An Alternative Approach to Formal Mathematics - Prioritizing Communication over Certification
Hausdorff Center for Mathematics via YouTube Peculiarities of the Minimalist Foundation for Formal Mathematics
Hausdorff Center for Mathematics via YouTube Autoformalization - Ten Years into the Game
Hausdorff Center for Mathematics via YouTube Cueology of Proof
Hausdorff Center for Mathematics via YouTube Formalizing Post-Rigorous Mathematics
Hausdorff Center for Mathematics via YouTube Autoformalisation - Bridging the Gap Between Informal and Formal Proofs
Hausdorff Center for Mathematics via YouTube