At long last, we are finally ready to find concrete examples of problems that computers can't solve. Today's lecture explores one of these problems and why self-reference leads to foundational limits of computer programs.
File Attachments
Lecture Recording
The complete archive of this quarter's lecture recordings is available on Canvas.
Today's recording will be embedded on this page shortly after lecture.