Está no artigo de Kleene de 36, ao fim. 2009/8/12 Francisco Antonio Doria <[email protected]>
> Chamo a atenção para a prova de incompletude de Kleene: usa uma sentença > ∏2, e não se refere a paradoxo algum. > > 2009/8/12 Joao Marcos <[email protected]> > > > 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 >> > >
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
