Alan Turing
Alexander Amaguaya, IEEE, Gr2.
diseñó uno de los primeros computadores electrónicos
Abstract— Este documento va a tartar sobre la vida de Alan programables digitales en el Laboratorio Nacional de Física del
Turing quien fue un gran científico y aporto con grandes inventos Reino Unido y poco tiempo después construyó otra de las
para la humanidad, fue un excelente matemático. Una de sus primeras máquinas en la Universidad de Mánchester.
grandes aportaciones fue cuando descubrió los códigos secretos de
los submarinos de los nazis y su teoría sobre la morfogénesis.
Alan Turing, el padre de la inteligencia artificial. (2020).
[Link]. [Link]
padre-de-la-inteligencia-artificial-9162/
I. INTRODUCCIÓN
A LAN Turing nació el 23 de junio de 1912 en Londres,
Reino Unido. Pasó sus primeros trece años en la India,
donde su padre trabajaba en la Administración
colonial. De regreso al Reino Unido, estudió en el King's
College y, tras su graduación, se trasladó a la Universidad
estadounidense de Princeton, donde trabajó con el lógico
Alonzo Church. Fue un matemático, lógico, informático
teórico, criptógrafo, filósofo y biólogo teórico británico. Está
considerado como uno de los padres de la ciencia de la
computación y precursor de la informática moderna. En 1937
publicó un célebre artículo en el que definió una máquina
calculadora de capacidad infinita (máquina de Turing) que
operaba basándose en una serie de instrucciones lógicas,
sentando así las bases del concepto moderno de algoritmo.
La máquina de Turing era tanto un ejemplo de su teoría de
computación como una prueba de que un cierto tipo de máquina
computadora podía ser construida. Alan Turing definió además
un método teórico para decidir si una máquina era capaz de
pensar como un hombre (test de Turing) y realizó
contribuciones a otras ramas de la matemática aplicada, como
la aplicación de métodos analíticos y mecánicos al problema
biológico de la morfogénesis.
. Fig. 1. Máquina enigma
Algunos de sus inventos más importantes son: TEORIA DE LA MORFOGÉNESIS
● Máquina de Turing universal.
● Bombe.
● Banburismus. Turing fue el primero en sugerir una explicación científica
● Motor de cómputo automático. para la morfogénesis, que es el desarrollo de la estructura de un
organismo. Su teoría establecía que las células biológicas se
interconectan, transforman y crean patrones a través de un
proceso que él llamó reacción de difusión intercelular. Este
Durante la segunda guerra mundial, trabajó en descifrar los afirmó que las reacciones químicas tienen lugar entre las células
códigos nazis, particularmente los de la máquina Enigma, y y los tejidos en un embrión. Turing postuló que la formación de
durante un tiempo fue el director de la sección Naval Enigma diferentes patrones celulares podría ocurrir a través de la
de Bletchley Park. Se ha estimado que su trabajo acortó la difusión de reacciones químicas en un embrión. Las diferentes
duración de esa guerra entre dos y cuatro años. Tras la guerra,
reacciones químicas deben ser desencadenadas por un agente y
suprimidas con uno. Estas reacciones requieren dos agentes
diferentes y dos efectos diferentes: uno para inducir un efecto y
otro para mitigarlo.
LA FÓRMULA DE TURING
En 1952, el matemático británico Alan Turing propuso una
simple ecuación matemática capaz de generar una amplia gama
de patrones comunes en el mundo natural.
𝜕𝐶
= 𝐹(𝐶) + 𝐷∇2𝐶
𝜕𝑡
Fig. 2. Máquina de Turing
Turing fue el primero en dilucidar cómo surgen los patrones
animales debido a la inestabilidad en la difusión de sustancias
químicas morfogenéticas en la piel del animal durante la etapa
embrionaria de desarrollo. Si C es un vector de concentraciones
de morfógenos, la ecuación anterior nos dice la dinámica
espacial y temporal de estas concentraciones.
La fórmula de Turing | pimedios. (2020). [Link].
[Link]
MAQUINA DE TURING
Creada en 1936, una máquina de Turing es un dispositivo que
manipula símbolos en tiras de cinta magnética según una tabla
de reglas. A pesar de su simplicidad, las máquinas de Turing se
pueden utilizar para simular la lógica de cualquier algoritmo
informático y son especialmente útiles para explicar el
funcionamiento de la CPU dentro de una computadora.
Una máquina de Turing que puede simular cualquier otra
máquina de Turing se llama máquina Universal de Turing
(UTM). Alonzo Church propuso una definición más
matemáticamente orientada, con una naturaleza similarmente
"universal", y su trabajo sobre el cálculo lambda se entrelazó
con el trabajo de Turing para formar una teoría formal de la
computación conocida como el documento de Church-Turing.
El documento afirma que las máquinas de Turing en realidad
capturan la noción informal de métodos eficientes en lógica y
matemáticas, y brindan una definición precisa de un algoritmo
o "proceso mecánico".
Frabetti, C. (2020, July 10). La máquina de Turing. El País.
[Link]
[Link]
