Alan Turing timeline.

Nació el 23 de junio de 1912 en Londres, Inglaterra, y fue hijo de Julius Mathison Turing y Ethel Sara Stoney.

Alan Mathison Turing fue un matemático, lógico, científico de la computación, criptógrafo, filósofo, maratoniano y corredor de ultra distancia británico. Reconocido por ser uno de los padres de la ciencia de la computación y precursor de la informática moderna; también tuvo que ver en la formalización del concepto de algoritmo y computación.

De niño, estuvo un gran tiempo radicado en la India, debido a que su papá trabajaba en la Administración Colonial de ese país. Durante su infancia se interesó por la lectura, los rompecabezas y los números.
A la edad de 6 años inició sus estudios en el colegio St. Michael, donde su maestra vio rápidamente la genialidad de Turing. A la edad de 8 años su interés por el conocimiento y la experimentación química era tan alto que diseñó un pequeño laboratorio en su casa.

Entró al internado de Sherborne en Dorset, donde conoció a Christopher Morcom y se hicieron buenos amigos; tiempo después, su compañero falleció, lo que fue un gran golpe para Alan Turing, tanto así que se volvió ateo. El joven empezó a inclinarse hacia la matemática y la ciencia, actitud que no le atribuyó respeto de parte de sus profesores; aun así, ganó gran parte de los premios matemáticos que se daban en la escuela.

Estudió en King’s College, Universidad de Cambridge, donde se graduó satisfactoriamente.
Tiempo después se trasladó a la Universidad estadounidense de Princeton, donde trabajó con el lógico Alonzo Church y Recibió las enseñanzas de Godfrey Harold Hardy. Tras su excelente desempeño, en el año 1935 Alan Turing fue nombrado profesor del King’s College.

Alonzo Church y Alan Turing demostraron que era imposible escribir el Entscheidungsproblem, que significaba problema de decisión, el cual pretendía encontrar un algoritmo general que decidiera si una fórmula de cálculo de primer orden es un teorema. Concluyeron también, que es imposible tomar la decisión con un algoritmo general si algunas frases concretas de la aritmética son ciertas o falsas.

También publicó su importante estudio “Los números computables, con una aplicación al Entscheidungsproblem”, Alan Turing reformuló los resultados logrados por Kurt Gödel en 1931 sobre los límites de la demostrabilidad y la computación, sustituyendo al lenguaje formal universal descrito por Gödel por lo que hoy se conoce como máquina de Turing, unos dispositivos formales y simples.

Entre los años 1937 y 1938 estuvo en la Universidad de Princeton, donde realizó estudios con Alonzo Church. En el año 1938, regresó a Inglaterra para estudiar filosofía de las matemáticas, y en ese mismo año obtuvo el Doctorado en Princeton; en su discurso planteo el concepto de hipercomputación, en el que profundizaba las máquinas de Turing con las llamadas máquinas oracle, las cuales eran capaces de estudiar los problemas que no tenían una solución algorítmica.

En esa época, gracias a los trabajos hechos por Alan Turing y Alonzo Church, formularon la Tesis Church-Turing, la cual formulaba que “Todo algoritmo es equivalente a una máquina de Turing”. La tesis Church-Turing postulaba que cualquier modelo computacional tiene las mismas capacidades algorítmicas, o era un subconjunto de las que tiene una máquina de Turing.

En la segunda Guerra mundial, Alan Turing fue uno de los principales creadores de los trabajos del Bletchley Park para descubrir los códigos secretos nazis. Sus estudios del sistema Fish ayudaron al desarrollo de la primera computadora programable electrónica digital llamada Colossus, la cual fue diseñada por Max Newman y su grupo de trabajo, y construida por el grupo de Thomas Flowers en el año 1943.

Para el año 1945 llegó a Richmond, Londres, para realizar labores en el Laboratorio Nacional de Física (NPL) en el diseño del ACE (Automatic Computer Engine o Motor de Computación Automática). En el año 1946 expuso un estudio que se convertiría en el primer diseño detallado de un computador automático. Para el año 1947, escribió un trabajo sobre la inteligencia artificial, el cual no fue publicado en vida.

Alan Turing fue nombrado director delegado del laboratorio de computación de la Universidad de Mánchester y estuvo encargado de trabajar en el software de una de las primeras computadoras reales, la Manchester Mark I. En el mes de octubre de 1950, hizo estudios más abstractos, los cuales publicó en su artículo “Computing machinery and intelligence”.