Newton e eu, em 91, mostramos que uma porção de dispositivos analógicos idealizados decidiam sentenças indecidíveis da aritmética. Não era um resultado original: Scarpellini já o havia publicado em 1963, e Kreisel em 1975 (só soubemos de ambos depois de fazer nosso trabalho). Com isso, resolvemos olhar mais de perto a questão da insolubilidade do Problema da Parada (Halting Problem), e vimos que a coisa não era bem como se dizia.
Estou tentando organizar um workshop a respeito na Coppe. Duas palestras: uma, que eu faço, e outra, um convidado. Tenho recursos para pagar a passagem (nacional) e estadia. Tentei na área de computação quântica - mas, surpreendentemente, os pesquisadores contactados sequer responderam a meu convite. Penso, agora, em redes neurais. Alguém gostaria de vir falar aqui no Rio, na Coppe, sobre redes neurais? Seria em começos de setembro.
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
