Artwork

Contenuto fornito da Número Imaginário. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Número Imaginário o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.player.fm/legal.
Player FM - App Podcast
Vai offline con l'app Player FM !

Episódio #012 – Verdade, Incompletude e o Paradoxo do Mentiroso

15:48
 
Condividi
 

Manage episode 306874637 series 119887
Contenuto fornito da Número Imaginário. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Número Imaginário o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.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 episodi

Artwork
iconCondividi
 
Manage episode 306874637 series 119887
Contenuto fornito da Número Imaginário. Tutti i contenuti dei podcast, inclusi episodi, grafica e descrizioni dei podcast, vengono caricati e forniti direttamente da Número Imaginário o dal partner della piattaforma podcast. Se ritieni che qualcuno stia utilizzando la tua opera protetta da copyright senza la tua autorizzazione, puoi seguire la procedura descritta qui https://it.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 episodi

Tutti gli episodi

×
 
Loading …

Benvenuto su Player FM!

Player FM ricerca sul web podcast di alta qualità che tu possa goderti adesso. È la migliore app di podcast e funziona su Android, iPhone e web. Registrati per sincronizzare le iscrizioni su tutti i tuoi dispositivi.

 

Guida rapida