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)

https://waltercarnielli.com/talks/

TV PUC São Paulo Nova Stella – Gödel, Turing e a História da Lógica no século XX

http:// https://tinyurl.com/y5motjk2

O Problema da Parada: Alan Turing, de Leibniz a Gödel – Centenário de Alan Turing – Unicamp

https://www.youtube.com/watch?v=593mK9I2P6Q

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)

https://www.youtube.com/watch?v=6hyqH94a3Io

Os Teoremas da Incompletude de Gödel Professor do CLE apresenta última palestra da Terceira Margem em 2017

http:// https://www.youtube.com/watch?v=EGMmkGU1c9A

Debate sobre o filme BLADE RUNNER 2049, Museu da Imagem e do Som SP

https://www.youtube.com/watch?v=N_YdLUMRCI4