Mathematical logic Courses
Fields Institute via YouTube Topics in Pure Model Theory - Lecture 8
Fields Institute via YouTube Formalizing Macintyre's Theorem in Isabelle-HOL
Fields Institute via YouTube The Usefulness of Useless Knowledge by Robbert Dijkgraaf - Followed by a Panel Discussion
International Centre for Theoretical Sciences via YouTube David Cerna: Proof Schema and the Refutational Complexity of Their Cut Structure
Hausdorff Center for Mathematics via YouTube Harry Altman- Lower Sets in Products of Well Ordered Sets
Hausdorff Center for Mathematics via YouTube Peter Dybjer - Intuitionistic Type Theory
Hausdorff Center for Mathematics via YouTube Why Study Fluid Mechanics?
International Centre for Theoretical Sciences via YouTube Computing with Gödel's Completeness Theorem
Hausdorff Center for Mathematics via YouTube Derived Rules in Set Theory
Hausdorff Center for Mathematics via YouTube