Oi Rodrigo,
Não é um ponto importante na (ótima) discussão de vocês, mas não
lembro de ter alertado o Daniel sobre isso:
Inicialmente falei de conjunto infinito de premissas,
depois fui alertado
pelo Rodrigo Freire que este caso pode se reduzir ao de
fórmulas com
comprimento infinito.
É verdade! Falha minha. Foi o Fernando Náufel que me alertou, e acho que
ele nem disse que um caso se reduzia no outro! De qualquer forma, em
qualquer dos casos não haverá uma prova formal finita.
Abraços,
Daniel
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
