Tenho lembrança de Kripke dizer na palestra na Unicamp que Os Teoremas de Incompletude estavam sim relacionados ao paradoxo do mentiroso. As gravações estão decriptadas?
WS
> o Teorema de Gödel guarda semelhança primariamente com o Paradoxo de Berry.
> Não sei se o próprio Gödel explicita isso na sua demonstração, mas lembro de
> ter lido em algum livro de Hao Wang que o próprio Gödel vinculava seu
> resultado ao Paradoxo de Berry. Uma exposição exemplar dessa semelhança pode
> ser encontrada no seguinte trabalho de Xavier Caicedo: La paradoja de Berry
> revisitada, o la indefinibilidad de la definibilidad, y las limitaciones de
> los formalismos. Lecturas Matemáticas, v. XIV, 1993.
De fato, e ambos Boolos e Chaitin, entre outros, também escreveram
papers sobre isso. Mas isso tá BEM longe de coisas como o "Paradoxo
do Mentiroso". Wittgenstein pensava, confusamente, que não.
JM
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
