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:
“Let us work without theorizing, ‘tis the only way to make life endurable.”
—Voltaire [François Marie Arouet] (1694–1778)
“Comes from a fine family. So she tells me. Brother’s a priest, all that. But, you know, death, disaster, unfortunate investments. One day she’s a little princess, up on the hill. Next, she’s down there, working the bars for the best she can.”
—Peter Prince, British screenwriter, and Stephen Frears. Harry (Bill Hunter)