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
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
