Encontro DebianDayPT 2008 - Inscreve-te! | Visite também o Planeta DebianPT.org

Turing Machine

Submetido por nifan a Quinta, 2007-10-25 11:19.

Um jovem de 20 anos vai receber uma soma avultada por provar que uma máquina de Turing[1], mais especificamente uma máquina de Turing Universal[2] do tipo 2,3 (2 estados, 3 cores) pode resolver todos os problemas computacionais conhecidos. O artigo[3] que o demonstra tem apenas 55 páginas.

Fonte: http://arstechnica.com/news.ars/post/20071024-simple-turing-machine-show...

[1] - http://en.wikipedia.org/wiki/Turing_machine
[2] - http://en.wikipedia.org/wiki/Universal_Turing_machine
[3] - http://www.wolframscience.com/prizes/tm23/TM23Proof.pdf

Back to top