A tartaruga e o paradoxo
De uma certa foma, sim. O matemático americano Douglas Hofstadter mostra, em Gödel, Escher e Bach.
Por
SEGUIR
SEGUINDO
Atualizado em 31 out 2016, 18h49 - Publicado em 31 dez 2001, 22h00
Vinícius Romanini
Na Grécia antiga, ao mesmo tempo em que Platão e Aristóteles discutiam acerca da Verdade, uma corrente de pensadores procurava provar que ela é inatingível. Os sofistas apresentavam suas teses por meio de paradoxos. O mais conhecido deles é o do mentiroso que afirma “Eu minto”: se é um mentiroso quem diz, então está dizendo a verdade e já não é mais um mentiroso; por outro lado, se quem diz que mente não é um mentiroso, então está mentindo, o que faz dele um mentiroso. Qual é a verdade enunciada?
Os dilemas foram repetidos por 2 500 anos até que, em 1931, o matemático checo Kurt Gödel provou que eles fazem parte de uma família de frases recursivas, porque não podem ser decididas logicamente e criam um círculo vicioso. Gödel demonstrou que o número dessas proposições é infinito para qualquer tipo de sistema construído como, por exemplo, as linguagens humanas e as diversas ciências, inclusive Lógica e Matemática. Então, os sofistas riram por último?
De uma certa foma, sim. O matemático americano Douglas Hofstadter mostra, em Gödel, Escher e Bach (Editora da Unb), a recursividade nas obras do compositor Johann Sebastian Bach e do artista holandês M.C. Escher. Hofstadter ajuda o leitor a vencer os obstáculos teóricos mais difíceis com fábulas e debates entre, por exemplo, Aquiles e Tartaruga – personagens retirados de outro dilema grego famoso, o da impossibilidade de o veloz Aquiles alcançar a vagarosa tartaruga numa corrida.
Fallout: o que você precisa saber antes de assistir à série do Prime Video
Maior buraco negro estelar da Via Láctea é descoberto a 2 mil anos-luz da Terra
O TikTok e a guerra fria tech entre EUA e China
Xógum não vai ter uma segunda temporada. E não: a série não foi cancelada.
Marlon Brando foi o primeiro ator a ganhar um salário milionário
