Mais um pitaco. Recordo antes de mais nada que os pré-requisitos para a aplicação do > teorema, como bem lembrou o Petrucio em mensagem recente, incluem, > mais especificamente: > > * * *
4. SF só prova verdades; Não é necessário 4 acima, se estamos entendendo "verdade", por "verdade aritmética", ou seja, verdadeira no Modelo Padrão. Com efeito, se S é uma teoria formal e G uma fórmula de Gödel construída como de costume, temos que, G é uma verdade, mas é indicidível em S. Logo, S+~G é consistente [e tem modelo (não padrão)] e o Teorema de Gödel se aplica a S+G também. Abraços, Ricardo. -- Dr. Ricardo Pereira Tassinari - Departamento de Filosofia UNESP - Faculdade de Filosofia e Ciências - Marília Homepage: http://www.marilia.unesp.br/ricardotassinari
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
