Documentos de Académico
Documentos de Profesional
Documentos de Cultura
2012 Ao
Alan Turing
EL ENIGMA DE LA MENTE
ALAN TURING: UNA APROXIMACIN BIOGRFICA
Pedro Ruiz-Castell
Ilustraciones a cargo de Agustn Sciammarella
ligado a esta experiencia traumtica. Qu relacin exista entre el espritu de Christopher y el mecanismo de su
cuerpo? La muerte de Christopher debera enfrentar a
Alan Turing con cuestiones relacionadas con la naturaleza de la mente, la materia y la diferencia entre la vida
y la muerte.
Nm. 75 MTODE
19
20
Nm. 75 MTODE
aritmtica (y por tanto las matemticas) era necesariamente incompleta. Gdel construy ejemplos de afirmaciones matemticas bien elaboradas que no se podan
demostrar verdaderas o falsas. Exista, sin embargo, un
mtodo para mostrar qu afirmaciones eran verdaderas
y cules falsas? Este problema era lo que preocupaba a
Turing durante el verano de 1935. Lo ms remarcable de
su solucin, terminada durante su estancia en Princeton
y publicada en los Proceedings of the London Mathematical Society en 1937 (con el ttulo On Computable
Numbers With an Application to the Entscheidungsproblem), es que no solo contestaba al problema negando
la decidibilidad, sino que, adems, lo haca presentando
una terica mquina de computacin universal.
La inspiracin parece que provino del mentor de Turing en Cambridge, Max Newman (1897-1984), quien
elucubraba con la posibilidad de enfrentarse a los problemas de Hilbert mediante un proceso mecnico, es decir,
como un proceso rutinario que poda ser acometido sin
imaginacin o pensamiento. La gran idea de Turing fue
admitir deliberadamente una interpretacin del significado y tratamiento del trmino mecnico entendido como
hecho por una mquina, aunque fuera una mquina
imaginaria. Turing defini unas mquinas de computacin que imitaban los procesos mecnicos de las matemticas realizados por los calculadores o computadores
humanos. Estas mquinas, difiriendo nicamente en su
configuracin inicial, podan generar nmeros computables (cualquier nmero real definido por los mtodos
matemticos de trabajo ordinarios basados en ecuaciones
o lmites). As, a partir de una serie de argumentos y razonamientos matemticos, Turing mostr que sus mquinas evidenciaban la imposibilidad de decidir, aplicando
un proceso mecnico, si las afirmaciones matemticas se
podan demostrar verdaderas o falsas.
En Princeton, el cientfico norteamericano Alonzo
Church (1903-1995) haba llegado a una conclusin similar, de manera independiente, que fue publicada antes
que el artculo de Turing. El trabajo de Turing, adems
de ser un tanto ms accesible e intuitivo, incorporaba el
mundo fsico y reflexionaba alrededor de lo que se poda hacer. As pues, la solucin de Turing no solo abra
para la matemtica un nuevo campo de estudio (la computabilidad) y ofreca un nuevo anlisis de la actividad
mental. Sino que adems, tena una implicacin prctica
muy interesante: el principio de una computadora que se
poda construir en uso del concepto que fundamentaba
la mquina universal de Turing.
Turing haba marchado en septiembre de 1936 precisamente a Princeton, donde debera continuar explorando la lgica de la actividad mental, tal y como pone
de manifiesto su artculo Systems of logic based on
ordinals, publicado en 1939 en los Proceedings of the
London Mathematical Society y basado en su tesis doctoral, dirigida por Alonzo Church. No se sabe mucho alrededor de sus investigaciones en Estados Unidos, aunque parece que dedic tiempo a construir una mquina
basada en dispositivos electromagnticos que efectuaba
multiplicaciones binarias codificadas, con algn tipo de
teora de inmunidad al criptoanlisis. En junio de 1938
se doctor por la prestigiosa universidad norteamericana
con una tesis donde introduca el concepto de hipercomputacin. En otoo de este ao, tras dos cursos acadmicos en Princeton, volvi a Cambridge.
LOS TRABAJOS DE DESCODIFICACIN
En septiembre de 1939 la Alemania nazi ocupaba Polonia. Empezaba la Segunda Guerra Mundial. El da 4
de ese mes Alan Turing llegaba a Bletchley Park para
Agustn Sciam
marella
trabajar a las rdenes del gobierno britnico en la descouna solucin radical para decodificar los mensajes de la
dificacin de mensajes. Con lpiz y papel, los descodifimquina de Lorenz otra mquina de codificacin de
cadores trataban de dar sentido a los mensajes intercepgran complejidad utilizada por los alemanes para comutados por radio procedentes del continente, tal y como
nicaciones de alto nivel. La nueva mquina, llamada
haban hecho en la Primera Guerra Mundial. Pronto, sin
Colossus, debera almacenar secuencias de smbolos
embargo, estuvo claro que los mecanismos tradicionales
y compararlos a gran velocidad, tal y como permita
no eran suficientes para descifrar los cdigos alemanes.
la electrnica. Una mquina con mil quinientas vlvuLa principal herramienta de encriptacin de los menlas, de la que se construyeron hasta diez entre 1943 y
sajes alemanes era Enigma, un aparato que pareca una
1945, capaz de probar patrones de encriptacin y commquina de escribir y que converta un texto legible en
pararlos con textos cifrados hasta encontrar similitudes
una secuencia incomprensible de letras. Una vez pasado
con gran rapidez. Aunque recordaban a sus mquinas
por la mquina, pareca que solo
imaginarias descritas en 1937,
una persona con otra Enigma era
Turing no particip en el diseo.
capaz de leer el mensaje. Estas
Estas primeras mquinas electrmquinas Enigma eran producnicas digitales programables, sin
tos comerciales, a la venta desde
embargo, se basaban en la teora
1923. El problema es que estar en
estadstica que haba desarrollado
posesin de una Enigma no bastaTuring para tratar de decodificar
ba para descifrar el mensaje. Encilos mensajes de la mquina Enigma de la mquina haba una serie
ma. Una teora fundamentada en
de ruedas que se podan situar en
un modelo geomtrico que faciliun gran nmero de posiciones ditaba el tratamiento de los millones
ferentes que complicaban el prode millones de combinaciones de
ceso de desciframiento. De hecho,
letras cifradas y que consolid el
los criptgrafos alemanes la consicriptoanlisis como una disciplina
LA PRINCIPAL HERRAMIENTA
deraban invulnerable.
cientfica.
En Bletchley Park, Turing trat
A medida que la Segunda GueDE ENCRIPTACIN DE LOS
de mejorar un aparato electromerra
Mundial llegaba al final, los
MENSAJES ALEMANES ERA
cnico diseado por el criptgrafo
matemticos rodeados de mquiENIGMA, UN APARATO QUE
polaco Marian Rejewski (1905nas que almacenaban, comparaPARECA
UNA MQUINA DE
1980) para descifrar los mensajes
ban y escriban smbolos empeESCRIBIR Y QUE CONVERTA
de la Enigma. Poco despus, en
zaron a hacerse nuevas preguntas
1940, la compaa British Taburelacionadas con la naturaleza
UN TEXTO LEGIBLE EN UNA
lating Machines construa una
mecnica de la inteligencia. En
SECUENCIA INCOMPRENSIBLE
mquina diseada por Turing, llauso de teoras matemticas, los
DE LETRAS
mada Bombe. Esta mquina emucientficos empezaron a reflexiolaba el cometido de treinta mquinar sobre la mecanizacin de los
nas Enigma trabajando al mismo
procesos de pensamiento. El desatiempo y tuvo bastante importancia en los intentos para
rrollo de mquinas adscritas a los trabajos de criptoandecodificar los mensajes generados por la Enigma.
lisis haba estimulado las ideas de cmo los problemas
El procesamiento de la informacin en Bletchley
matemticos podan ser solucionados a partir de ayuda
Park responda a una organizacin del trabajo extremamecnica. Para Turing, la cuestin ms importante era
damente coordinada y eficiente. Los alemanes enviaban
hasta qu punto una mquina poda actuar como un cemiles de mensajes codificados durante las veinticuatro
rebro. Poda aprender? Poda pensar?
horas, cambiando las claves varias veces cada da. As
pues, los trabajos para descifrar los mensajes se hicieron
LA INVESTIGACIN EN TIEMPO DE PAZ
en paralelo, a partir de diferentes aproximaciones emprendidas por varias personas. En este contexto, la neLa Segunda Guerra Mundial haba movilizado muchos
cientficos, matemticos e ingenieros que, una vez finacesidad de mejorar la velocidad de descodificacin tena
lizada la contienda, retornaron a las universidades en
que conducir hacia el uso de la electrnica.
1945. Alan Turing, por su parte, decidi ir a Londres,
Por su parte, el matemtico Max Newman, antiguo
a la Divisin Matemtica del National Physical Laboramentor de Turing en Cambridge y en cabeza de muchas
tory (NPL), donde planeaba construir una computadora
de las mquinas de Bletchley Park, propuso en 1943
Nm. 75 MTODE
21
22
Nm. 75 MTODE
GCHQ
llamada Automatic Computing Engine (ACE). No tard mucho en renunciar a este proyecto. De hecho, tan
solo estuvo tres aos en Londres. En septiembre de 1947
se traslad a Cambridge y en mayo de 1948 acept una
oferta de trabajo de la Universidad de Manchester, promovida y patrocinada por Newman.
Los motivos que lo impulsaron a abandonar el NPL
no estn claros y se atribuyen tanto a la falta de expertos
en electrnica como a la ambicin de Turing de investigar ideas relacionadas con la inteligencia de las mquinas, una lnea de trabajo que no habra tenido el apoyo
de sus superiores. El proyecto que dej, sin embargo,
si hubiera sido completado durante aquel perodo con
sus especificaciones, habra sido la ms sofisticada de
las primeras computadoras. De hecho, el primer modelo
piloto del ACE, desarrollado por el equipo que Turing
dej atrs, oper su primer programa en mayo de 1950 y
rpidamente se convirti en un caballo de batalla para el
trabajo computacional de las agencias de investigacin
gubernamentales, tanto civiles como militares.
Ante la frustracin que le provocaba su proyecto de
investigacin en Londres, Turing decidi irse a la Universidad de Manchester, donde debera colaborar con
un grupo de matemticos procedente de Bletchley Park,
que inclua a Max Newman, y un grupo de ingenieros
elctricos como Frederic Calland Williams (1911-1977),
expertos en radares. De hecho, Williams haba ideado, a
partir de la experiencia adquirida durante la guerra, una
pequea computadora experimental, la primera computadora electrnica operacional con un programa almacenado. Una mquina conocida con el nombre de Madam
(Manchester Automatic Digital Machine), que en junio
de 1948 era nica.
Manchester ofreca a Turing la posibilidad de trabajar
con una mquina que, si bien no haba podido aportar
nada a su diseo, por lo menos funcionaba. A pesar de
encontrarse inmerso en una cultura de ingenieros con
poco inters por sus investigaciones filosficas, Turing
particip de la gradual mejora que se hizo de la mquina, prestando especial atencin a los problemas prcticos de programacin. Incluso la program para que
fuese capaz de escribir versos de amor. Poco despus se
negoci con una firma de ingeniera electrnica local,
Ferranti, para convertir aquel monstruo experimental en
un producto comercial. La Universidad de Manchester
recibi la primera de estas nuevas mquinas en 1951,
la Ferranti Mark I informalmente llamada Blue Pig,
cuyo manual de programacin escribi Turing.
Turing dise la mquina Bombe, que actuaba como treinta mquinas Enigma y que fue construida por la compaa British Tabulating
Machines en 1940. La necesidad de aumentar la velocidad para descodicar miles de mensajes diariamente conducira al uso de la electrnica.
Nm. 75 MTODE
23
24
Nm. 75 MTODE
EPLOGO
Alan Turing estaba convencido de que el conocimiento y la inteligencia de los humanos derivaba de la interaccin con el mundo,
y que esta determinaba la forma de cmo el cerebro almacenaba
el conocimiento. Siguiendo este esquema, Turing defenda que las
mquinas podan aprender de la experiencia e ir ms all de las operaciones mecnicas.
BIBLIOGRAFA
AGAR, J., 2001. Turing and the Universal Machine: The Making of the Modern Computer. Icon Books. Duxford.
AGAR, J., 2003. The Government Machine: A Revolutionary History of the
Computer. MIT. Cambridge.
COPELAND, B. J. (ed.), 2004. The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artifi cial Intelligence and Artifi cial Life plus
The Secrets of Enigma. Oxford University Press. Oxford.
HODGES, A., 1993. Alan Turing: The Enigma of Intelligence. Burnett Books.
Londres.
HODGES, A., 1997. Turing: A Natural Philosopher. Phoenix. Londres.
LEAVITT, D., 2005. The Man Who Knew Too Much: Alan Turing and the Invention of the Computer. Phoenix. Londres.
STRATHERN, P., 1999. The Big Idea: Turing and the Computer. Anchor Books.
Nueva York.
Pedro Ruiz-Castell. Instituto de Historia de la Medicina y de la Ciencia
Lpez Piero, Universitat de Valncia CSIC.