ALAN MATHISON TURING

ALAN MATHISON TURING

1. Paddington, Londres, 23 de junio de 1912 - Wilmslow, Cheshire, 7 de junio de 1954

2. Matemático, lógico, científico de la computación, criptógrafo, filósofo, maratonista y corredor de ultra distancia británico.

   • padre de la ciencia de la computación y precursor de la informática moderna
     • Proporcionó formalización de los conceptos de algoritmo y computación: la máquina de Turing.
       • Formuló su versión de la tesis de Church-Turing.

3. APORTES

   • En 1936, Alonzo Church y Alan Turing demostraron que es imposible escribir el algoritmo que decidiera si una fórmula del cálculo de primer orden es un teorema. Tambièn, es imposible decidir con un algoritmo general si ciertas frases de la aritmética son ciertas o falsas.
   • La tesis de Church-Turing formula hipotéticamente: «Todo algoritmo es equivalente a una máquina de Turing». No es en sí un teorema matemático: es una afirmación formalmente indemostrable, una hipótesis que tiene una aceptación prácticamente universal.
   • La maquina de TUring es 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.
   • En 1938 obtuvo el Doctorado en Princeton; en su discurso introdujo el concepto de hipercomputación, en el que ampliaba las máquinas de Turing con las llamadas máquinas oracle que permitían el estudio de los problemas que no tienen una solución algorítmica.
   • Turing diseñó la bombe, una máquina electromecánica que se utilizaba para eliminar gran cantidad de claves enigma. Era posible detectar cuándo ocurría una contradicción y desecharla. Con una mejora que sugirió el matemático Gordon Welchman, era la herramienta principal que usaban los criptógrafos aliados para leer las transmisiones Enigma.
   • Propuso el test de Turing, una prueba estándar para catalogar una máquina como «sensible» o «sintiente». Una forma invertida de la prueba de Turing se usa en Internet, como el test CAPTCHA, diseñado para determinar si un usuario es un humano y no una computadora.

Images and files in the map