10/08/2018
Alan Turing un adelantado.
En 1936 publicó el artículo “Sobre números computables, con una aplicación al Entscheidungsproblem” (traducible como “problema de decisión”), que resultó ser el origen de la informática teórica. En él definía qué era computable y qué no lo era. Lo computable era todo aquello que podía resolverse con un algoritmo (conjunto de instrucciones finito que, mediante pasos sucesivos, lleva a la solución de un problema). El resto eran tareas no computables.
Turing demostró que había problemas irresolubles, es decir, sin solución algorítmica. Para dar forma al concepto ideó la famosa máquina que lleva su nombre, un dispositivo imaginario que, una vez construido, podría ejecutar cualquier operación matemática resoluble por medio de un algoritmo, y que, en el caso de programarse, se transformaría en un ordenador. Pero Turing jamás llegó a materializar su proyecto, al no contar con los medios técnicos necesarios.
Turing predijo incluso los fallos que hoy afectan a nuestros ordenadores, como el hecho de que se "cuelguen".
Antes de la existencia de los ordenadores, Turing no solo teorizó sobre la base de su funcionamiento, sino que incluso predijo sus futuros fallos. Así, mientras ideaba su máquina, definió el problema de parada, o "halting problem", al afirmar que no existe ningún algoritmo general que pueda averiguar si una operación iniciada será finita o no. Turing vaticinó de este modo que los ordenadores se “colgarían”. Hoy, cuando una computadora cae en un bucle infinito, debemos conformarnos con reiniciar la máquina.
