Alan turing

Alan turing

Fue un Matemático, filósofo y científico de la computación, nacido en 1912 en Londrés, a los 41 años se suicidó por ser procesado como homosexual.

Durante la Segunda Guerra Mundial, trabajó tratando de descifrar códigos nazis y durante un tiempo fue el director de la sección Naval Enigma del Bletchley Park. Tras la guerra diseñó uno de los primeros computadores electrónicos programables digitales. 

Es considerado uno de los padres de la ciencia de la computación. Formalizó los conceptos de algoritmo y computación mediante la máquina de Turing. Formuló su propia versión, hoy día conocida como la tesis de Church-Turing.

• La máquina de 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 ordenador y es particularmente útil en la explicación de las funciones de una CPU dentro de un computador.

La diferencia entre una máquina y un ordenador es la programabilidad y esta máquina no era programable, pero sería capaz de obedecer distintos comandos, ordenes o instrucciones, lo que hoy llamaríamos software. 

• Tesis de Church-Turing.

Formula hipotéticamente la equivalencia entre los conceptos de función y máquina de Turing, que expresado en lenguaje corriente vendría a ser "todo algoritmo es equivalente a una máquina de Turing". No es un teorema matemático, es una afirmación formalmente indemostrable, una hipótesis que tiene una aceptación universal