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