Revisão rápida da última aula. Mostrou que e não são do mesmo tamanho para introduzir o método da diagonalização e usá-lo para provar que é indecidível. Introduziu o método de redução para mostrar que é indecidível.

Instrutor: Prof. Michael Sipser