El legado de Alan Turing en el ámbito

de la Computabilidad

Trabajo de investigación

Castillo Elias, Santiago

Zacagnini, Rodrigo
1. Resumen

Alan Turing, reconocido científico de numerosos campos como: matemática, filosofía y por
supuesto Computación. Turing tiene derecho a reclamar el título de 'Padre de la
informática moderna'. Él sentó la base teórica para una máquina universal que modela
una computadora en su forma más general antes de la Segunda Guerra Mundial. Durante
la guerra, Turing fue una persona clave en el desarrollo de dispositivos y métodos
informáticos que han sido cruciales, incluso se sospecha que gracias a él la guerra se
acorto hasta en dos años por la decodificación estratégica de mensajes enemigos que
generalmente se creían irrompibles. Después de la guerra, él se involucró en el diseño y la
programación de las primeras computadoras. También escribió documentos fundacionales
en las áreas de lo que ahora se conoce como Inteligencia artificial.

2. Introducción

Alan Mathison Turing nació en Paddington el 23 de junio de 1912. Sus padres Julius y Ethel
residían en la India debido a que Julius trabajaba de funcionario en la India, pero
decidieron volver al Reino Unido para que su hijo naciera allí. Esto hizo que Alan tuviera
una infancia peculiar debido a los constantes viajes de sus padres entre Inglaterra e India
durante los cuales dejaban a sus hijos al cargo de amigos.

Dio muestras de su ingenio y de su capacidad desde una edad muy temprana (de hecho se
cuenta que aprendió a leer por sí sólo en tres semanas), interesándose por la ciencia en
general y por la resolución de enigmas y rompecabezas en particular.

Turing fue a King’s College en Cambridge. A pesar de que destacó en el campo de las
matemáticas y la computabilidad, en un artículo suyo de 1950 mostrará un toque
filosófico/moralista ya que relacionó el concepto matemático de la computabilidad con
problemas tradicionales como la separación de la mente y cuerpo, el libre albedrío y el
determinismo.

Tuvo un rol preponderante durante la segunda guerra mundial. Luego de la guerra y

después de extensas investigaciones sentó las bases de lo que se conocería como la
Inteligencia Artificial.

3. La máquina de Turing

Una pregunta acechaba a Turing, y era el hecho de que: ¿Debe existir al menos en
principio algún método definido, o proceso mediante el cual toda cuestión matemática
pueda ser demostrada? (entscheidugsproblem).

Para contestar a esta pregunta necesitaba una definición del concepto método, y para ello
analizó que era lo que hacía una persona para transformar un proceso metódico, y buscar
una forma de hacer esto mecánicamente. Expresó el análisis en términos de una máquina
teórica que sería capaz de transformar con precisión operaciones elementales
 previamente definidas en símbolos en una cinta de papel. En Agosto de 1936 presenta el
concepto final de la Maquina de Turing en su artículo On Computable Numbers (1936).

Una máquina de Turing es un dispositivo teórico que manipula símbolos de una cinta de
entrada en función de unas reglas. Se define como un autómata, que mediante un cabezal
lector que lee de una cinta de entrada símbolos de un alfabeto, cambiando entre estados
en función de la entrada pudiendo rechazar o aceptar la cadena de entrada dependiendo
del lenguaje que acepte. Dicha máquina era capaz de implementar cualquier problema
matemático que pudiera representarse mediante un algoritmo. Formalmente se define en
función de los estados que tiene dicho autómata el alfabeto de entrada y las transiciones
que soporta. Es una herramienta básica para el campo de los autómatas y lenguajes
formales.

Con este dispositivo teórico resolvió el entscheidungsproblem (planteado por, David

Hilbert) y demostró que había problemas tales que una máquina no podía resolver. La
máquina de Turing es el primer modelo teórico de lo que luego sería un computador
programable. Con el tiempo a este tipo de máquina se la conoció como máquina de estado
finito, debido a que en cada etapa de un cálculo, la siguiente acción de la máquina se
contrastaba con una lista finita de instrucciones de estado posibles.

