## 116b- Lecture 4

We defined the notion of r.e. sets and proved Gödel’s lemma stating that there is a $\Delta_0$ coding of finite sequences by numbers.