Mostrar qual é a essência dos computadores e suas limitações, e o que é um algoritmo por meio da Máquina de Turing. Comparar com as atividades mentais dos seres humanos e desmistificar a ideia de que os computadores suplantarão os seres humanos em todas as suas características e capacidades. Abordar questões filosóficas da computação.
Histórico. O Problema da Decidibilidade de Hilbert. Surge Alan Turing. A Máquina de Turing (MT). Exercícios. Características da MT. Tipos de instruções e potência da MT. Tese de Church-Turing. A MT universal. Máquinas podem ter sensações e sentimentos? Alan Turing e o Problema da Decidibilidade. O Problema da Parada. Máquinas podem pensar e ser inteligentes? O Teste de Turing. Extensões de Steven Hanard. O "Quarto Chinês" de John Searle. As questões da "singularidade tecnológica" e da "digitalização do cérebro". Transições não-deterministas na MT e em seres vivos, e a questão do livre arbítrio. O ser humano é uma máquina, isto é, é puramente físico?
Estudantes de graduação e pós-graduação, especialmente de cursos de computação, e público em geral com o requisito abaixo.
Duas horas; ideal 3 horas com intervalo
No fim da palestra, os participantes respondem as seguintes perguntas em um pedaço de papel (" One-minute paper):
1. O que aprendi de mais importante?
2. Qual a maior dúvida que ficou?
3. Comentarios.
Ver avaliações de participantes.
Apresentação em Power Point usada na palestra.