A prova da incompletude a que me referi está em S. C. Kleene, _Mathematical Logic_, 1967.
Provar que existe um algoritmo para o prblema da parada é simples; descrevê-lo, complicado paca. 2009/8/7 Francisco Antonio Doria <[email protected]> > 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
