Prezado Chico, Muito esclarecedores os teus comentários.
Eu não conheço e não sei se é pertinente um outro livro de Smullyan: "Diagonalization and Self-Reference" Nos últimos tempos da sua vida, Daniel Glushankoff estudo grupos reticulados e me comentava algumas coisas do seu trabalho. Essa teoria é incompleta. Daniel dizia que haviam encontrado uma maneira de representar a aritmética e daí podiam ser usadas técnicas análogas às do teorema de Gödel para demonstrar a incompletude. Eu nunca vi essa demonstração, mas deve ter alguma maneira ingeniosa de representar a aritmética. Carlos On Sun, Dec 29, 2019 at 3:51 PM Francisco Miraglia Neto <mirag...@ime.usp.br> wrote: > > >> Car@s, > >> > >> Me indago porque ninguém parece se lembrar da tese de doutorado do > Smulian em Princeton, publicada naquela coleção de Princeton que tinha capa > vermelha. Para quem não conhece , recomendo: > >> A theory of formal systems > >> Princeton Univ Press, 1961. > >> > >> Há um artigo anterior de 1959, seu primeiro artigo, anterior à tese, em > que os argumentos de Godel são analisados e simplificados > consideravelmente. > >> > >> De todo modo, o que chamamos de aritmetizacão , um caso particular de > internalização de uma Teoria no sentido que fala o Rodrigo, possui muitas > outras aplicações, como todo mundo sabe. O mesmo se aplica à ideia de > diagonalização, que trata-se, na minha opinião, de um método , uma ideia e > não apenas uma técnica particular. > >> > >> Um grande abraço a todas e todos e Feliz Ano Novo !! > >> > >> Chico Miraglia > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" > dos Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/33AF2F17-CF65-4350-9073-B8BDA52BAA4D%40ime.usp.br > . > -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGJaJ%2B8QunLP7S-N4wg1MLrxXEBvfBO8_JgdUozz%3DVxZ_x9A2Q%40mail.gmail.com.