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

    Drive a nail home and clinch it so faithfully that you can wake up in the night and think of your work with satisfaction,—a work at which you would not be ashamed to invoke the Muse.
    Henry David Thoreau (1817–1862)

    Say what you will, making marriage work is a woman’s business. The institution was invented to do her homage; it was contrived for her protection. Unless she accepts it as such—as a beautiful, bountiful, but quite unequal association—the going will be hard indeed.
    Phyllis McGinley (1905–1978)

    Comes from a fine family. So she tells me. Brother’s a priest, all that. But, you know, death, disaster, unfortunate investments. One day she’s a little princess, up on the hill. Next, she’s down there, working the bars for the best she can.
    Peter Prince, British screenwriter, and Stephen Frears. Harry (Bill Hunter)