Matthew Cook

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

Cook nació en Morgantown, Virginia Occidental , y creció en Evanston, Illinois . Realizó sus estudios de pregrado en la Universidad de Illinois y en el programa de Semestres de Matemáticas de Budapest. En 1987, Cook se clasificó como miembro del equipo estadounidense de seis personas para la Olimpiada Internacional de Matemáticas , donde ganó una medalla de bronce. En 1990, comenzó a trabajar para Wolfram Research , creadores del sistema de álgebra computacional Mathematica . Realizó su doctorado en Computación y Sistemas Neuronales en Caltech entre 1999 y 2005. Actualmente trabaja en el Instituto de Neuroinformática de Zúrich, Suiza.

En la década de 1990, Cook trabajó como asistente de investigación de Stephen Wolfram , colaborando en el libro de Wolfram, A New Kind of Science . Entre otras cosas, desarrolló una demostración 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 acuerdo de confidencialidad y que resultó en el bloqueo de la publicación de la prueba en las actas de la conferencia. ^{[ 1 ]}

En 2002 se publicó A New Kind of Science con un esquema de la demostración. En 2004, Cook publicó su demostración en la revista Complex Systems de Wolfram . ^{[ 2 ]}

• Sitio web personal
• Sitio en INI Zúrich

• Matthew Cook en el servidor de bibliografía DBLP