The Matthew Cook reference article from the English Wikipedia on 24-Apr-2004 (provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)

Matthew Cook

In the 1990's Matthew Cook served as a research assistant to Stephen Wolfram, where among other things he developed a proof showing that the Rule 110 cellular automaton is Turing-complete. Against Wolfram's wishes that the proof remain confidential until the publication of Wolfram's A New Kind of Science, Cook nevertheless presented his proof at a Santa Fe Institute conference. Subsequently, it was stricken from the published proceedings by court order. Rule 110 is an extremely simple system, and the fact that it is Turing-complete is remarkable.

Cook was born in Morgantown, West Virginia, in 1970 and grew up in Evanston, Illinois. He studied at the University of Illinois and in Hungary before going to work for Wolfram. He later went to Caltech for doctoral work in Computation and Neural Systems.

This is the "Matthew Cook" reference article from the English Wikipedia. All text is available under the terms of the GNU Free Documentation License. See also our Disclaimer.