DI.FCT.UNL Gödel Centenary Seminar – Sobre a demonstração do teorema de Gödel

[Joint DI/CITI/CENTRIA Joint Seminars]

Nesta palestra pretende-se abordar as principais ideias da demonstração do teorema da incompletude de Godel, sem entrar nos aspectos mais técnicos e procurando estabelecer pontes com a Computação.