Editing Matthew Cook (section)

==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&mdash;an action that led Wolfram Research to accuse Cook of violating his [[Non-disclosure agreement|NDA]] and resulted in the blocking of the publication of the proof in the conference proceedings.
<ref>{{Cite journal
| last1 = Martinez
| first1 = Genaro J.
| last2 = Seck Tuoh Mora
| first2 = Juan
| last3 = Chapa
| first3 = Sergio
| last4 = Lemaitre
| first4 = Christian
| date = April 2019
| pages = 185–192
| title = Brief notes and history computing in Mexico during 50 years
| journal = International Journal of Parallel, Emergent and Distributed Systems
| volume = 35
| issue = 2
| doi = 10.1080/17445760.2019.1608990
| access-date = 2020-04-15
| url = https://www.researchgate.net/publication/332634058
| arxiv = 1905.07527
| s2cid = 150262966
}}</ref>

''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 (journal)|Complex Systems]]''.<ref>{{Cite journal |last=Cook |first=Matthew |year=2004 |title=Universality in Elementary Cellular Automata |url=https://www.complex-systems.com/abstracts/v15_i01_a01/ |url-status=live |journal=Complex Systems |volume=15 |pages=1–40 |doi=10.25088/ComplexSystems.15.1.1 |archiveurl=https://web.archive.org/web/20160528014857/http://www.complex-systems.com/pdf/15-1-1.pdf |archivedate=28 May 2016}}</ref>