Catalog Β· Theory of Computation Lecture 11 of 25 Lecture 11: Recursion Theorem and Logic β Previous Lecture 10: Computation History Method Next β Lecture 12: Time Complexity β Mark complete Materials Transcript (PDF) β transcript