Alan Turing
Alan Turing
Alan Turing
La máquina de Turing
En su memorable estudio "Los números computables, con una aplicación al
Entscheidungsproblem" (publicado en 1936), Turing reformuló los resultados obtenidos por Kurt
Gödel en 1931 sobre los límites de la demostrabilidad y la computación, sustituyendo al lenguaje
formal universal descrito por Gödel por lo que hoy se conoce como máquina de Turing, unos
dispositivos formales y simples. Turing demostró que dicha máquina era capaz de resolver
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. Llegó a probar
que no había ninguna solución para el problema de decisión, Entscheidungsproblem, demostrando
primero que el problema de la parada para las máquinas de Turing es irresoluble: no es posible
decidir algorítmicamente si una máquina de Turing dada llegará a pararse o no. Aunque su
demostración se publicó después de la demostración equivalente de Alonzo Church respecto a su
cálculo lambda, el estudio de Turing es mucho más accesible e intuitivo. También fue pionero con
su concepto de «máquina universal (de Turing)», con la tesis de que dicha máquina podría realizar
las mismas tareas que cualquier otro tipo de máquina. Su estudio también introduce el concepto de
números definibles.
Máquinas Oracle
La mayor parte de 1937 y 1938 la pasó en la Universidad de Princeton, estudiando bajo la dirección
de Alonzo Church. Entre 1938 y 1939 volvió a Inglaterra y estudió filosofía de las matemáticas.
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,
las cuales permitían el estudio de los problemas para los que no existe una solución algorítmica.
Tras su regreso a Cambridge en 1939, asistió a las conferencias de Ludwig Wittgenstein sobre las
bases de las matemáticas. Ambos discutieron y mantuvieron un vehemente desencuentro, ya que
Turing defendía el formalismo matemático y Wittgenstein criticaba que la matemática estaba
sobrevalorada y no descubría ninguna verdad absoluta.
Para romper los códigos de la máquina Enigma y permitir a los aliados anticipar los ataques y
movimientos militares nazis, Turing diseñó la bombe, una máquina electromecánica —llamada así
en reconocimiento de la diseñada por los polacos bomba kryptologiczna— que se utilizaba para
eliminar una gran cantidad de claves enigma candidatas. Para cada combinación posible se
implementaba eléctricamente una cadena de deducciones lógicas. Era posible detectar cuándo
ocurría una contradicción y desechar la combinación. La bombe de Turing, con una mejora añadida
que sugirió el matemático Gordon Welchman, era la herramienta principal que usaban los
criptógrafos aliados para leer las transmisiones Enigma.
Los trabajos de ruptura de códigos de Turing fueron secretos hasta los años 1970; ni siquiera sus
amigos más íntimos llegaron a tener constancia.
Estudios sobre las primeras computadoras y el test de Turing
De 1945 a 1948 Turing vivió en Richmond, Londres, donde trabajó en el Laboratorio Nacional de
Física (NPL) en el diseño del ACE (Automatic Computer Engine o Motor de Computación
Automática). En 1946 presentó un estudio que se convertiría en el primer diseño detallado de un
computador automático. El primer borrador del informe sobre el EDVAC de Von Neumann fue
anterior al de Turing, pero mucho menos detallado. Aunque diseñar el ACE era factible, el
secretismo que reinaba durante la guerra desembocó en retrasos para iniciar el proyecto por lo que
Turing se sintió desilusionado. En 1947 se tomó un año sabático en Cambridge, tiempo durante el
cual escribió un trabajo pionero sobre la inteligencia artificial que no fue publicado en vida.
Mientras se encontraba en Cambridge y a pesar de su ausencia, se sigui ó construyendo el prototipo
piloto del ACE, q ue ejecutó su primer programa en mayo de 1950. Aunque la versión completa
del ACE de Turing jamás fue construida, el diseño de otras computadoras en todo el mundo le
debió mucho a su concepción.
A mediados de 1948 fue nombrado director delegado del laboratorio de computación de la
Universidad de Mánchester y trabajó en el software de una de las primeras computadoras reales, la
Manchester Mark I. Durante esta etapa también realizó estudios más abstractos y en su artículo de
octubre de 1950 «Computing machinery and intelligence» Turing trató el problema de la
inteligencia artificial y propuso un experimento que hoy se conoce como test de Turing, con la
intención de definir una prueba estándar por la que una máquina podría catalogarse como
«sensible» o «sintiente». En el documento, Turing sugirió que en lugar de construir un programa
para simular la mente adulta, sería mejor producir uno más simple para simular la mente de un niño
y luego someterlo a educación. Una forma invertida de la prueba de Turing se usa ampliamente en
Internet, el test CAPTCHA que está diseñado para determinar si un usuario es un humano y no una
computadora.
Reconocimiento póstumo
El 23 de junio de 2001 se inauguró una estatua de Turing en Mánchester. Se encuentra en Sackville
Park, entre el edificio de la Universidad de Mánchester en la calle de Whitworth y la gay village
de la calle del Canal. Coincidiendo con el 50.º aniversario de su muerte, se descubrió una placa
conmemorativa en su antiguo domicilio, Hollymeade, en Wilmslow el 7 de junio de 2004.
La Association for Computing Machinery otorga anualmente el Premio Turing a personas
destacadas por sus contribuciones técnicas al mundo de la computación. Este premio está
ampliamente considerado como el equivalente del Premio Nobel en el mundo de la computación.
El Instituto Alan Turing fue inaugurado por el UMIST (Instituto de Ciencia y Tecnología de la
Universidad de Mánchester) y la Universidad de Mánchester en el verano de 2004.
El 5 de junio de 2004 se celebró un acontecimiento conmemorativo de la vida y la obra de Turing
en la Universidad de Mánchester, organizado por el British Logic Colloquium y la British Society
for the History of Mathematics.
El 28 de octubre de 2004 se descubrió una estatua de bronce de Alan Turing esculpida por John W.
Mills en la Universidad de Surrey. La estatua conmemora el 50.º aniversario de la muerte de Turing.
Representa a Turing transportando sus libros a través del campus.21
El 23 de junio de 2012, día en el que se conmemoró el centenario del nacimiento de Turing, Google
presentó entre sus habituales doodles una pequeña máquina de Turing capaz de comparar dos
cadenas de caracteres binarios.
Turing en el cine
El telefilme británico dirigido por Alex Garland, Ex Machina (2015) en el que se trata de hacer
pasar la prueba de Turing a un androide con inteligencia artificial.
El telefilme británico Breaking the Code (1996), con la actuación de Derek Jacobi en el papel
de Alan Turing, es una adaptación de la obra de teatro homónima de Hugh Whitemore, que se
estrenó en 1986.22
The Imitation Game (2014, dirigida por Morten Tyldum, con Benedict Cumberbatch y Keira
Knightley) cuenta la vida del matemático Alan Turing y su decisiva influencia en el desarrollo
de la Segunda Guerra Mundial. En ella se explica cómo se descifraron los códigos secretos de
la compleja máquina Enigma que utilizaban los nazis para el intercambio de mensajes.
Turing en la literatura
Turing es uno de los personajes de la sección de la Segunda Guerra Mundial del Criptonomicón,
de Neal Stephenson.
La obra de teatro Breaking the Code, de Hugh Whitemore, trata sobre la vida y la muerte de
Turing.
En la novela de John L. Casti titulada El quinteto de Cambridge (1998), perteneciente al género
de ficción científica, uno de los personajes centrales es Alan Turing.
El cuento de ciencia ficción Oracle (2000), de Greg Egan, es protagonizado por un alter ego de
Turing en una línea temporal paralela y con un nombre distinto.
En la novela de ciencia-ficción 2001, de Arthur C. Clarke, se hacen constantes referencias a
Turing y a su test de máquinas en el caso de HAL.
En la novela de Edmundo Paz Soldán titulada El delirio de Turing (2003), uno de los personajes
se inspira en Turing y a otro le ponen de sobrenombre el mismo.
En la novela de ciencia-ficción Neuromante, de William Gibson, se menciona a La Policía
Turing, que vigila la aparición de inteligencias artificiales en el ciberespacio.
En la novela La tienda de los suicidas, de Jean Teulé, uno de los hijos de la familia Tuvache
lleva el nombre de Alan por Alan Turing.
Turing en la música
El dúo musical Matmos publicó en 2006 un EP de tres canciones llamado For Alan Turing.23
En uno de sus temas, una de las máquinas Enigma originales es sampleada.
El grupo Hidrogenesse publicó en 2012 su disco Un dígito binario dudoso. Recital para Alan
Turing, que también está dedicado al matemático.