Search results
Matthew Cook (born February 7, 1970) is a mathematician and computer scientist who is best known for having proved Stephen Wolfram's conjecture that the Rule 110 cellular automaton is Turing-complete.
In our group we have three main research directions: (1) exploring styles of computation that have similarities to how brains get things done, (2) showing that simple models of computation are as powerful as standard ones, and (3) reverse-engineering the brain by automating the analysis of electron microscope images of brain tissue.
625K Followers, 87 Following, 15 Posts - See Instagram photos and videos from MATTHEW COOK (@matthewcookofficial)
Articles 1–20. University of Groningen, Faculty of Science and Engineering & CogniGron Centre - Cited by 6,042 - Models of Computation - Cortical Information Processing.
Dr. Matthew Cook. Lecturer at the Department of Information Technology and Electrical Engineering. ETH Zürich. Institut für Neuroinformatik. Y55 G 90.
Matthew Cook. Complex Systems, vol. 15 (1), 2004, pp. 1-40. This result was first described in A New Kind of Science, Wolfram Media, 2002.
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.