8. Undecidability
1:16:37
9. Reducibility
1:21:41
10. Computation History Method
5:27
A Sad Moment in American History
1:02:34
MIT Godel Escher Bach Lecture 1
1:14:49
6. TM Variants, Church-Turing Thesis
1:17:32
11. Recursion Theorem and Logic
14:15
Undecidability Tangent (History of Undecidability Part 1) - Computerphile
34:00