Proof, by diagonalization, that ATM, the Halting Problem, is not decidable.
See All 27 Episodes of "Theory of Computation - Fall 2011"