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:
“Neither a work of nature nor one of art we get to know when they have been finished; we must surprise them in the process of being created so as to understand them to some degree.”
—Johann Wolfgang Von Goethe (1749–1832)
“Well, at least I have the satisfaction of having destroyed a terrible monster, and in doing so rid the world of an awful curse.”
—Griffin Jay, and Harold Young. Stephen Banning (Dick Foran)