Alan Turing

Alan Turing

Infancia y juventud

Alan Mathison Turing nació en Paddington el 23 de junio de 1912. Sus padres Julius y Ethel residían en la India debido a que Julius trabajaba de funcionario en la India, pero decidieron volver al Reino Unido para que su hijo naciera allí. Esto hizo que Alan tuviera una infancia peculiar debido a los constantes viajes de sus padres entre Inglaterra e India durante los cuales dejaban a sus hijos al cargo de amigos.

A los 12 años entra en Sherborne School. Su jefe de estudios dijo de él “si lo único que quiere ser es un especialista científico, está perdiendo el tiempo en una escuela pública”. Durante su estancia en dicha escuela Turing perdió a su amigo Christopher Morcom por una tuberculosis bovina contraída tras beber leche de vaca infectada. Esto le hizo perder su fe religiosa y convertirse en ateo.

Tras Sherborne School, Turing fue a King’s College en Cambridge. A pesar de que destacó en el campo de las matemáticas y la tecnología, en un artículo suyo de 1950 mostrará un toque filosófico/moralista ya que relacionó el concepto matemático de la tecnología con problemas tradicionales como la separación de la mente y cuerpo, el libre albedrío y el determinismo.

En 1931 formaliza el concepto de máquina de Turing sustituyendo así el lenguaje formal que Kurt Gödel utilizaba sobre los límites de la tecnología y la demostración En 1935 es nombrado profesor del King’s College, a la temprana edad de 22 años.

La Máquina de Turing

Desarrolló el concepto de la máquina de Turing. Una máquina de Turing es un dispositivo teórico que manipula símbolos de una cinta de entrada en función de unas reglas. Se define como un autómata, que mediante un cabezal lector que lee de una cinta de entrada símbolos de un alfabeto, cambiando entre estados en función de la entrada pudiendo rechazar o aceptar la cadena de entrada dependiendo del lenguaje que acepte. Dicha máquina era capaz de implementar cualquier problema matemático que pudiera representarse mediante un algoritmo. Formalmente se define en función de los estados que tiene dicho autómata el alfabeto de entrada y las transiciones que soportal. Es una herramienta básica para el campo de los autómatas y lenguajes formales.

...