Continuando encurtado porque ficou muito grande: -------------------------------
Três coisas: - Tem provas muito simples (usando sentenças ∏2) para incompletude. - Tem algoritmos fáceis de implementar que provam a consistência de PA. - Existe um algoritmo (complicado) para resolver o problema da parada. Como é que vocês me explicam isso?
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
