Lecture 3.

• The halting problem and undecidability

---