17:10 duration 17 minutes 10 seconds
Module04b-HaltingProblem
10:37 duration 10 minutes 37 seconds
Module03c-UnsolvableProblems.mp4