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:
“I can’t work without a model. I won’t say I turn my back on nature ruthlessly in order to turn a study into a picture, arranging the colors, enlarging and simplifying; but in the matter of form I am too afraid of departing from the possible and the true.”
—Vincent Van Gogh (1853–1890)
“If a man cannot do brain work without stimulants of any kind, he had better turn to hand work—it is an indication on Nature’s part that she did not mean him to be a head worker.”
—Thomas Henry Huxley (1825–95)
“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)