> Provar que existe um algoritmo para o prblema da parada é simples; > descrevê-lo, complicado paca. >
ESte algoritmo tem que usar alguma chamada a um procedimento indecidível. []s > > 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 > > -- Marcelo Finger Departamento de Ciencia da Computacao Instituto de Matematica e Estatistica Universidade de Sao Paulo Rua do Matao, 1010 05508-090 Sao Paulo, SP Brazil Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax) http://www.ime.usp.br/~mfinger
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