Es un hecho sorprendente que "Acerca de los números computables" no sólo resolvió un

importante problema pendiente planteado por Hilbert, inauguró el nuevo estudio
matemático de la computabilidad y ofreció un nuevo análisis de la actividad mental, sino
que tuvo una consecuencia práctica: expuso el principio del computador a través del
concepto de la máquina universal de Turing. Es una máquina de Turing que es capaz de
simular cualquier otra máquina de Turing.

4. Tesis de Church Turing

¿Existe un algoritmo tal que pueda decidir si una proposición es cierta (y por tanto es un
teorema del sistema) o por el contrario es falsa? En 1936 Alonzo Church y Alan Turing
probaron, de forma independiente, la imposibilidad de la existencia de tal algoritmo,
usando el cálculo lambda en el caso de Church y la máquina de Turing en el caso de Turing.

Los lenguajes formales que son aceptados por una máquina de Turing son todos aquellos
que pueden ser generados por una gramática formal. Por otro lado, las funciones que
pueden ser computadas con el cálculo Lambda de Church son exactamente aquellas que
pueden ser computadas con una máquina de Turing. Estos tres formalismos, las máquinas
de Turing, los lenguajes formales y el cálculo Lambda han sido desarrollados de forma
independiente y sin embargo se ha probado que son equivalentes. Ante esto en 1938
1938, Turing dio su propia versión en los términos modestos que siempre utilizaba en
público cuando se refería a su propio trabajo:
 “Se dice que una función es "efectivamente calculable" si sus valores pueden ser
encontrados por algún proceso puramente mecánico. Aunque es relativamente fácil tener
una captación intuitiva de esta idea, es de todos modos deseable tener una definición más
definitiva y expresable matemáticamente. Tal definición fue dada por Gódel en Princeton
en 1934... Estas funciones fueron descritas como "generalmente recursivas" por Gódel...
Otra definición de calculabilidad efectiva ha sido dada por Church... quien la identifica con
definibilidad—. El autor [es decir, el mismo Turing], recientemente ha sugerido una
definición que corresponde más de cerca a la definición intuitiva... Se afirmó arriba que
"una función es efectivamente calculable si sus valores pueden ser encontrados por un
proceso puramente mecánico". Podemos tomar esta afirmación literalmente,
entendiendo como proceso puramente mecánico uno que podría ser llevado a cabo por
una máquina. El desarrollo de estas ideas lleva a la definición del autor de una función
computable, y una identificación de la computabilidad [en el sentido técnicamente preciso
de Turing] con calculabilidad efectiva. No es difícil, aunque sí algo laborioso, de-mostrar
que estas tres definiciones son equivalentes.”

Aunque ambas tesis son equivalentes Turing ofrece una razón de por qué la tesis de Chuch
debe ser verdadera, basado en ideas externas a las matemáticas. Ahora la tesis de Church
se conoce como la tesis de Church-Turing.

5. Lo no computable

Turing probablemente decidió en el periodo de 1941 que lo no computable, lo no

demostrable y lo indecidible no tienen conexión con el problema de la mente
(entscheidugsproblem). En el artículo de 1950, Turing expone lo que llama "la objeción
matemática", haciendo una comparación humano-máquina y siendo a su vez muy conciso
al expresarse:

“Se ha demostrado. por ejemplo, que para algunos sistemas lógicos no puede haber una
máquina que distinga fórmulas demostrables del sistema de las no demostrables; es decir,
que no hay ninguna prueba que pueda aplicar la máquina para dividir con certeza las
proposiciones en estas dos clases. Así que si se construye una máquina para este
propósito, tiene que dejar de dar una respuesta en algunos casos. Por otro lado, si un
matemático se enfrentara con tal problema. buscaría y encontraría nuevos métodos de
demostración de tal manera que debería ser capaz de llegar a una conclusión acerca de
cualquier fórmula. Este sería el argumento. Contra él yo diría que debe concedérsele un
juego justo a la máquina. En lugar de que algunas veces no responda, podríamos hacer
que ocasionalmente dé respuestas equivocadas. Pero del mismo modo, el matemático
cometerá errores al ensayar técnicas nuevas. Es fácil para nosotros considerar que esos
errores no cuentan y darle otra oportunidad, pero para la máquina probablemente no
haya misericordia. En otras palabras, si se espera que una máquina sea infalible, no puede
ser también inteligente.”
6. La segunda guerra mundial

