Chico, Contam que perguntaram a Santo Tomás de Aquino: -- se Deus lhe desse o direito de pedir-Lhe resposta para uma única pergunta, o que você perguntaria? E Santo Tomás respondeu: -- Senhor, o que eu escrevi é verdade?
Pois é, lembrei-me disso quando vi o video de vocês com o Nassif. Ignorante que sou dessas coisas, só me resta ficar alegremente na torcida, esperando que a resposta de Deus para a mesma pergunta feita por voc6es seja: -- SSSIIIIIIIIIIIIIIIIIIMMMMMMMMMMMMMMMMMM !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! Beijos, Andrea Em 25 de fevereiro de 2012 07:42, Francisco Antonio Doria < famado...@gmail.com> escreveu: > Outra coisa, Walter tem razão: o que a gente fez foi só codificar o halting > problem no meio de termos de ZFC. Ou, dito de outro modo: qquer termo de > ZFC pode ser estendido a um com o halting problem codificado. Daí vem um > teorema tipo Rice pra matemática ``usual'' (cálculo etc) extremamente > poderoso e tudo, tudo fica indecidível. > > On Sat, Feb 25, 2012 at 12:53 AM, Francisco Antonio Doria < > famado...@gmail.com> wrote: > > > Há outra interpretação do resultado, mais pro gosto do pessoal austríaco: > > o mercado, assim modelado, funcionaria feito um hipercomputador. > > > > > > On Sat, Feb 25, 2012 at 12:50 AM, Francisco Antonio Doria < > > famado...@gmail.com> wrote: > > > >> A ideia foi do Tsuji. A prova original do Lewis, pra jogos > recursivamente > >> apresentáveis, é complicada. No nosso caso essa restrição é > desnecessária. > >> Delfim, na verdade, entra na brincadeira porque nos apresentou o Tsuji e > >> porque me desafiou a dar uma prova intuitiva do teorema de > Arrow-Debreu, o > >> que pode ser feito se vc chuta um teorema adequado de ponto fixo. > >> > >> > >> On Fri, Feb 24, 2012 at 8:58 PM, Walter Carnielli < > >> walter.carnie...@gmail.com> wrote: > >> > >>> Parabens ao Dória, Newton, Tsuhi, Delfim Neto e Turing pelo decreto > >>> de morte do Neoliberalismo (afinal, a impossibilidade de computar o > >>> equilibrio é, no fundo no fundo, consequencia do Halting Problem. > >>> > >>> Só me surpreende muito ver Delfin Neto metido nisso :-) > >>> Abs, > >>> > >>> Walter > >> > >> > >> -- > >> fad > >> > >> ahhata alati, awienta Wilushati > >> > >> > > > > > > -- > > fad > > > > ahhata alati, awienta Wilushati > > > > > > > -- > fad > > ahhata alati, awienta Wilushati > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l