Revisão rápida da última aula. Discutiu o método de redução para provar a indecidibilidade e a T-irreconhecibilidade. Definiu a redutibilidade por mapeamento como um tipo de redutibilidade. Mostrou que é indecidível e T-irreconhecível; e são T-irreconhecíveis.

Instrutor: Prof. Michael Sipser