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:
“If we notice a few errors in the work of a proven master, we may and even will often be correct; if we believe, however, that he is completely and utterly mistaken, we are in danger of missing his entire concept.”
—Franz Grillparzer (1791–1872)
“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. 1–2)