In this lecture, we probe deeper into the realm of undecidable problems, by identifying a second one (HALT), and learning another mechanism type that is associated with the class $\relangs$, Verifiers.
Readings
File Attachments
Lecture Recording
The complete archive of this quarter's lecture recordings is available on Canvas.