Oi Dória. Pois é, esta foi exatamente a pergunta que passou pela minha cabeça:
> O resultqdo da Hava é mais ou menos equivalente. Vc fsz redes neurais sobre > os reais, obtem um hipercomputador. Aí tem uma complicação interessante, > que não acontece conosco: que reais? P.e., em que modelo por forcing > operamos? Que reais ela usa? Se ela manipular reais não computáveis, como vai operar com eles? Se não manipula estes reais, o que está ganhando? []s -- 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
