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 words work with, work and/or stephen:

    Those who work their minds rule; those who work with their backs are ruled.
    —Chinese proverb.

    Mencius.

    You do not become a “dissident” just because you decide one day to take up this most unusual career. You are thrown into it by your personal sense of responsibility, combined with a complex set of external circumstances. You are cast out of the existing structures and placed in a position of conflict with them. It begins as an attempt to do your work well, and ends with being branded an enemy of society.
    Václav Havel (b. 1936)

    Seynt Stevene was a clerk in Kyng Herowdes halle.
    And servyd him of bred and cloth, as every kyng befalle.
    —Unknown. St. Stephen and King Herod (l. 1–2)