El reto de Hilbert y el problema de la decisión
Para entender el logro de Turing, es necesario remontarse a 1928, cuando el famoso matemático alemán David Hilbert planteó tres preguntas fundamentales sobre los cimientos de las matemáticas. La tercera de ellas era el Entscheidungsproblem (el "Problema de la Decisión"): ¿existe un procedimiento mecánico definitivo (un algoritmo) que pueda determinar, en un número finito de pasos, si cualquier proposición matemática dada es verdadera o falsa?
Hilbert esperaba que la respuesta fuera afirmativa. Sin embargo, en 1931, Kurt Gödel demostró con sus Teoremas de Incompletitud que los sistemas matemáticos formales tienen limitaciones inherentes. Para abordar formalmente el problema de Hilbert, Turing necesitaba una definición matemática rigurosa de lo que significa "un procedimiento mecánico".
La cinta infinita y la Máquina de Turing
En su artículo de 1936 ("Sobre los números computables, con una aplicación al Entscheidungsproblem"), Turing propuso un modelo matemático abstracto denominado Máquina de Turing:
- Una cinta infinita dividida en casillas, donde se pueden escribir o leer símbolos (por ejemplo, 0s y 1s).
- Un cabezal de lectura/escritura que se desplaza a lo largo de la cinta, leyendo un símbolo a la vez, modificándolo y moviéndose a la izquierda o a la derecha.
- Una tabla de estados internos (el "programa") que le indica al cabezal qué hacer exactamente según el símbolo que lee y el estado en el que se encuentra.
La brillantez del concepto no residía solo en esta máquina simple, sino en lo que Turing llamó la Máquina Turing Universal: una máquina que puede simular el comportamiento de cualquier otra máquina de Turing. En lugar de construir una máquina diferente para cada problema, se podía construir una sola máquina física cuya función cambiara simplemente leyéndolos programas codificados como datos en la cinta. La distinción entre hardware y software acababa de nacer.
El Problema de la Parada y los límites de la computación
Utilizando esta construcción matemática, Turing respondió negativamente a la pregunta de Hilbert demostrando la existencia del Problema de la Parada (Halting Problem): es matemáticamente imposible diseñar un programa general que pueda analizar cualquier otro programa y determinar si este terminará de ejecutarse en algún momento o si se quedará colgado en un bucle infinito para siempre.
Turing demostró que existen problemas matemáticos y lógicos que ningún ordenador, por potente que sea, podrá resolver jamás. La computación nació con sus propios límites matemáticos infranqueables grabados desde su origen.
Turing demostró que no se necesita una máquina diferente para cada tarea: basta con una sola máquina capaz de leer instrucciones escritas. Esa idea es la diferencia entre una calculadora y un ordenador.
Bletchley Park, Enigma y la Bombe
Durante la Segunda Guerra Mundial, Turing puso en práctica sus ideas teóricas trabajando en el centro secreto de criptoanálisis británico en Bletchley Park. Las fuerzas armadas alemanas utilizaban la máquina electro-mecánica Enigma para cifrar sus comunicaciones militares, cambiando la configuración de sus rotores diariamente.
Turing diseñó una máquina electromecánica gigantesca llamada Bombe, que procesaba miles de combinaciones posibles por segundo para descifrar las claves diarias de Enigma. El trabajo de Turing y sus colegas en Bletchley Park permitió a los Aliados leer las comunicaciones secretas alemanas durante años, acortando la guerra en Europa se calcula en dos años y salvando millones de vidas.
Tras la guerra, Turing diseñó el ACE (Automatic Computing Engine), uno de los primeros proyectos de ordenador digital de programa almacenado del mundo.
La prueba de Turing y la inteligencia artificial
En 1950, Turing publicó otro artículo célebre titulado "Maquinaria computacional e inteligencia", en el que planteó por primera vez la pregunta: "¿Pueden pensar las máquinas?".
Consciente de que definir "pensar" de forma abstracta era un terreno ambiguo, Turing propuso un criterio práctico conocido como el Juego de la Imitación (o Prueba de Turing): si un evaluador humano conversa por escrito con una máquina y con un ser humano sin saber cuál es cuál, y no puede distinguir de forma fiable cuál es la máquina, entonces se puede afirmar que la máquina exhibe comportamiento inteligente. Esta prueba sigue siendo un punto de referencia filosófico central en el debate sobre la inteligencia artificial moderna.
Una condena trágica y una disculpa tardía
A pesar de sus contribuciones monumentales a la victoria aliada y al nacimiento de la informática, la historia personal de Alan Turing concluyó en una tragedia sombría producto de los prejuicios de su época. En 1952, tras sufrir un robo en su casa, Turing declaró a la policía que mantenía una relación con un hombre.
La homosexualidad era considerada un delito penal en el Reino Unido de la época. Turing fue procesado por "indecencia grave" y condenado. Para evitar la cárcel, aceptó someterse a un tratamiento de castración química mediante inyecciones de estrógenos durante un año, lo que le provocó depresión y cambios físicos severos. Además, se le retiró su acreditación de seguridad gubernamental, impidiéndole continuar su trabajo de asesoría criptográfica.
En junio de 1954, a los cuarenta y un años de edad, Alan Turing fue hallado muerto en su cama por envenenamiento por cianuro. La investigación oficial concluyó que se trató de un suicidio (junto a su cama se encontró una manzana a medio comer, que la tradición popular asoció a la leyenda del veneno).
Tuvieron que pasar más de medio siglo para que la sociedad británica reconociera la injusticia. En 2009, el primer ministro Gordon Brown emitió una disculpa pública oficial en nombre del gobierno, y en 2013 la reina Isabel II le concedió un perdón real póstumo. Hoy, el billete de 50 libras del Banco de Inglaterra lleva el rostro de Alan Turing como reconocimiento al hombre que sentó las bases del mundo digital.
Para llevar
En 1936, Alan Turing concibió el modelo matemático de la Máquina Universal, estableciendo la distinción fundamental entre hardware y software y demostrando la existencia de problemas no computables. Durante la Segunda Guerra Mundial, su trabajo en Bletchley Park descifró los códigos de la máquina Enigma, salvando incontables vidas. En 1950 sentó las bases de la inteligencia artificial con la Prueba de Turing. Perseguido por su homosexualidad en 1952 y fallecido trágicamente en 1954, Turing es reconocido hoy como el padre de la informática moderna.
Para hacer: cuando abras una aplicación o un programa en tu ordenador o teléfono móvil, recuerda que la capacidad de ese único dispositivo para transformarse en una calculadora, un procesador de texto, un reproductor de música o un simulador es la realización práctica directa de la Máquina Universal de Turing de 1936.
Fuentes y para profundizar
Fuentes
- El artículo de Turing sobre los números computables (1936), el concepto de la Máquina Universal, el problema de la parada, el trabajo criptográfico en Bletchley Park con la máquina Bombe, y el artículo de 1950 sobre la Prueba de Turing son documentos fundamentales de la historia de la informática. Su procesamiento judicial en 1952, su fallecimiento en 1954 y el perdón real póstumo de 2013 son hechos de registro público.
Para profundizar
- 📘 Alan Turing: The Enigma — Andrew Hodges (la biografía definitiva sobre su trabajo matemático, vida y legado)
- 🌐 The Turing Digital Archive — King's College Cambridge
- 🌐 Bletchley Park Museum
- 🌐 Pieza relacionada en esta biblioteca: La Tabla Periódica y La Mecánica Cuántica
Para tu español
engranaje (gear) · casilla (cell/square) · infranqueable (insurmountable/unpassable) · bucle (loop) · criptoanálisis (cryptanalysis) · castración química (chemical castration) · póstumo (posthumous) · conceder (to grant)