Alan Mathison Turing, OBE (Paddington, Londres, 23 de junio de 1912-Wilmslow, Cheshire, 7 de junio
de 1954), fue un matemático, lógico, científico de la computación, criptógrafo, filósofo, maratoniano
y corredor de ultra distancia británico. Es considerado uno de los padres de la ciencia de la
computación y precursor de la informática moderna. Proporcionó una influyente formalización de
los conceptos de algoritmo y computación: la máquina de Turing. Formuló su propia versión de la
hoy ampliamente aceptada tesis de Church-Turing.
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo
a una tabla de reglas. A pesar de su simplicidad, una máquina de Turing puede ser adaptada para
simular la lógica de cualquier algoritmo de computador y es particularmente útil en la explicación
de las funciones de una CPU dentro de un computador.
El test de Turing (o prueba de Turing) es una prueba de la habilidad de una máquina
de exhibir un comportamiento inteligente similar, o indistinguible, del de un
humano. Alan Turing propuso que un humano evaluara conversaciones en lenguaje
natural entre un humano y una máquina diseñada para generar repuestas similares
a las de un humano. El evaluador sabría que uno de los miembros de la conversación
es una máquina y todos los participantes serían separados de otros
Colossus fue la primera de las máquinas digitales en incorporar una limitada
programabilidad. No obstante no era una computadora de propósito general, no siendo
turing completa, aunque las Colossus se basaban en la definición de Alan Turing y éste
trabajó en Bletchley Park, donde las Colossus fueron operadas. En aquella época no era
tan importante que las máquinas fuesen Turing-completas, la mayoría del resto de las
primeras máquinas computacionales tampoco lo eran, como por ejemplo la
Computadora de Atanasoff-Berry, Harvard Mark I la primera máquina electromecánica,
las máquinas de relés de los Laboratorios Bell (de George Stibitz et alt), los primeros
diseños de Konrad Zuse y demás.