NPTEL Video Course : NOC:Basics of Computational Complexity

Lecture 6 - Halting Problem and Diagonalization