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