Resumo
5/6/21

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", da "digitalização do cérebro" e o transhumanismo. Transições não-deterministas na MT e em seres vivos. Como algo não fisico pode atuar fisicamente sem violar leis físicas? O ser humano é uma máquina?

Ver avaliações de participantes desta palestra

Palestras realizadas (em ordem cronológica reversa)

1. 10/8/20 palestra remota pela plataforma Jitsi Meet para interessados e para alunos de Sistemas de Informação da Universidade do Estado de Santa Catarina (UDESC) em São Bento do Sul, SC, dentro do projeto Embaixadores da Matemática do IME; info: prof. Nilson Modro nilsonjuntomodro arr gmail
2. 15/10/19 na Delegacia da Receita Federal do Brasil, Sorocaba, SP, dentro do projeto Embaixadores da Matemática do IME, (15) 4009-4500; info: Fabiana L.M. Benavides fabianapontomilare arrobat rfb.gov.br
3. 25/9/19 9h20-11h00, para interessados e alunos da Escola Politécnica da USP da disciplina MAC-0122 Desenvolvimento de Algoritmos, na sala B2-04 do prédio de Engenharia Elétrica, dentro do projeto Embaixadores da Matemática do IME; Info: Prof. Paulo Miranda pav.sempontos.mbr arr gmail
4. 25/9/19 9h20-11h00, para interessados e alunos da Escola Politécnica da USP da disciplina MAC-0122 Desenvolvimento de Algoritmos, na sala B2-04 do prédio de Engenharia Elétrica, dentro do projeto Embaixadores da Matemática do IME; Info: Prof. Paulo Miranda pav.sempontos.mbr arr gmail
5. 27/5/19, na Delegacia Especial da Receita Federal do Brasil de Fiscalização, São Paulo, SP, dentro do projeto Embaixadores da Matemática do IME; info: Luiz Felipe Carvalho, felipepontopps-at-gmail
6. 23/5/19, para alunos do curso de Arquitetura e Urbanismo do Centro Universitário FIAM-FAAM, Av. Lins de Vasconcelos, 3406 (em frente ao Metro V. Mariana), São Paulo, SP. dentro do projeto Embaixadores da Matemática do IME; info: prof. Ennio Possebon, ennio-semhifem-possebon@gmail.com
7. 18/9/18 18h00, no Instituto de Ciências Exatas da Universidade Federal de Juiz de Fora, São Pedro, Juiz de Fora, MG, (32) 2102-3316, dentro do projeto Embaixadores da Matemática do IME; info: prof. Heder Soares Bernardino heder.arr ice.ufjf.br
8. 9/5/18, na Semana de Eventos IDEAR da Universidade São Judas, campus UNIMONTE, R. Comendador Martins 52, Santos, SP, (13) 3228-2148, dentro do projeto Embaixadores da Matemática do IME; info: Debora Agraz Cutino Nogueira debora.nogueira arro.ba unimonte.br
9. 9/3/18, palestra na disciplina MAC-0119 "Introdução à Programação" para alunos do Instituto de Ciências Biomédicas (ICB) da USP, no Instituto de Matemática e Estatística, Cidade Universitária, São Paulo; info: prof. Roberto Marcondes Cesar Junior rmcesar at#arroba usp.br
10. 25/10/17, palestra na disciplina MAP-2003 "Panoramas da Matemática" do IME-USP, oferecida para alunos de toda a USP e como atividade da Semana USP de Ciência e Tecnologia 2017, no Auditório Jacy Monteiro (bloco B) do Instituto de Matemática e Estatística, Cidade Universitária, São Paulo; info: prof. Eduardo Colli colli.eduardo sinal_at gmail.com
11. 14/9/17, palestra na disciplina MAC-0115 Introdução à Computação para Ciências Exatas e Tecnologia, no Instituto de Física da USP, Cidade Universitária, São Paulo; info: prof. Marcel Jackowski mjack@ime.usp.br
12. 2/5/17, palestra para funcionários e convidados da PCA Engenharia de Software, (17) 3214-0844, São José do Rio Preto, SP; info: oberdan.nunes@pca.com.br
13. 10/5/17, no Instituto de Biociências, Letras e Ciências Exatas (IBILCE) da UNESP, palestra para alunos de matemática e computação, graduação e pós-graduação, da UNESP em em São José do Rio Preto, SP; info: Profa. Socorro Rangel socorro@ibilce.unesp.br
14. 21/10/16, palestra na Semana USP de Ciência e Tecnologia 2016, no Centro de Difusão Internacional (CDI) da USP, Cidade Universitária, São Paulo
15. 24/8/16, palestra no Encontro do Bacharelado em Ciência da Computação do IME-USP, IME, Cidade Universitária, São Paulo; info:victor.domiciano.mendonca@usp.br