Neste post faço uma coletânea de apresentações de dois professores bastante conhecidos na área de lógica e fundamentos da matemática: o prof. Newton da Costa e o prof. Walter Carnielli. As apresentações do prof. Newton falam principalmente da lógica paraconsistente e fundamentos lógicos da física; as apresentações do prof. Walter falam sobre alguns resultados fundamentais da lógica, obtidos principalmente por Gödel e Turing.
Newton da Costa
Lógica Paraconsistente, Novas Lógicas e Possíveis Aplicações
A Lógica da Física
Fundamentos da Física
A matemática na Polônia
Lógica, teoria da computação e direito
Aula Magna – Alguns teoremas de incompletude
Entrevista no podcast “Filosofia Pop” (Parte 1)
Entrevista no podcast “Filosofia Pop” (Parte 2)
Walter Carnielli
Os teoremas da incompletude de Gödel
Gödel: Um retorno da Matemática ao Misticismo?
O Problema da Parada: Alan Turing, de Leibniz a Gödel – Centenário de Alan Turing
Gödel, Turing e a História da Lógica no século XX
Nova Stella – Lógica e Racionalidade – 10ª Temporada – PGM 09
Walter Carnielli: Professor de Lógica da UNICAMP
Número Imaginário 
Um comentário em “Palestras sobre lógica matemática”