Alan Turing
Alan Mathison Turing, (Paddington, Londres, 23 de junio de 1912-Wilmslow, Cheshire, 7
de junio de 1954), fue un matemático, lógico, científico de la computación, criptógrafo,
filósofo, maratoniano y corredor de ultra distancia británico.
El matemático británico pasó gran parte de su infancia en la India dado que su padre
trabajaba en la Administración Colonial del país. Desde muy pequeño Turing mostró un
gran interés por la lectura, por los números y los rompecabezas. Sus padres lo
inscribieron en el colegio St. Michael cuando tenía seis años; su profesora se percató
enseguida de la genialidad de Turing. Sus ansias de conocimiento y experimentación
llegaban hasta tal punto que, a los ocho años, atraído por la química, diseñó un pequeño
laboratorio en su casa. Su carrera escolar estuvo marcada, por un lado, por sus aptitudes
y su facilidad por las matemáticas y, por el otro, por su carácter inconformista que le
llevaba a seguir sus propias ideas y apartarse del rígido sistema educativo.
Es considerado uno de los padres de la ciencia de la computación y precursor de la
informática moderna. Proporcionó una influyente formalización de los conceptos de
algoritmo y computación: la máquina de Turing. Formuló su propia versión que hoy es
ampliamente aceptada como la tesis de Church-Turing.
Durante la segunda guerra mundial, trabajó en descifrar los códigos nazis, particularmente
los de la máquina Enigma, y durante un tiempo fue el director de la sección Naval Enigma
de Bletchley Park. Tras la guerra, diseñó uno de los primeros computadores electrónicos
programables digitales en el Laboratorio Nacional de Física del Reino Unido y poco
tiempo después construyó otra de las primeras máquinas en la Universidad de
Mánchester.
En el campo de la inteligencia artificial, es conocido sobre todo por la concepción del test
de Turing (1950), un criterio según el cual puede juzgarse la inteligencia de una máquina
si sus respuestas en la prueba son indistinguibles de las de un ser humano.
La carrera de Turing terminó súbitamente tras ser procesado por homosexualidad en
1952. Dos años después de su condena, falleció. El 24 de diciembre de 2013, la reina
Isabel II promulgó el edicto por el que se exoneró oficialmente al matemático, quedando
anulados todos los cargos en su contra.
Aportaciones de Turing a la computación
La máquina de Turing
En su memorable estudio "Los números computables, con una aplicación al
Entscheidungsproblem” 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.
Códigos secretos y el Bombe
Durante la Segunda Guerra Mundial, Turing fue contratado por el gobierno para descifrar
el código alemán Enigma. Para esto utilizó un artefacto electromecánico llamado Bombe,
construido junto a Welchman, que logró con éxito descifrar los códigos. Además, participó
de la construcción de un aparato que mantuviera en secreto las conversaciones de
Churchill y Roosevelt.
Luego de que los alemanes hicieron más complejos sus códigos, se comenzó a gestar el
proyecto Colossus. Turing creyó en la posibilidad de construir un artefacto que realice
tareas previamente asumidas, cosa solo equiparable al cerebro humano. Para construir
una máquina universal era necesario el almacenamiento, los códigos de instrucciones y
números.
Computadora ACE y la Inteligencia Artificial
A pedido del Laboratorio Nacional de Física, diseñó una computadora que permitía el
almacenamiento de datos. Sin embargo, por retrasos nunca llegó a construirla.
Igualmente, siguió trabajando en torno a las computadoras y en 1950 lanzó el libro
Maquinaria Computacional e inteligencia, con el tema tan polémico de la inteligencia
artificial. Turing realizó numerosos aportes a lo que son hoy nuestras computadoras
modernas, a través de la programación y la matemática. Sin duda fue un gran pensador
que aportó desde varios campos al desarrollo de la programación y los códigos. Dio el
primer paso en plantear la posibilidad de una inteligencia artificial que pueda parecerse a
la humana en su efectividad y cumplimiento de tareas, un tema que hasta el día de hoy es
clave.
Test de Turing
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.
