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 and/or stephen:
“Christopher Cross: You shouldn’t be alone in the street so late at night.
Kitty March: I was coming home from work.
Christopher Cross: You work this late?
Kitty March: Mmm, hmmm.
Christopher Cross: What do you do?
Kitty March: Guess.
Christopher Cross: You’re an actress.
Kitty March: Oh, you are clever!”
—Dudley Nichols (1895–1960)
“Two voices are there: one is of the deep;
It learns the storm-cloud’s thunderous melody,”
—James Kenneth Stephen (1859–1892)