Matthew Cook (nacido el 7 de febrero de 1970) es un matemático e informático que demostró la conjetura de Stephen Wolfram de que el autómata celular de la Regla 110 es Turing completo .
Biografía
Cook nació en Morgantown, West Virginia y creció en Evanston, Illinois . Él es un alumno del programa de Estudios de Verano en Matemáticas de Hampshire College y completó sus estudios de pregrado en la Universidad de Illinois y 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 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. Actualmente se encuentra en el Instituto de Neuroinformática de Zurich en Suiza.
Trabaja con Stephen Wolfram
En la década de 1990, Cook trabajó como asistente de investigación de Stephen Wolfram , colaborando 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 Rule 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. [1]
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 . [2]
Referencias
- ^ Martínez, Genaro J .; Seck Tuoh Mora, Juan; Chapa, Sergio; Lemaitre, Christian (abril de 2019). "Breves apuntes e historia de la computación en México durante 50 años" . Revista Internacional de Sistemas Paralelos, Emergentes y Distribuidos . 35 (2): 185-192. arXiv : 1905.07527 . doi : 10.1080 / 17445760.2019.1608990 . S2CID 150262966 . Consultado el 15 de abril de 2020 .
- ^ Cook, Matthew (2004). "Universalidad en autómatas celulares elementales" . Sistemas complejos . 15 : 1–40. Archivado (PDF) desde el original el 28 de mayo de 2016.