Fwd: Palestra que pode interessar seu grupo

[Fernando Magno Quintao Pereira]

Pessoal, vejam a palestra abaixo. Eu darei 0.5 pontos póficos para
quem for à palestra e me enviar um mini relatório de até 200 palavras.

Abraços,

Fernando

---------- Forwarded message ---------
From: Haniel Barbosa <hbar...@dcc.ufmg.br>
Date: Fri, Jun 14, 2024 at 10:20 AM
Subject: Palestra que pode interessar seu grupo
To: Fernando Magno Quintao Pereira <pron...@gmail.com>


Oi, Fernando, tudo bom?

Na terça-feira 18/06, às 11h na sala 2077, o Pedro Abreu vai dar essa
palestra, que pode lhe interessar e/ou aos seus alunos:

Título: Se Alan Turing é o Pai da Computação, Alonzo Church é a Mãe —
O Rico Contexto Histórico Por Trás da Ciência da Computação

Resumo:

Todos sabemos que Alan Turing é considerado o pai da computação por
ter inventado a "Máquina de Turing" no auge de seus 24 anos de idade.
Mas nem todos conhecem como a história da computação está intimamente
ligada não apenas a computadores, mas também à lógica e aos próprios
limites formais da matemática.

Nesta palestra, vou contar um pouco sobre o rico contexto histórico
por trás da invenção da Máquina Universal de Turing, os Problemas de
Hilbert, os Teoremas da Incompletude de Gödel, os Teoremas de
Indefinibilidade de Tarski, o Cálculo Lambda de Alonzo Church e sua
equivalência com as máquinas de Turing. Finalmente, falarei um pouco
sobre o conceito de equivalência entre programas e provas descrito
pelo belíssimo Teorema do Isomorfismo de Curry-Howard e como, a partir
daí, nasce todo o conceito de provas formais assistidas por
computadores, estudadas pela Teoria dos Tipos Dependentes.

Bio:

Pedro Abreu (https://pedroabreu0.github.io) é graduado em Ciência da
Computação pela Universidade de Brasília. Mestre pela Purdue
Universidade (Indiana - USA), apresentador do podcast Type Theory
Forall (https://typetheoryforall.com). Ele também fez vários estágios
e consultarias nas áreas de teste e verificação formal de programas,
entre eles: Tribunal de Contas de União (Brasília), SiFive (San Mateo,
Vale do Silício), Galois (Porland, Oregon), Nomadic Labs (Paris), etc.

Abraço,
--
Haniel Barbosa
https://hanielbarbosa.com/