DI.FCT.UNL Gödel Centenary Seminar – Gödels theorem: The divorce of Mathematics and Computer Science

[Joint DI/CITI/CENTRIA Joint Seminars]

In this talk we discuss Gödel’s (first) incompleteness theorem and its
twin theorems of Tarski, Church and Turing with respect to its impact
for the “divorce” of Mathematics and Computer Science.