Detail

DI.FCT.UNL Gödel Centenary Seminar – A influência de Gödel na Informática

[Joint DI/CITI/CENTRIA Joint Seminars]

Kurt Gödel costuma ser mais vulgarmente celebrado pelos seus famosos teoremas de incompletude no âmbito da
Lógica Matemática, os quais são resultados de carácter
essencialmente negativo.

No entanto, muitos
dos seus trabalhos introduziram ideias fundamentais,
de carácter positivo,
não só de vasto alcance em múltiplos campos da Lógica
Matemática e Computação, mas com ramificações e incidência particular na Informática tal como a conhecemos hoje, quer nas suas vertentes teóricas (enquanto Ciência), quer nas aplicadas (enquanto Engenharia).

Esta apresentação, que se pretende ser muito acessível, referirá algumas destas ideias, e ilustra-las-á por meio de exemplos, num ponto de vista de Computer Science.