Andrea, não sei se o que fizemos é a verdade nalguma teoria econômica. Mas o teorema de Tsuji é tão bonito e elegante...
Bjs :)) On Sat, Feb 25, 2012 at 9:48 AM, Andrea Loparic <[email protected]> wrote: > 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 < > [email protected]> 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 < >> [email protected]> 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 < >> > [email protected]> 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 < >> >> [email protected]> 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 >> [email protected] >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > -- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
