[Logica-l] Re: Spirit of Contradiction", o filme...

OK, Walter Oportunamente farei isso. Abraço Adonai Em terça-feira, 17 de dezembro de 2019 08:51:46 UTC-3, Walter Carnielli escreveu: > > Caro Adonai: > > Obrigado pela continuação da discussão. Certamente termos um filme nessas > condições é melhor que não ter nada, e reconheço obviamente que

Re: [Logica-l] Re: Kurt Gödel and the mechanization of mathematics

Me parece que o teorema da incompletude de Kleene prescinde de uma codificação. Sent from my iPhone > On 18 Dec 2019, at 13:03, Joao Marcos wrote: > > Os comentários sobre o *racionalismo otimista* ("platonismo ingênuo"?) > de Gödel, no artigo, são filosoficamente interessantes. > > Das três

[Logica-l] Re: Kurt Gödel and the mechanization of mathematics

Os comentários sobre o *racionalismo otimista* ("platonismo ingênuo"?) de Gödel, no artigo, são filosoficamente interessantes. Das três observações que faço abaixo, as duas primeiras são críticas e a terceira é um questionamento para os colegas. ### (0) Entre outras coisas, como observação pare

[Logica-l] Kurt Gödel and the mechanization of mathematics

Kurt Gödel and the mechanization of mathematics - Juliette Kennedy discusses Kurt Gödel’s Incompleteness Theorems: the ingenious proofs and enduring impact https://www.the-tls.co.uk/articles/kurt-godel-incompleteness-theorems/ JM -- Você está recebendo esta mensagem porque se inscreveu no grupo

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

Caros, Na nossa mensagem anterior, o sinal de [fim da citação] da segunda citação deveria ir logo após a frase "Por essa razão uma estrutura a valores em PS3 não pode fornecer modelos de ZF completo. Deve necessariamente haver algo errado no segundo resultado principal Teorema 9.4!>>" Abraços

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

Prezados Sourav e Giorgio Muito obrigado mais uma vez pelas observações. No entanto, infelizmente tem alguns erros de argumentação que acabam invalidando as mesmas. Antes de prosseguir, gostaríamos de passar a limpo os objetivos das suas críticas, (1) e (2). A crítica (1) visa mostrar que nosso

[Logica-l] January 14, 2020 - 2nd edition of the World Logic Day - Under the auspices of UNESCO

After the adoption of January 14 as the World Logic Day by the Executive Council of UNESCO on October 17, 2019, January 14 was officially proclaimed as the World Logic Day at the 40th session of the General Conference of UNESCO in Paris, November 12-27, 2019. See below extracts of the text, r