NPTEL Video Course : Theory of Computation

Lecture 42 - Separation of recursive and r.e. classes, halting problem and its undecidability