>> 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.