Mateo Cook

Matthew Cook (nacido el 7 de febrero de 1970) es un matemático e informático conocido por haber demostrado la conjetura de Stephen Wolfram de que el autómata celular de la Regla 110 es Turing completo.

Biografía

Cook nació en Morgantown, Virginia Occidental y creció en Evanston, Illinois. Es alumno del programa de estudios de verano en matemáticas de Hampshire College y completó sus estudios universitarios en la Universidad de Illinois y en el programa de semestres en matemáticas de Budapest. En 1987, Cook se clasificó como miembro del equipo estadounidense de seis personas para la Olimpiada Matemática Internacional y ganó una medalla de bronce. En 1990, Cook comenzó a trabajar para Wolfram Research, creadores del sistema de álgebra computacional Mathematica. Hizo su trabajo de doctorado en Computación y Sistemas Neurales en Caltech de 1999 a 2005. Ahora se encuentra en el Instituto de Neuroinformática de Zurich en Suiza.

Trabajar con Stephen Wolfram

En la década de 1990, Cook trabajó como asistente de investigación de Stephen Wolfram, ayudando con el trabajo en el libro de Wolfram, A New Kind of Science. Entre otras cosas, desarrolló una prueba que muestra que el autómata celular de la Regla 110 es Turing-completo.

Cook presentó su prueba en la conferencia CA98 del Instituto Santa Fe antes de la publicación del libro de Wolfram, una acción que llevó a Wolfram Research a acusar a Cook de violar su NDA y resultó en el bloqueo de la publicación de la prueba en las actas de la conferencia.

A New Kind of Science se publicó en 2002 con un resumen de la prueba. En 2004, Cook publicó su prueba en la revista Complex Systems de Wolfram.