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

15/01/2016

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

Descargar episodio Ver en sitio original

Sinopse 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.

Mais episódios do podcast podcast – Número Imaginário

Podcast #37 – Pensamento Crítico, Lógica e Argumentação 28/09/2019

Podcast #36 – A importância da matemática no programa educacional de Platão 14/08/2018

Podcast #35 – A Organização da Lógica Segundo Tomás de Aquino 22/07/2018

Podcast #34 – Os Escritos Lógicos de Aristóteles (Organon) 01/06/2018

Dicas de Estudo do Professor Pierluigi 28/05/2018

Podcast #33 – Lógica, Dialética e Retórica 15/05/2018

Podcast #32 – Definições 07/09/2017

Podcasts e Videocasts 14/06/2017

Podcast #31 – Notas Sobre a Tese de Church 25/04/2017

Podcast #30 – Indecidibilidade e Incompletude em Sistemas Formais 01/03/2017

Ver todos los episodios