Podcast #012 – Verdade, Incompletude e o Paradoxo do Mentiroso

Notas do episódio

Neste episódio falarei um pouco sobre o famoso paradoxo do mentiroso e sua relação com os fundamentos da matemática. Mais precisamente, falarei de sua influência direta (ou indireta) em dois resultados de grande importância para a lógica - o teorema da indefinibilidade da verdade de Tarski e o teorema da incompletude de Gödel.