Seminário no IC - UNICAMP

Caros Colegas,    Convidamos todos a participar do seminário abaixo. Palestrante: Igor Carboni Oliveira Título: Indecidibilidade e Expressividade em Modelos Computacionais. Resumo: Neste seminário vamos discutir algumas idéias presentes no Relatório Técnico TR-09-34 do IC - Unicamp (http://www.ic.unicamp.br/~reltech/2009/abstracts.html). Em particular, qual a relação entre indecidibilidade e poder computacional? Se um modelo computacional é tão indecidível quanto as máquinas de Turing (no sentido do teorema de Rice), então o mesmo é capaz de computar todas as funções "computáveis"? Em busca de respostas, introduziremos alguns conceitos novos e mostraremos uma relação entre essas perguntas e outras áreas distintas como a lógica matemática. Por exemplo, o que é um modelo computacional? O teorema de Rice é válido para a lógica clássica? Finalmente, vamos discutir se é interessante o desenvolvimento de uma teoria abstrata de modelos computacionais. Local: 16 de outubro às 10h na sala 322 do IC03, Unicamp.    atenciosamente,     Luiz Henrique.