About: Wolfram's 2-state 3-symbol Turing machine     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FWolfram%27s_2-state_3-symbol_Turing_machine&invfp=IFP_OFF&sas=SAME_AS_OFF

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.

AttributesValues
rdf:type
rdfs:label
  • Máquina de Turing de 2 estados e 3 símbolos de Wolfram (pt)
  • Wolfram's 2-state 3-symbol Turing machine (en)
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)
rdfs:seeAlso
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/2-state_3-symbol_Turing_Machine.png
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
thumbnail
has 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)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 60 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software