Resumo
23/3/23

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. 20/3/25, na disciplina MAC0329 Álgebra Booleana e Aplicações no Projeto de Arquitetura de Computadores, para ingressantes do Bacharelado em Ciência da Computação do IME-USP, São Paulo, e interessados, dentro do programa USP.comvc da Pró-Reitoria de Cultura e Extensão da USP. Info: prof. Roberto Hirata Jr. hirata no ime dot usp ponto br.
2. 12/6/24, palestra na disciplina MAC-0110 para ingressantes do Bacharelado em Ciência da Computação do IME-USP, São Paulo, e interessados, dentro do programa Embaixadores da Matemática do IME-USP no IME. Info: prof. Roberto Hirata Jr. hirata no ime dot usp ponto br
3. 19/4/24, palestra na disciplina MAC2166, para a turma 7 de alunos do curso básico da Escola Politécnica da USP, São Paulo, e interessados, dentro do programa Embaixadores da Matemática do IME-USP. Info: prof. Paulo A.V. de Miranda pmirantudojuntoda no ime dot usp pt br
4. 28/9/22, palestra remota de abertura da Semana de Tecnologia, para alunos e professores da FATEC de Itapetininga, SP, e interessados. Info: Prof. Marcus Venicius B. de Souza marcussoisso att fatecitapetininga pt edu dot br
5. 13/9/22, palestra presencial (a 1ª depois da pandemia, vivaaaa!), para alunos e professores da FATEC Franco da Rocha, SP, e interessados, dentro
6. 14/9/21, palestra remota no projeto CREA Convida, do CREA de Pernambuco, dentro do projeto Embaixadores da Matemática do IME. Info: Ciara Carvalho ciaratudojuntocarvalho arr creape pt org dot br e rafaeltudojuntosotero aaa creape dot org pt brdo projeto Embaixadores da Matemática do IME-USP; info: Profa. Nadia Said Avila chukr(dot)nadia no gmail.com
   
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. 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
19. 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
20. 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
21. 24/8/16, 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