En 1939 empieza a trabajar en Bletchley Park (estación secreta del Ejército) liderando el
Hut- 8 que era una de las secciones de la estación Británica de “codebreaking” durante la
2ª guerra mundial. Fue uno de los principales protagonistas en el desmantelamiento y
ruptura de la máquina Enigma, mediante la que el Eje ocultaba sus transmisiones. Tras la
declaración de guerra del 3 de Septiembre, Turing se volcó en el criptoanálisis en Bletchley
Park. Con el trabajo que habían realizado los criptoanalistas polacos, Turing desarrolló la
“Bombe” que era una máquina capaz de romper el código de la Enigma. Pero no bastaba,
el ejército polaco había interceptado una máquina enigma parecida a la que utilizaba el
ejército alemán y sabían que aun así no les daría tiempo a descifrar mensajes, ya que cada
día cambiaban la forma de cifrarlos.
En Diciembre de 1939 resolvió gran parte del indicador que era una parte de la
configuración que se cargaba en la máquina cada día, en la misma noche concibió la idea
de Banburismus (conocido como análisis secuencial). Desde 1940 en adelante el Hut-8
utilizó la bomba criptográfica para leer mensajes de la Lufftwaffe, en cambio el método
utilizado por la Kriegsmarine era mucho más complejo y se tomaba por irrompible. Sin
embargo Turing aprovechando el conocimiento que tenían de la máquina proporcionada
por el ejército polaco desarrolló, el solo, un sistema para atacar el cifrado: El banburismo.

El proceso se basaba en la probabilidad condicional secuencial para deducir información

acerca de las configuraciones de la máquina Enigma. El objetivo del banburismo era
reducir el tiempo necesario para que la “Bomba” identificara los patrones de los rotores ya
que reducía mucho las posibilidades. En 1939 Turing consiguió romper el código ahora
solo quedaba capturar mensajes trabajo que hizo la marina. El procedimiento
aprovechaba la debilidad del indicador (configuración inicial de la Enigma) comparaban
mensajes encriptados con distintas configuraciones, si el desplazamiento sólo se
diferenciaba de un carácter (CFE-CFT cada letra corresponde a un rotor), podían obtener
dicho desplazamiento. En 1941 se empezó a descifrar formalmente mensajes, en
particular del submarino U-boat.

7. Juicio y muerte

En 1952 vuelve a dar un giro a su carrera y comienza a trabajar en los patrones matemáticos
que hay detrás de muchos procesos biológicos. Si embargo, ese mismo año Turing recibe un
serio revés cuando es procesado por su homosexualidad. La desmedida persecución pública
a la que se vio sometido, sumada al tratamiento hormonal que tuvo que aceptar como
medida alternativa a la prisión y que le produjo importantes alteraciones físicas, provocaron
en Turing una profunda crisis personal de la que no se recuperó.

Alan Turing apareció muerto en su cama el 7 de junio de 1954 en su casa de Wimslow,

Chesire, cerca de Manchester, con media manzana impregnada de cianuro a su lado. La
causa oficial de su muerte fue el suicidio.
Fuentes:

 https://elmaquinadeturing.wordpress.com/alan-turing/
 https://histinf.blogs.upv.es/2010/11/01/breve-biografia-de-alan-turing/
 https://es.wikipedia.org/wiki/Tesis_de_Church-Turing
 https://www.nature.com/articles/482459a.epdf
 Alan Turing: Un Filósofo Natural, Andrew Hedges