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:

    Martha, your father told me something once, a long time ago, when I first started to work with him: In the war of science, many people must die before any victory can be won.
    Robert D. Andrews, and Nick Grindé. Dr. Paul Ames (Bruce Bennett)

    Because I have work to care about, it is possible that I may be less difficult to get along with than other women when the double chins start to form.
    Gloria Steinem (b. 1934)

    I forsak the, Kyng Herowdes, and thi werkes alle;
    Ther is a chyld in Bedlem born is beter than we alle.’
    —Unknown. St. Stephen and King Herod (l. 6–8)