Alan Turing fue un matemático y criptoanalista británico considerado uno de los padres de la ciencia de la computación. Proporcionó formalizaciones influyentes de los conceptos de algoritmo y computación a través de la máquina de Turing, y contribuyó al enigma de la inteligencia artificial. Terminó su carrera después de ser condenado por homosexualidad y se suicidó dos años después, aunque fue exonerado oficialmente en 2013.

1. ALAN TURING

2. INDICE:
● ¿Quien es?
● ¿Que hizo?
● Máquina turing
● Como termino su carrera.
● Breve resumen de su biografía
● Solución al problema de decisión
● Tesis church-turing
● Estudio sobre las primeras computadoras

3. ¿Quien es y que hizo?
● Es considerado uno de los padres de la ciencia de la computación
siendo el precursor de la informática moderna. Proporcionó una
influyente formalización de los conceptos de algoritmo y
computación: la máquina de Turing.
● Proporcionó una formalización de los algoritmos y la computación. Realizó la
máquina de Turing y se convirtió en el precursor de la informática moderna.
Entre otras muchas cosas, también contribuyó de forma particular e incluso
provocativa al enigma de si las máquinas pueden pensar, es decir, a la
inteligencia artificial.

4. MAQUINA TURING:
Es un dispositivo que manipula
símbolos sobre una tira de cinta
de acuerdo a una tabla de reglas.
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

5. ¿Como termino su carrera?
La carrera de Turing terminó súbitamente después de ser procesado
por ser homosexual. Turing se suicidó dos años después de su
condena.
El 24 de diciembre de 2013, la reina Isabel II de Inglaterra promulgó
el edicto por el que se exoneró oficialmente al matemático,
quedando anulados todos los cargos en su contra.

6. Biografía:
Nació en Paddington, Londres, el 23 de
junio de 1912 Durante su infancia sus
padres viajaban constantemente entre el
Reino Unido y la India ya que su padre
aún debía cubrir su puesto de
funcionario en la India, por lo que sus
dos hijos eran cuidados por amigos
ingleses

7. Solución al problema de decisión:
El Entscheidungsproblem, que se traduce como 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. En 1936, de manera independiente, Alonzo Church y Alan
Turing demostraron ambos que es imposible escribir tal algoritmo

8. Tesis church-turing
La tesis de Church-Turing formula hipotéticamente la
equivalencia entre los conceptos de función computable y
máquina de Turing, que expresado en lenguaje corriente vendría
a ser: «Todo algoritmo es equivalente a una máquina de
Turing».

9. Estudio sobre las computadoras
A mediados
de 1948 fue
nombrado
director
delegado del
laboratorio de
computación
de la
Universidad
de
Mánchester y
trabajó en el
software de
una de las
primeras
computadoras
reales

10. Estudio sobre las computadoras
A mediados
de 1948 fue
nombrado
director
delegado del
laboratorio de
computación
de la
Universidad
de
Mánchester y
trabajó en el
software de
una de las
primeras
computadoras
reales