O algoritmo, caso a caso, não. E' algoritmo mesmo. 2009/8/7 Marcelo Finger <[email protected]>
> > 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 <http://www.ime.usp.br/%7Emfinger> > >
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
