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:
“One should either be a work of art, or wear a work of art.”
—Oscar Wilde (1854–1900)
“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)