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
