2. ÍNDICE
¿Quién fue?
Infancia
Solución al problema de decisión
Tesis Church-Turing
Máquina de Turing
Fin de su carrera
3. ¿QUIÉN FUE?
Alan Mathison Turing
fue un matemático,
lógico, científico de la
computación, criptó-
grafo, filósofo y
maratonista y corredor
de ultra distancia.
Es considerado uno de los
padres de la ciencia de la
computación.
4. INFANCIA
Turing dio muestras ya desde una edad muy
temprana del ingenio que más tarde mostraría.
Aprendió a leer por sí solo en tres semanas y desde el
principio mostró un gran interés por los números y
los rompecabezas.
5. SOLUCIÓN AL PROBLEMA DE DECISIÓN
El problema de decisión, fue un reto en lógica
simbólica de encontrar un algoritmo general que
decidiera si una fórmula del cálculo de primer orden
es un teorema. Turing demostró que es imposible
escribir tal algoritmo.
6. TESIS CHURCH-TURING
«Todo algoritmo es equivalente a una máquina de
Turing».
El test de Turing es una prueba
que propuso Alan Turing
buscando una manera de
demostrar la existencia de
inteligencia en una máquina.
7. MÁQUINA DE TURING
Es un dispositivo que manipula
símbolos sobre una tira de cinta de
acuerdo a una tabla de reglas.
Consta de un cabezal
lector/escritor y una cinta infinita
en la que el cabezal lee el
contenido, borra el contenido
anterior y escribe un nuevo valor.
8. FIN DE SU CARRERA
La carrera profesional de Turing se
vio truncada cuando lo procesaron
por su homosexualidad.
En 1952 Arnold Murray, el amante
de Turing, ayudó a un cómplice a
entrar en la casa de Turing para
robarle. Turing acudió a la policía a
denunciar el delito. Durante la
investigación policial, Turing
reconoció su homosexualidad, con lo
que se le imputaron los cargos de
"indecencia grave y perversión
sexual“.