2012/4/10 Joao Marcos <[email protected]>: >> http://www.kurzweilai.net/super-turing-machine-learns-and-evolves > > Você poderia nos falar um pouco sobre o modelo de hiper-computação em > questão? A reportagem apontada é escrita em linguagem mística > ("Siegelmann’s most recent analysis demonstrates that Super-Turing > computation has 2 to the power aleph-zero (virtually infinite) > possible behaviors"), e não dá para fazer ideia do que exatamente se > trata o modelo...
É uma rede neural analógica idealizada, que lida com números reais quaisquer (não só números computáveis!). A própria Siegelmann provou que uma certa classe de redes neurais é Turing-completa, e que caso se permita o processamento de números reais a rede torna-se superior à uma máquina de Turing. Talvez fosse o caso concluir que os números reais podem ser problemáticos. https://en.wikipedia.org/wiki/Real_computation inclusive cita a Siegelmann. E https://en.wikipedia.org/wiki/Hypercomputation#Hypercomputer_proposals diz que "A real computer (a sort of idealized analog computer) can perform hypercomputation[8] if physics admits general real variables (not just computable reals), and these are in some way "harnessable" for computation. This might require quite bizarre laws of physics (for example, a measurable physical constant with an oracular value, such as Chaitin's constant), and would at minimum require the ability to measure a real-valued physical value to arbitrary precision despite thermal noise and quantum effects." Usando como referência um artigo que, apesar de não afirmar o que foi dito, é bem interessante. E também "In 1994, Hava Siegelmann proved that her new (1991) computational model, the Artificial Recurrent Neural Network (ARNN), could perform hypercomputation (using infinite precision real weights for the synapses). It is based on evolving an artificial neural network through a discrete, infinite succession of states.[17]" _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
