Reflexões e provocações sobre o cotidiano e as relações humanas.
…
continue reading
Content provided by Número Imaginário. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Número Imaginário or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
Player FM - Podcast App
Go offline with the Player FM app!
Go offline with the Player FM app!
Episódio #012 – Verdade, Incompletude e o Paradoxo do Mentiroso
MP3•Episode home
Manage episode 306874637 series 119887
Content provided by Número Imaginário. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Número Imaginário or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
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. Ouça o episódio e descubra se tudo o que eu disse é verdade ou se trata de uma grande mentira…
…
continue reading
90 episodes
MP3•Episode home
Manage episode 306874637 series 119887
Content provided by Número Imaginário. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Número Imaginário or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.
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. Ouça o episódio e descubra se tudo o que eu disse é verdade ou se trata de uma grande mentira…
…
continue reading
90 episodes
All episodes
×Welcome to Player FM!
Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.