Encyclopedia > Matthew Cook

  Article Content

Matthew Cook

Matthew Cook is the man who proved that the Rule 110 cellular automaton is Turing-complete, and presented this proof at a Santa Fe Institute[?] conference. However, Stephen Wolfram suppressed its publication with a court order. (Wolfram was the first to study this rule, and had concluded that it could not be Turing-complete.) Then Wolfram gave a general overview of the proof in A New Kind of Science.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Charles V, Holy Roman Emperor

... a number of years. The expeditions of the Ottoman force along the Mediterranean coast posed a threat to Hapsburg lands and the peace of Western Europe. In 1535 Charles won ...

 
 
 
This page was created in 23.8 ms