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

[Adolfo Neto]

Olá,

Teremos a palestra de Valdemare Setzer nesta segunda ás 9h.

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

Resumo:

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?

http://portal.utfpr.edu.br/cursos/coordenacoes/stricto-sensu/ppgca-ct/destaques/a-maquina-de-turing-e-o-que-os-computadores-podem-e-nao-podem-fazer-por-valdemar-w-setzer

Vai ser transmitida no YouTube

https://www.youtube.com/watch?v=jzMluV-h46k

Quem quiser fazer perguntas ao vivo, basta responder este email (sem cópia para a lista) que mando o link do Google Meet.

Abs.

Adolfo

--

==================================================================
Adolfo Neto

Associate Professor - Federal University of Technology, Paraná

Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================

[Adolfo Neto]

Novo link https://meet.google.com/uvb-buox-djm?authuser=3

[Rogério Braga]

Meu caro, boa tarde.

A palestra ficou gravada em alguma plataforma?

Abraços,

Rogério Braga.

[Bruno Lopes]

Rogério,

Em alguns minutos o vídeo estará disponível em https://www.youtube.com/watch?v=gMk7Apz1yUs . Todas as palestras gravadas estão listadas na página dos seminários ( http://lq.sbl.org.br ) e na playlist dos seminários ( https://www.youtube.com/playlist?list=PLFURnt5EmcO0CJ4JIpHhUVJC0Qztsnygi ) no canal YouTube da SBL ( http://www.youtube.com/c/SociedadeBrasileiradeLógica ).

Abraços,

Bruno.

--
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/1b4f37aa-ac22-4911-9afc-7de3ee5af777n%40dimap.ufrn.br.

--

Bruno Lopes

Professor Adjunto

Instituto de Computação

Universidade Federal Fluminense

http://www.ic.uff.br/~bruno

[Rogério Braga]

Obrigado, Bruno!

Abraços.

Rogério Braga

__

"НЕ стыдно не знать — стыдно не учиться…" (Федор Михайлович Достоевский)

http://www.bragamatta.com.br

[Adolfo Neto]

Sim.

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

https://www.youtube.com/watch?v=oP-yYWtRevg

Perguntas e Respostas de "A Máquina de Turing e o que os computadores podem e não podem fazer"

https://www.youtube.com/watch?v=zodMWsi1cYM

[Walter Alexandre Carnielli]

Muito bom Adolfo ,obrigado pelos links.

Tão interessante quanto o tema é a figura do professor Setzer, que aos 80 anos é um nadador em vários estilos , ginasta , e um ótimo músico-- para mim um 'virtuose'  com sua flauta transversal.

Abs

W.

--

Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYVPFEyCOr%2BhUA__kSvUUuwmZnc9jsWQXKb%3DfFTAi-2aVQ%40mail.gmail.com.