Matthew Cook - Work With Stephen Wolfram

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 with and/or work:

    Memory is a wonderfully useful tool, and without it judgement does its work with difficulty; it is entirely lacking in me.... Now, the more I distrust my memory, the more confused it becomes. It serves me better by chance encounter; I have to solicit it nonchalantly. For if I press it, it is stunned; and once it has begun to totter, the more I probe it, the more it gets mixed up and embarrassed. It serves me at its own time, not at mine.
    Michel de Montaigne (1533–1592)

    Even the wisest man grows tense
    With some sort of violence
    Before he can accomplish fate,
    Know his work or choose his mate.

    Poet and sculptor, do the work,
    Nor let the modish painter shirk
    William Butler Yeats (1865–1939)