Computability Courses
Association for Computing Machinery (ACM) via YouTube Computable Structure Theory with Noncomputable Structures
Joint Mathematics Meetings via YouTube Different Problems, Common Threads - Computing the Difficulty of Mathematical Problems
Joint Mathematics Meetings via YouTube Proof Mining in Bounded Arithmetic
Hausdorff Center for Mathematics via YouTube Keynote - Six Impossible Things
Devoxx via YouTube Computability and Problems with Set Theory - Math History
Insights into Mathematics via YouTube Basics of Computational Complexity
Indian Institute of Technology Kanpur via Swayam Where the Cosmos is Chaotic or Indeterministic
NCCR SwissMAP via YouTube Laplace Meets Gödel - Determinism and Predictability in Physics
Foundations of Physics @Harvard via YouTube