Revisão rápida da última aula. Discutiu auto-referência e o teorema da recursão. Apresentou várias aplicações. Esboçou o primeiro teorema da incompletude de Gödel em lógica matemática.

Instrutor: Prof. Michael Sipser