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:
“As long as you dont fly openly in the face of society, society doesnt ask any inconvenient questions; and it makes precious short work of the cads who do. There are no secrets better kept than the secrets everybody guesses.”
—George Bernard Shaw (18561950)
“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. 12)