---------- Forwarded message ---------- From: Ricardo Brazileiro <[EMAIL PROTECTED]> Date: Oct 25, 2007 11:43 AM Subject: [estudiolivre] Estudante comprova Maquina de Turing To: [EMAIL PROTECTED]
Estudante comprova a viabilidade do computador mais simples possível Um estudante de 20 anos resolveu um problema matemático que nem mesmo o seu proponente, o pesquisador Stephen Wolfram, tinha certeza de que seria solucionável. A solução terá importantes desdobramentos para a eletrônica molecular<http://www.inovacaotecnologica.com.br/pesquisar.php?keyword=eletr%C3%B4nica%20molecular>e, eventualmente, permitirá a construção de nanocomputadores. *Máquina de Turing* O inglês Alex Smith venceu o concurso proposto por Wolfram e recebeu um prêmio de US$25.000,00 ao conseguir demonstrar que uma máquina de Turing extremamente simples - teoricamente a mais simples possível - era também um computador de uso geral. A máquina de Turing simplificada foi teorizada por Wolfram em seu livro Um Novo Tipo de Ciência. "E, embora não haja dúvida de que é muito difícil de se provar, parece que esta máquina de Turing, no fim das contas, poderá ser universal," diz ele no livro. *Computador universal* Mas, como ele próprio não conseguiu desenvolver esta prova, ele lançou o desafio para que matemáticos ou grupos de matemáticos resolvessem o problema, demonstrando se sua máquina hipótética seria ou não um computador universal. "Eu não tinha idéia de quanto tempo levaria para que alguém ganhasse o prêmio," diz Wolfram. "Poderia levar um ano, uma década ou mesmo um século." Afinal, o trabalho de 40 páginas de Smith resolve uma questão de mais de 50 anos. *Computador molecular* A demonstração matemática prova que a máquina, apesar de extremamente simples, pode resolver qualquer cálculo computacional feito por um computador de uso geral. Para isso, basta que ela seja suprida com a memória necessária e lhe seja dado o tempo adequado. Por ser extremamente simples, o cientista acredita que a máquina poderá vir a ser montada em escala molecular, dando origem a um computador molecular capaz de efetuar cálculos como os computadores tradicionais. http://www.wolframscience.com/ http://blog.wolfram.com/ -- Ricardo Brazileiro Linux User: #452427 http://rbrazileiro.wordpress.com http://estudiolivre.org ________________________________ Lista de Discussão do Estúdio Livre portal colaborativo -> http://www.estudiolivre.org/ sobre esta lista -> http://lists.riseup.net/www/info/estudiolivre -- Fabianne Balvedi GNU User #286985 http://fabs.estudiolivre.org "Nada melhor que as situações extremas para nos fazerem repensar e analisar o que realmente vale a pena." Roberta Nunes
_______________________________________________ PSL-Brasil mailing list [email protected] http://listas.softwarelivre.org/mailman/listinfo/psl-brasil Regras da lista: http://twiki.softwarelivre.org/bin/view/PSLBrasil/RegrasDaListaPSLBrasil
