Alan Turing, establece la relación entre la lógica y la computación electrónica, plantea la famosa Máquina de Turing, la cual es la base de la Teoría.

Allan Turing, establece la lógica y la computación electrónica, plantea la famosa maquina de Turing, la cual es la base de la Teoría de la Computación actual.
Al crear la maquina de Turing, durante la Segunda Guerra Mundial, ayudo a romper los códigos nazis de la maquina Enigma.
Conocido como uno de los primeros pioneros en la construccion de computadoras electronicas e investigaciones sobres inteligencia artificial. Se le ha considerado el padre de la Teoría de la computación al demostrar que una maquina binaria podía ser programada para realizar cualquier tarea algorítmica. Para unos los simbolos son estados físicos representados en trocitos de materia denominados chips en el computador y neuronas en el cerebro. Ellos simbolizan elementos activos en el mundo mental,natural y científico disparando su actividad para el entendimiento y la ejecución de las acciones correspondientes. Esos pedacitos de materia constituyen un simbolo y estan programados para encontrase indefinidamente con otros pedacitos de materia para así conformar más símbolos lógicamente relacionados, que asumirán diferentes funsciones mentales, inclusive comportamentales como producto de esta actividad simbólica. En la Teoría computacional de la mente nos permite conservar y utilizar información, creencias y deseos en nuestros comportamientos y colocarlos escueta y acertada o desacertadamente en el universo físico, lo que siginifica causar y se causado.

La maquina de Turing se convirtió en un instrumento ideal para probar si un procedimiento es efectivamente computable o no. Se dice que el funcionamiento es permitido por un dispositivo que transforma un INPUT en un OUTPUT después de algunos pasos. Tales como una cabeza de lectura, escritura que examina una dimensión posiblementes infinita, pero tan simple como una maquina de escribir y tan compleja como un ser humano.
Es por eso que cualquier función que pueda ser considerada de modo natural, como compuntable puede ser computada por una maquina universal de Turing.

Computabilidada y no Computabilidad

Una de las cuestiones más estudiadas en la teoría de la computabilidad ha sido posibilidad de construir algoritmos que nos determinen si un determinado algoritmo posee o no determinada propiedad. En los primeros estudios se obtenien demostraciones individuales de la no computabilidad de cada una de los custionamientos, se cuestion que casi cualquier pregunta acerca de algoritmo era no computable. Pero como consecuencia de la existencia de un programa universal se ha demostrado que en cuestionamientos la computabilidad.
Las acciones computables son una formalización de la nación intuitiva de algoritmo y según la tesis, son exactamente las funciones que pueden ser calculadas con una maquina de cálculo.