1. ¿Propuso el concepto de "prueba de Turing"?
El término prueba de Turing proviene de un artículo "Computing Machinery and Intelligence" escrito por Alan McGison Turing, un pionero en informática y criptografía, en 1950. 30 de ellas eran las predicciones de Turing sobre las capacidades de pensamiento de las máquinas en 2000. , una predicción que actualmente estamos muy por detrás.
2. Máquina de Turing
La máquina de Turing fue propuesta por Turing en 1936. Es un modelo informático preciso de propósito general que puede simular todos los comportamientos computacionales de una computadora real. La llamada máquina de Turing se refiere a una máquina abstracta con una cinta de papel infinitamente larga. La cinta de papel se divide en pequeños cuadrados, cada cuadrado es de un color diferente. Hay un cabezal de máquina que se mueve hacia adelante y hacia atrás sobre la cinta de papel.
3. Inteligencia artificial
En 1949, Turing se convirtió en vicepresidente del Laboratorio de Computación de la Universidad de Manchester, donde trabajó en el desarrollo del software necesario para ejecutar el Manchester Mark 1 almacenado. -programa de computadora.
4. Establecimiento de la biología
Desde 1952 hasta su muerte, Turing se ha dedicado a la investigación de la biología matemática. Publicó un artículo "La base química de la morfogénesis" en 1952.
5. Problema de determinación
En 1937, Turing utilizó su método para resolver el famoso problema de juicio de Hilbert: la fórmula del cálculo de predicados estrecho (también llamado lógica de primer orden) puede emitir juicios de satisfacción. .
Codificó la máquina de Turing con fórmulas en lógica de primer orden y luego derivó la incertidumbre de la lógica de primer orden a partir de la incertidumbre del problema de parada de la máquina de Turing. El "método de codificación" que creó aquí se convirtió en uno de los principales métodos para demostrar la incertidumbre de las fórmulas lógicas de primer orden.
En la cuestión del juicio, otro logro de Turing es el concepto de máquina de Turing con fuente de información externa propuesto en 1939, del que se derivan los conceptos de "reducibilidad de Turing" y recursividad relativa.