A versão de Kleene, para sentenças ∏2, não. 2009/8/12 Frank Thomas Sautter <[email protected]>
> João Marcos e demais colegas, > 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. > > _______________________________________________ > 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
