CMU 15-251: Great Ideas in Theoretical Computer Science
Spring 2013 Lecture #20: Countability and Diagonalization
http://www.cs.cmu.edu/~15251/
Taught by Ryan O'Donnell
(http://www.cs.cmu.edu/~odonnell)
Filmed by Panopto (http://www.panopto.com/)