Catalog Β· Theory of Computation Lecture 9 of 25 Lecture 9: Reducibility β Previous Lecture 8: Undecidability Next β Lecture 10: Computation History Method β Mark complete Materials Transcript (PDF) β transcript