---------- 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
PSL-Brasil@listas.softwarelivre.org
http://listas.softwarelivre.org/mailman/listinfo/psl-brasil
Regras da lista: 
http://twiki.softwarelivre.org/bin/view/PSLBrasil/RegrasDaListaPSLBrasil
  • [PSL-Brasil] Fwd: [estudiolivre] Estudante comprova Maqui... Fabianne Balvedi

Responder a