Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Índice
1 Biografía
1.1 Su infancia
1.2 Estudios
1.3 Christopher Morcom
1.4 La Universidad y sus estudios sobre computabilidad
2 Solución al problema de decisión
3 Tesis Church-Turing
3.1 La máquina de Turing
4 Máquinas oracle
5 Análisis criptográfico (desciframiento de códigos)
6 Estudios sobre las primeras computadoras
7 Prueba de Turing
8 Primer programa de ajedrez por computadora
9 Estudios sobre cibernética
10 Estudios sobre la formación de patrones y la biología matemática
11 Procesamiento por homosexualidad y muerte de Turing
12 Reconocimiento póstumo
12.1 Turing en el cine
12.2 Turing en la Web y otros medios
12.3 Turing en la literatura
12.4 Turing en la música
13 Véase también
14 Referencias
14.1 Bibliografía
15 Enlaces externos
Biografía
Turing nació en Maida Vale, Londres,8 aunque fue concebido en Chatrapur (India
británica). Su padre Julius Mathison Turing (1873-1944) era miembro del cuerpo de
funcionarios británicos en la India, donde estaba de permiso en su puesto en el
Indian Civil Service (ICS) en la entonces Presidencia de Madrás y actualmente
estado de Odisha. Julius y su esposa Ethel querían que su hijo Alan naciera en el
Reino Unido y regresaron a Paddington, donde finalmente nació.
Su infancia
Durante su infancia, sus padres viajaban entre Hastings, Reino Unido, y la India
debido a que la Administración Colonial en la que trabajaba su padre seguía en
activo, por lo que pasó algunos años viviendo con su hermano en la casa de un
matrimonio retirado del ejército. Desde muy pequeño Turing mostró un gran interés
por la lectura (se cuenta que aprendió a leer por sí solo en tres semanas), 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 (e ilógico, según su parecer)
sistema educativo.
Estudios
Entre enero de 1922 y 1926, Turing estudió en la preparatoria Hazelhurst, una
escuela independiente en el pueblo de Frant en Sussex (hoy East Oriental).10
Christopher Morcom
Christopher Morcom estudiaba junto con Turing en la escuela de Sherborne y ambos
compartían la pasión por la ciencia. Durante las clases de matemática o física, se
intercambiaban notas de comentarios sobre rompecabezas. Chistopher invitó a Alan a
conocer a su madre, una artista. Alan se enamoró de él. Fue su primer amor y la
primera persona que creyó en sus ideas y con quien podía continuar
desarrollándolas.131415 El 13 de febrero de 1930,16 solo unas pocas semanas después
de su última temporada en Sherborne, Christopher Morcom falleció debido a
complicaciones de la tuberculosis bovina, contraída tras beber leche de alguna vaca
infectada. Al recordarlo Turing afirmaba: «Mis recuerdos más vívidos de Chris son
casi siempre de las cosas tan amables que me decía».15
Desde entonces la fe religiosa de Turing se hizo pedazos, y se volvió ateo. También
se obsesionó por entender la naturaleza de la consciencia, su estructura y
orígenes. Adoptó la convicción de que todos los fenómenos, incluyendo el
funcionamiento del cerebro humano, son materialistas.17 Sin embargo, siguió
creyendo en la supervivencia del espíritu después de la muerte.
Tesis Church-Turing
Artículo principal: Tesis de Church-Turing
La tesis de Church-Turing formula hipotéticamente la equivalencia entre los
conceptos de función computable y máquina de Turing, que expresado en lenguaje
corriente vendría a ser: «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, no obstante, tiene una aceptación prácticamente universal.
La tesis Church-Turing postula que cualquier modelo computacional existente tiene
las mismas capacidades algorítmicas, o un subconjunto, de las que tiene una máquina
de Turing.
La máquina de Turing
Artículo principal: Máquina de Turing
En su estudio Los números computables, con una aplicación al Entscheidungsproblem
(publicado el 28 de mayo de 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.19
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.20 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.21
Máquinas oracle
Artículo principal: Máquina 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.22
¿Y si para luchar contra una máquina como Enigma hiciese falta otra máquina?25
A raíz de esta pregunta, Turing pudo poner en práctica sus teorías: diseñó la
máquina Bombe. Bombe buscaba la configuración de los rotores de la máquina alemana,
implementando una cadena de deducciones lógicas para cada combinación posible.
Gracias a las mejoras del matemático, Gordon Welchman, el 14 de marzo de 1940, el
primer prototipo estaba terminado. Al cabo de un tiempo disponían con más de
doscientas Bombes.26
Los trabajos del Servicio Británico Descifrado, dirigidos por Turing, fueron
determinantes para acortar la guerra. Algunos historiadores afirman que su trabajo
acortó dos años la duración de la guerra, salvando alrededor de catorce millones de
vidas.27 Al finalizar la guerra, las máquinas Bombe se desmantelaron y todo el
trabajo permaneció en secreto hasta los setenta. En 1974 el capitán W. F.
Winterbotham escribió el libro The Ultra Secret.28
El test de Turing es una prueba que propuso Alan Turing buscando una manera de
demostrar la existencia de inteligencia en una máquina.
De 1945 a 1948 Turing vivió en Richmond, Londres, donde trabajó en el Laboratorio
Nacional de Física (NPL). En 1947 empezó a trabajar en el diseño del ACE (Automatic
Computer Engine o Motor de Computación Automática). Paralelamente, existía un
proyecto similar en Estados Unidos llamado EDVAC de Von Neumann. El ACE de Turing
se diferenciaba en que incluía la implementación de funciones aritméticas en
circuitos electrónicos. Su deseo era crear una máquina que pudiera ser configurada
para hacer cálculos algebraicos, desencriptar códigos, manipular archivos y jugar
al ajedrez. 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.
Tiempo más tarde creó el Abbreviated Code Instruction, que dio origen a los
lenguajes de programación. 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. En 1948, con la ayuda de Frederic Calland Williams, se dio,
por primera vez, la demostración del principio de la máquina de Turing.
Prueba de Turing
Artículo principal: Prueba de Turing
«Una computadora puede ser llamada inteligente si logra engañar a una persona
haciéndole creer que es un humano» - Alan Turing.30
La forma de hacer pasar la prueba a una máquina consiste básicamente en una persona
hablando con una computadora en otra habitación mediante un sistema de chat. Si la
persona es incapaz de determinar si habla con un humano o con una computadora,
entonces la computadora se considera inteligente.
En el año 2014, por primera vez, el chatbot de Eugene Gootsman, logró convencer a
treinta jueces que estaban participando en la prueba de que estaban chateando con
un niño ucraniano de trece años.3132
Reconocimiento póstumo
Una leyenda urbana asegura que el logo de Apple Computers (mordisco de la manzana)
rinde homenaje a Turing y su suicidio comiendo una manzana envenenada con cianuro.
Incluso, el arco iris en el logo sería un homenaje a la homosexualidad de Turing.
Sin embargo, estas suposiciones fueron desmentidas por Rob Janoff, creador del logo
de Apple y de hecho, los colores ni siquiera se muestran en el mismo orden que en
la bandera arco iris, dado que esta fue diseñada dos años más tarde de la creación
de dicha imagen.43
Turing en el cine
En el telefilm británico dirigido por Alex Garland, Ex Machina (2015) se trata de
hacer pasar la prueba de Turing a una androide con inteligencia artificial.44
El telefilm británico Breaking the Code (1996), en el que Derek Jacobi aparece 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.45
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.
Bletchley Park, serie en Netflix acerca de los trabajos británicos para descifrar
los códigos alemanes durante la Segunda Guerra Mundial.
Turing en la Web y otros medios
En la segunda temporada del programa de telerrealidad RuPaul's Drag Race UK, la
drag queen Tia Kofi le rindió tributo dentro del runway "UK Gay Icons".46
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.
En la novela gráfica "Enigma: La extraña vida de Alan Turing" podemos encontrar una
biografía de Alan Turing escrita por Francesca Riccioni e ilustrada por Tuono
Pettinato traducida al castellano por Víctor Balcells Matas para NORMA Editorial
(2015).
En la novela El enigma Turing de David Lagercrantz (Áncora & Delfín, 2018), se
reconstruye la investigación policial que Scotland Yard llevó a cabo cuando Turing
fue encontrado muerto en su casa de Wilmslow, Inglaterra.
En la novela "Máquinas como yo" de Ian McEwan aparece en un mundo con ligeros
cambios al real, en el que Turing no muere tan pronto.
En la novela "La utopía de Turing" o "La opción de Turing" de Harry Harrison y
Marvin Minski (1992), se relata como una inteligencia artificial es integrada con
un ser humano.
Turing en la música
En el 2004 nació en Barcelona el colectivo audiovisual de electrónica La Màquina de
Turing en alusión al trabajo de Turing, publicaron en 2010 un EP llamado Antídot
bajo licencia GNU GPL.47
El dúo musical Matmos publicó en 2006 un EP de tres canciones llamado For Alan
Turing.48 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.
La banda madrileña Nostalghia publicó a finales de enero de 2019 el álbum Sociedad
Turing en alusión al británico