Ce vai ver que é simples... Chegando em casa posto, ainda hoje (tô no Rio, na Coppe) a prova de que - existe - esse algoritmo. A construção dele é que é tricky, mas pode ser feita.
2009/8/7 Marcelo Finger <[email protected]> > Oi Dória. > > Estarei na terça-feira no newtonfest. A gente se fala. > > > []s > > 2009/8/7 Francisco Antonio Doria <[email protected]> > >> Vais no Newtonfest? Te mosto direitinho lá. Tem, claro, um gimmick... >> >> ;-))))) >> >> >> 2009/8/7 Marcelo Finger <[email protected]> >> >>> Então este algoritmo tem de deixar alguns casos de fora. >>> >>> >>> 2009/8/7 Francisco Antonio Doria <[email protected]> >>> >>>> 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> >>>>> >>>>> >>>> >>> >>> >>> -- >>> 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> >>> >>> >> > > > -- > 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
