In the course of the development of "A New Kind of Science", as a research assistant to Wolfram in 1994, Matthew Cook proved that some of these structures were rich enough to support universality.
Во время написания книги A New Kind of Science ассистент Стивена Вольфрама Мэттью Кук в 1994 году доказал, что некоторые из порождаемых правилом структур достаточно разнообразны, что обладать полнотой по Тьюрингу.