Gostaria de apontar que o Saul Kripke apresentou em Paris uma prova semantica do teroema de Gödel "A Model Theoretic Approach to Gödel's Theorem" http://www.logic-in-question.org/ Bem detalhada mas ainda não publicada, todavia a palestra foi gravada ... Saudações JYB
Le lundi 3 juillet 2017 14:18:52 UTC+2, Hermógenes Oliveira a écrit : > > Rodrigo Freire <freir...@gmail.com <javascript:>> escreveu: > > > > > [...] > > > > Essa "leitura sintática" trivializa o teorema de Godel. > > Isso é obviamente falso, pois a demonstração de Gödel no artigo de > 1931 é completamente sintática, mas *não* é trivial. > > > -- > Hermógenes Oliveira > > -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/83d9e15c-ae77-451a-a15c-7e68de1a80d0%40dimap.ufrn.br.
