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