> 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 -- My homepage: http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
