Walter Carnielli Formal plenitude and Curry’s paradox: Sketch of an expanded theory for arithmetic (Palestra no IHPST- Institut d’Histoire et de Philosophie des Sciences et des Techniques, Université SOrbonne, Paris)
TV PUC São Paulo Nova Stella – Gödel, Turing e a História da Lógica no século XX
O Problema da Parada: Alan Turing, de Leibniz a Gödel – Centenário de Alan Turing – Unicamp
O céu sem limite da Informação Quântica
http:// https://youtu.be/O3enkR6nu24
CONSISTENCY AS A PRIMITIVE NOTION AND ITS CONSEQUENCES FOR AN EXPANDED THEORY OF TRUTH
http:// https://www.youtube.com/watch?v=E9LB_EM2ObA
Probabilidades inexatas e fundamentos da inteligência artificial
https://www.youtube.com/watch?v=Ca8T_OC9Hlc
From Curved Logic to Imaginary Sets (Palestra em Moscou)
Os Teoremas da Incompletude de Gödel Professor do CLE apresenta última palestra da Terceira Margem em 2017
Debate sobre o filme BLADE RUNNER 2049, Museu da Imagem e do Som SP