Sessão 1 - 6 de Dezembro de 2006, 14h - 16h
Luís Monteiro
-
Sobre a demonstração do teorema de Gödel
Slides PDF
Reinhard Kahle
-
Gödels theorem: The divorce of Mathematics and Computer Science
Slides PDF
Local: Auditório do Edifício CENIMAT
Sessão II - 13 de Dezembro de 2006, 14h - 16h
Luís Caires
-
A influência de Gödel na Informática (tal como a conhecemos)
Slides PDF
Luís Moniz Pereira
-
Gödel e Computabilidade
Slides PDF
Local: Auditório da Biblioteca da FCT/UNL
Seminários Centenário Kurt Gödel
Faculdade de Ciências e Tecnologia UNL
Gödel, Informática, e Computação
Organização de:
Departamento de Informática
Centro de Informática e Tecnologias da Informação
Centro de Inteligência Artificial