Caro Hermógenes, Ambos os originais que mencionei, assim como o lembrado pelo Carlos são muito interessantes; considero os dois primeiros melhores que o livro de 1992, que é um ótimo texto.
Um grande abraço, Chico > On 29 Dec 2019, at 16:57, Hermógenes Oliveira <olive...@daad-alumni.de> wrote: > > 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. -- 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/AC31FEF5-DE6D-4BE7-A437-785F49E97810%40ime.usp.br.