Matthew Cook

For other people named Matthew Cook, see Matthew Cook (disambiguation).

Matthew Cook (born February 7, 1970) is a mathematician and computer scientist who proved Stephen Wolfram's conjecture that the Rule 110 cellular automaton is Turing-complete. Rule 110 is arguably the simplest Turing-complete system currently known.

Biography

Cook was born in Morgantown, West Virginia and grew up in Evanston, Illinois. His undergraduate studies were at the University of Illinois and the Budapest Semesters in Mathematics program. In the 1980s Cook qualified as a member of the six-person US team to the International Mathematical Olympiad. In 1990, Cook went to work for Wolfram Research, makers of the computer algebra system Mathematica. He did his doctoral work in Computation and Neural Systems at Caltech from 1999 to 2005.

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's proof of this fact was first declared obviously impossible by Wolfram in 1985.^[1]

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^{[dead link]} in Wolfram's journal Complex Systems.

References

1. ^ Cosma Shalizi's review of A New Kind of Science by by Stephen Wolfram

External links

• Personal Web Site
• Collection of Reviews of Wolfram's Book

Persondata
Name	Cook, Matthew
Alternative names
Short description
Date of birth	February 7, 1970
Place of birth
Date of death
Place of death