Entre otras muchas cosas, también contribuyó de forma particular e incluso provocativa al enigma de si las máquinas pueden pensar, es decir a la
Inteligencia Artificial.
La carrera de Turing terminó súbitamente luego de ser procesado por ser
homosexual. Turing se suicidó dos años después de su condena.
El 24 de diciembre de 2013, la reina Isabel II de Inglaterra promulgó el edicto por el que se exoneró oficialmente al matemático, quedando anulados todos los cargos en su contra.
1
Turing fue concebido en
Chatrapur (
India británica). Su padre Julius Mathison Turing era miembro del Cuerpo de funcionarios británicos en la India. 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[editar]
Durante su infancia sus padres viajaban constantemente entre el Reino Unido y la India ya que su padre aún debía cubrir su puesto de funcionario en la India, por lo que sus dos hijos eran cuidados por amigos
ingleses de sus padres para evitar poner en peligro su salud en la colonia británica.
Turing dio muestras ya desde una edad muy temprana del ingenio que más tarde mostraría prominentemente. Se cuenta que aprendió a leer por sí solo en tres semanas y que desde el principio mostró un gran interés 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, tal como ocurrió a sus profesores posteriores.
Alan Turing a los 16 años de edad
En
1926, con catorce años, ingresó en el internado de
Sherborne en
Dorset. Su primer día de clase coincidió con una huelga general en Inglaterra, pero su determinación por asistir a clase en su primer día era tan grande que recorrió en solitario con su bicicleta las más de 60 millas que separaban
Southampton de su escuela, pasando la noche en una
posada. Tal hazaña fue recogida en la prensa local.
Las esperanzas y las ambiciones de Turing en la escuela fueron plantadas por la estrecha amistad que desarrolló con un compañero un poco mayor, Christopher Morcom,
2 que fue el primer amor de Turing. Morcom murió repentinamente el 13 de febrero de 1930, sólo unas pocas semanas después de su última temporada en Sherborne, debido a complicaciones de la tuberculosis bovina, contraída tras beber la leche de alguna vaca infectada. La fe religiosa de Turing se hizo pedazos, volviéndose ateo. Adoptó la convicción de que todos los fenómenos, incluyendo el funcionamiento del cerebro humano, deben ser materialistas.
4 Sin embargo siguió creyendo en la supervivencia del espíritu después de la muerte.
5
La inclinación natural de Turing hacia las matemáticas y la ciencia no le forjó el respeto de sus profesores de Sherborne, cuyo concepto de educación hacía mayor énfasis en los clásicos. Pero a pesar de ello, Turing continuó mostrando una singular habilidad para los estudios que realmente le gustaban, llegando a resolver problemas muy avanzados (para su edad) en
1927 sin ni siquiera haber estudiado
cálculo elemental.
En
1928, con dieciséis años, Turing descubrió los trabajos de
Albert Einstein y, no sólo pudo comprenderlos, sino que además infirió las críticas de Einstein a las
Leyes de Newtonde la lectura de un texto en el que no estaban explícitas. Durante su edad escolar, Turing fue un joven cuyo optimismo y ambiciones se vieron acrecentados debido en gran parte a su intensa unión con su amigo Christopher Morcom, cuya muerte, aún joven, afectaría a Turing profundamente.
La Universidad y sus estudios sobre computabilidad[editar]
El
King's College de
Cambridge, donde estudió en 1931 y se convirtió en miembro en 1935. Su sala de computación lleva actualmente su nombre.
Debido a su falta de voluntad para esforzarse con la misma intensidad en el estudio de los clásicos que en el de la ciencia y las matemáticas, Turing suspendió sus exámenes finales varias veces y tuvo que ingresar en la escuela universitaria que eligió en segundo lugar,
King's College,
Universidad de Cambridge, en vez de en la que era su primera elección,
Trinity. Recibió las enseñanzas de
Godfrey Harold Hardy, un respetado matemático que ocupó la
cátedra Sadleirian en Cambridge y que posteriormente fue responsable de un centro de estudios e investigaciones matemáticas de
1931 a
1934. En
1935 Turing fue nombrado profesor del King's College.
Solución al problema de decisión[editar]
El
Entscheidungsproblem, que se traduce como problema de decisión, fue un reto en lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula del cálculo de primer orden es un teorema. En 1936, de manera independiente, Alonzo Church y Alan Turing demostraron ambos que es imposible escribir tal algoritmo. Como consecuencia, es también imposible decidir con un algoritmo si ciertas frases concretas de la aritmética son ciertas o falsas.
Tesis Church-Turing[editar]
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[editar]
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 implementar 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[editar]
La mayor parte de
1937 y
1938 la pasó en la
Universidad de Princeton, estudiando bajo la dirección de Alonzo Church. 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 las matemáticas estaban sobrevaloradas y no descubrían ninguna verdad absoluta.
Análisis criptográfico (ruptura de códigos)[editar]
El
Bombe replicaba la acción de varias máquinas
Enigma.
Durante la
Segunda Guerra Mundial fue uno de los principales artífices de los trabajos del
Bletchley Park para descifrar los códigos secretos
nazis. Sus perspicaces observaciones matemáticas contribuyeron a romper los códigos de la
máquina Enigma y de los
codificadores de teletipos FISH (máquinas de teletipos codificados que fabricaron conjuntamente Lorenz Electric y Siemens & Halske). Sus estudios del sistema Fish ayudarían al desarrollo posterior de la primera
computadora programable electrónica digital llamada
Colossus, la cual fue diseñada por
Max Newman y su equipo, y construida en la Estación de Investigaciones Postales de
Dollis Hill por un equipo dirigido por
Thomas Flowers en
1943. Dicha computadora se utilizó para descifrar los códigos Fish (en concreto las transmisiones de la
máquina Lorenz).
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 han sido 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[editar]
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 NPL
Laboratorio Nacional de Física en el diseño del
ACE (Motor de Computación Automática [Automatic Computer Engine]). En 1946 presentó un estudio que se convertiría en el primer diseño detallado de un computador automático. El primer borrador del reporte sobre el EDVAC de Von Neumann fue anterior al de Turing, pero mucho menos detallado. Aunque el 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ó desilusionando. En 1947 se tomó un año sabático en Cambrdige tiempo durante el cual produjo el germen sobre la Inteligencia Artificial que no fue publicada en vida. Mientras se encontraba en Cambrdige el piloto del ACE estaba siendo construido a pesar de su ausencia. ACE ejecutó su primer programa informático en mayo de 1950. Aunque la versión completa de la ACE de Turing jamás fue construida, un gran número de computadoras alrededor del mundo le debe muchísimo a ésta.
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 "
Máquinas de computación e inteligencia" (octubre de
1950) 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 el 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 o una computadora.
Primer programa de ajedrez por computadora[editar]
Entre
1948 y
1950 en conjunto con un antiguo colega, D.G. Champernowne, empezó a escribir un
programa de ajedrez para un ordenador que aún no existía. En
1952 trató de implementarlo en el Ferranti Mark 1, pero a falta de potencia el ordenador no fue capaz de ejecutar el programa. En su lugar Turing jugó una partida en la que él simuló al ordenador, tomando alrededor de hora y media en efectuar un movimiento. Una de las partidas llegó a registrarse; el programa perdió frente a un colega de Turing, Alick Glennie. Su test fue significativo, característicamente provocativo y una gran contribución para empezar el debate alrededor de la inteligencia artificial que aún hoy continua.
Estudios sobre cibernética[editar]
Trabajó junto a
Norbert Wiener en el desarrollo de la
cibernética. Esta rama de estudios se genera a partir de la demanda de sistemas de control que exige el progresivo desarrollo de las técnicas de producción a partir del
siglo XX. La
cibernética pretende establecer un sistema de comunicación entre el hombre y la máquina como premisa fundamental para administrar los sistemas de control. Sus estudios profundizaron en esta relación estableciendo el concepto de interfaz y cuestionando los límites de simulación del razonamiento humano.
Estudios sobre la formación de patrones y la biología matemática[editar]
Turing trabajó desde 1952 hasta que falleció en 1954 en la
biología matemática, concretamente en la
morfogénesis. Publicó un trabajo sobre esta materia titulado «Fundamentos químicos de la morfogénesis» en 1952. Su principal interés era comprender la
filotaxis de
Fibonacci, es decir, la existencia de los
números de Fibonacci en las estructuras vegetales. Utilizó ecuaciones de reacción-difusión que actualmente son cruciales en el campo de la formación de patrones. Sus trabajos posteriores no se publicaron hasta
1992 en el libro
Obras completas de A. M. Turing.
En 2014, científicos británicos demostraron que la morfogénesis química efectivamente puede explicar cómo células que son idénticas pueden diferenciarse.
6
Procesamiento por su homosexualidad y muerte de Turing[editar]
La carrera profesional de Turing se vio truncada cuando lo procesaron por su
homosexualidad. En
1952 Arnold Murray, el amante de Turing, ayudó a un cómplice a entrar en la casa de Turing para robarle. Turing acudió a la policía a denunciar el delito. Durante la investigación policial, Turing reconoció su homosexualidad, con lo que se le imputaron los cargos de "indecencia grave y perversión sexual" (los actos de homosexualidad eran ilegales en el Reino Unido en esa época), los mismos que a
Oscar Wilde más de 50 años antes.
Convencido de que no tenía de qué disculparse, no se defendió de los cargos y fue condenado. Según su ampliamente difundido proceso judicial, se le dio la opción de ir a prisión o de someterse a
castración química mediante un
tratamiento hormonal de reducción de la
libido. Finalmente escogió las inyecciones de
estrógenos, que duraron un año y le produjeron importantes alteraciones físicas, como la aparición de pechos o un apreciable aumento de peso, que le condujeron a padecer de
disfunción eréctil. Dos años después del juicio, en 1954, Turing falleció debido a la ingestión de una manzana contaminada con cianuro en un contexto que indica un posible suicidio.
7
En una carta de esta época a su amigo Norman Routledge, Turing escribió en forma de falso
silogismo una reflexión, relacionando el rechazo social que provoca la homosexualidad con el desafío intelectual que supone demostrar la posibilidad de inteligencia en los ordenadores. En particular, le preocupaba que los ataques a su persona pudieran oscurecer sus razonamientos sobre la inteligencia artificial:
9
- Turing cree que las máquinas piensan
- Turing yace con hombres
- Luego las máquinas no piensan
Dos años después del juicio, en
1954, murió por
envenenamiento con
cianuro, aparentemente tras comerse una manzana envenenada que no llegó a ingerir completamente. La mayoría piensa que su muerte fue intencionada y oficialmente se le consideró como un
suicidio. Sin embargo su madre intentó negar la causa de su muerte, atribuyéndola a una ingestión accidental provocada por la falta de precauciones de Turing en el almacenamiento de sustancias químicas de laboratorio. La vida de Turing terminó amargamente y envuelta en una nube de misterio. Esta misteriosa muerte ha dado lugar a diversas hipótesis incluida la del asesinato.
9
El 10 de septiembre de 2009 el primer ministro del
Reino Unido,
Gordon Brown, emitió un comunicado declarando sus disculpas en nombre de su gobierno por el trato que recibió Alan Turing durante sus últimos años de vida. Este comunicado fue consecuencia de una movilización pública solicitando al Gobierno que pidiera disculpas oficialmente por la persecución contra Alan Turing.
10 11 Sin embargo, en el año 2012 el gobierno británico de Cameron denegó el indulto al científico,
12 aduciendo que la homosexualidad era considerada entonces un delito penal.
13 Finalmente, el 24 de diciembre de 2013, recibió el indulto de todo tipo de culpa, por orden de la Reina Isabel II.
1
Reconocimiento póstumo[editar]
Placa conmemorativa en la antigua casa de Turing
Estatua de Turing en la Universidad de Surrey.
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.
14
Turing en la literatura[editar]
- 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.
Fuente: Wikipedia
