Matthew Cook - Work With Stephen Wolfram

Work With Stephen Wolfram

In the 1990s Cook worked as a research assistant to Stephen Wolfram, assisting with work on Wolfram's book, A New Kind of Science. Among other things, he developed a proof showing that the Rule 110 cellular automaton is Turing-complete.

Cook presented his proof at the Santa Fe Institute conference CA98 before the publishing of Wolfram's book — an action that led Wolfram Research to accuse Cook of violating his NDA and resulted in the blocking of the publication of the proof in the conference proceedings.

A New Kind of Science was released in 2002 with an outline of the proof. In 2004, Cook published his proof in Wolfram's journal Complex Systems.

Read more about this topic:  Matthew Cook

Famous quotes containing the word work:

    You should go to picture-galleries and museums of sculpture to be acted upon, and not to express or try to form your own perfectly futile opinion. It makes no difference to you or the world what you may think of any work of art. That is not the question; the point is how it affects you. The picture is the judge of your capacity, not you of its excellence; the world has long ago passed its judgment upon it, and now it is for the work to estimate you.
    Anna C. Brackett (1836–1911)