
related topics 
{work, book, publish} 
{math, number, function} 
{system, computer, user} 
{game, team, player} 
{law, state, case} 

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 Turingcomplete. Rule 110 is arguably the simplest Turingcomplete system currently known.
Contents
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 sixperson 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 Turingcomplete. Cook's proof of this fact, first conjectured by Wolfram in 1985, has been described as the main technical achievement in Wolfram's book^{[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 in Wolfram's journal Complex Systems.
References
External links
Full article ▸


related documents 
Nevanlinna Prize 
Robin Milner 
Ada Byron's notes on the analytical engine 
Ron Rivest 
Georg Mohr 
Adi Shamir 
Frans van Schooten 
Daniel McFadden 
Hugo Steinhaus 
Steen Eiler Rasmussen 
Anton Peterlin 
Louis de Broglie 
Bruce C. Heezen 
Wikipedia:Public domain image resources 
Sidewise Award for Alternate History 
Steve McConnell 
Susan Faludi 
Richard Wilbur 
Matthias Jakob Schleiden 
Geoffrey A. Landis 
Factsheet Five 
Paul Conrad 
London College of Communication 
Anders Hejlsberg 
Corriere della Sera 
Wikipedia:List of Wikipedians in order of arrival 
Peter Shor 
Riccardo Giacconi 
Brian Kernighan 
Harald Sverdrup 
