Abstract
Nov. 11, 2021

History. Hilbert's Decidability Problem. Alan Turing appears. The Turing Machine (TM). Exercises. Characteristics of TMs. Types of TM instructions and power. The Church-Turing thesis. The universal TM. The TM as an archetype of digital machines. Can machines have sensations and feelings? Alan Turing and the Decidability Problem: the Halting Problem. Can machines think and be intelligent? The Turing Test and extensions (Hanard). The issues of "singularity", "digitalization of the brain" and transhumanism. Non-deterministic transitions in TM and in living beings. How can something non-physical act physically without violating physical laws? Is the human being a machine?

See reviews from participants of this lecture (in Portuguese; please use an automatic translator – google does a good job into English)

Duration: 2 hours

Lectures given in Portuguese (in reverse chronological order; date notation: dd/mm/yy)

1. 14/9/21 3ª feira 19h00 palestra remota pelo webex com retransmissão pelo youtube 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 br
2. 8/6/21 palestra remota, conjunta dos seminários do Grupo de Estudos sobre a Abordagem da Natureza pela Complexidade da Associação Brasileira de Informática, e do Núcleo de Estudos de Complexidade e Fluxo de Sistemas de Informação. Info: profs. Carlos I. Z. Mammana cizmmaisnada arr uol pt com ponto br, Alaide Pellegrini Mammana alaidepontomammana idem e José Piqueira piqueiramaisnada attt lac dot usp pt br
3. 23/10/20, palestra pela plataforma Zoom nos Seminários de Estudos em Epistemologia e Didática (SEED)/Seminários de Ensino de Matemática (SEMA) da Faculdade de Educação da USP (FEUSP), dentro do projeto Embaixadores da Matemática do IME. Info: prof. Nilson J. Machado njtudojuntomachad arrob usp pt br e Marisa Ortegoza da Cunha marisa pt ortegoza no gmail pt com
4. 5/10/20, palestra remota pelo Google Meet retransmitida ao vivo pelo youtube, para interessados e alunos da Universidade Tecnológica Federal do Paraná, dentro do projeto Embaixadores da Matemática do IME. Info: Prof. Adolfo Neto adoltudojuntofo arr utfpr pt edu pt br
5. 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
6. 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
7. 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
8. 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
9. 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
10. 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
11. 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
12. 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
13. 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
14. 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
15. 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
16. 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
17. 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
18. 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
19. 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