| dbo:abstract
|
- In his book A New Kind of Science, Stephen Wolfram described a universal 2-state 5-symbol Turing machine, and conjectured that a particular 2-state 3-symbol Turing machine (hereinafter (2,3) Turing machine) might be universal as well. On May 14, 2007, Wolfram announced a $25,000 prize to be won by the first person to prove or disprove the universality of the (2,3) Turing machine. On 24 October 2007, it was announced that the prize had been won by Alex Smith, a student in electronics and computing at the University of Birmingham, for his proof that it was universal. Since the proof applies to a non-standard Turing machine model which allows infinite, non-periodic initial configurations, it is categorized by some as "weak-universal". (en)
- Em seu livro A New Kind of Science, Stephen Wolfram descreveu uma máquina de Turing de cinco cores e dois estados; e conjecturou que uma máquina de Turing particular de dois estados e três cores (de agora em diante, máquina de Turing (2,3)) poderia também ser universal. Em 14 de maio de 2007, Wolfram anunciou um prêmio de $25,000 para a primeira pessoa que aprovasse ou desaprovasse a universalidade de uma máquina de Turing (2,3). De acordo com Wolfram, a proposta do prêmio era encorajar a pesquisa para ajudar a responder questões fundamentais associadas com a estrutura do que ele chama de "universo computacional". Em 24 de outubro de 2007, foi anunciado que o prêmio teria sido vencido por Alex Smith, um estudante de computação e eletrônica na Universidade de Birmingham. (pt)
|
| rdfs:comment
|
- In his book A New Kind of Science, Stephen Wolfram described a universal 2-state 5-symbol Turing machine, and conjectured that a particular 2-state 3-symbol Turing machine (hereinafter (2,3) Turing machine) might be universal as well. (en)
- Em seu livro A New Kind of Science, Stephen Wolfram descreveu uma máquina de Turing de cinco cores e dois estados; e conjecturou que uma máquina de Turing particular de dois estados e três cores (de agora em diante, máquina de Turing (2,3)) poderia também ser universal. (pt)
|
