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
