Orador: Wilfried Sieg (Carnegie Mellon University)

Título do mini-curso: "Thinking, Computing, Thinking"

Local: Sala de seminários, ed. VII, FCT-UNL


Dias, horas e títulos de palestras:

(NB: O mini-curso é constituído por 4 palestras **independentes**.)

16/10/2017 (2a), 14h (Seminário): "Mechanical procedures - What is the
concept of computation?"

17/10/2017 (3a), 14h: "Natural deduction in bi-directional ways"

20/10/2017 (6a), 13h: "Natural formalization - The Cantor-Bernstein
Theorem derived in ZF"

23/10/2017 (2a), 14h: "Automated search for Gödel's Theorems"