A Máquina de Turing e o que os computadores podem e não podem fazer, por Valdemar W. Setzer

Neste dia 05/10/2020, às 9h00, aconteceu a transmissão ao vivo da palestra "A Máquina de Turing e o que os computadores podem e não podem fazer", ministrada pelo professor Valdemar W. Setzer.

O vídeo da palestra está em https://youtu.be/oP-yYWtRevg e as perguntas e respostas após a palestra estão em https://youtu.be/zodMWsi1cYM.

O resumo da palestra é:

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. As questões da "singularidade" e da "digitalização do cérebro". Transições não-deterministas na MT e em seres vivos. O ser humano é uma máquina?