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:
“Most of our platitudes notwithstanding, self-deception remains the most difficult deception. The tricks that work on others count for nothing in that very well-lit back alley where one keeps assignations with oneself: no winning smiles will do here, no prettily drawn lists of good intentions.”
—Joan Didion (b. 1934)
“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)