> 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/CE2D8CD8-A246-42D6-8622-47C714C61337%40ime.usp.br.
