L15: Proof by Diagonalization that ATM (Halting Problem) is Not Decidable
53:51
L17: Using Reductions to Prove Language Undecidable
1:21:10
L19: Uncomputable Functions, and Introduction to Complexity
10:26
Mathematician explains Turing's halting problem | Edward Frenkel and Lex Fridman
40:08
L16: Unrecognizable Languages and Reductions
51:46
Linear-time pattern matching. Z-values and Z-algorithm
1:19:07
L12: Universal Turing Machines; The Halting Problem is Recognizable but Not Decidable
3:39
Roger Penrose explains Godel's incompleteness theorem in 3 minutes
24:57