Alan Turing fue un matemático, lógico y científico de la computación británico que realizó contribuciones fundamentales a la teoría de la computabilidad con la máquina de Turing y la tesis de Church-Turing. Trabajó en descifrar códigos nazis durante la Segunda Guerra Mundial y propuso el test de Turing para evaluar la inteligencia de una máquina.

1. Naomi Trujillo Andrades 2ºBSA

2. Alan Turing (1912-1954)
fue un matemático, lógico,
científico de la
computación, criptógrafo y
filósofo británico.
Proporcionó una
formalización de los
conceptos de algoritmo
y computación: la
máquina de Turing.
Formuló su propia
versión de la tesis de
Church-Turing.
Trabajó en descifrar
los códigos nazis.

3. Solución al problema de decisión
 ¿Qúe fue 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.
 ¿Qúe aportó Turing?
 En 1936, junto a Alonzo Church, demostraron que
es imposible escribir tal algoritmo. Como
consecuencia, es imposible decidir con un
algoritmo general si ciertas frases concretas de la
aritmética son ciertas o falsas.

4. TESIS CHURCH-TURING
 Formula hipotéticamente que «Todo algoritmo es
equivalente a una máquina de Turing». Tiene una
aceptación universal. Postula que cualquier modelo
computacional existente tiene las mismas capacidades
algorítmicas, o un subconjunto, de las que tiene una
máquina de Turing.

5. La máquina de Turing
 Turing reformuló los resultados obtenidos por
Gödel sobre los límites de la demostrabilidad
y la computación, sustituyendo al lenguaje
formal universal por la máquina de Turing,
unos dispositivos formales y simples.
Demostró que dicha máquina era capaz de implementar
cualquier problema matemático que pudiera
representarse mediante un algoritmo. Las máquinas de
Turing siguen siendo el objeto central de estudio en la
teoría de la computación. Llegó a probar que no había
ninguna solución para el problema de decisión,
demostrando primero que no es posible decidir
algorítmicamente si una máquina de Turing dada llegará a
pararse o no.
Concepto de «máquina universal: dicha
máquina podría realizar las mismas tareas
que cualquier otro tipo de máquina. Su
estudio también introduce el concepto de
números definibles.

6.  El test de Turing es una prueba propuesta para demostrar la
existencia de inteligencia en una máquina. Fue expuesto en 1950
en un artículo para la revista Mind, y es uno de los mejores
métodos de inteligencia artificial. Se fundamenta en la hipótesis
de que, si una máquina se comporta en todos los aspectos como
inteligente, entonces debe ser inteligente.