Olá, Chico. Eu não li a tese de doutorado do Smullyan ou o artigo de 1959, mas conheço o livro de 1992, Gödel's Incompleteness Theorems. De acordo com o prefácio, ideias daquelas obras anteriores estão incorporadas ali.
Dentre a literatura secundária sobre os teoremas de Gödel, esse livro do Smullyan é o meu predileto. Me lembro de nós termos usado ele, juntamente com o artigo original do Gödel, num curso do mestrado na UFG em meados de 2011. Um dos cursos mais divertidos dos quais eu já participei! O livro apresenta codificações bem perspicazes que, na minha opinião, são melhores que as do artigo original. Contudo, ele não abre mão da aritmetização em momento algum, ainda que em alguns momentos a pressuponha *explicitamente* quando apresenta formulações abstratas do resultado gödeliano. -- Hermógenes Oliveira ________________________________________ From: Francisco Miraglia Neto <mirag...@ime.usp.br> Sent: Sunday, 29 December 2019 12:47 Cc: Lista brasileira Subject: Re: [Logica-l] Kurt Gödel and the mechanization of mathematics > 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. -- 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/AM6P192MB04885FBB7208427DFED25A43E9240%40AM6P192MB0488.EURP192.PROD.OUTLOOK.COM.