8. Undecidability
1:16:37
9. Reducibility
14:15
Undecidability Tangent (History of Undecidability Part 1) - Computerphile
1:16:51
7. Decision Problems for Automata and Grammars
1:13:59
5. CF Pumping Lemma, Turing Machines
1:21:41
10. Computation History Method
4:14
The Halting Problem: The Unsolvable Problem
1:02:34
MIT Godel Escher Bach Lecture 1
1:14:49