Turing y El Ordenador Paul Strathern FREELIBROS PDF

Turing y el ordenador Paul Strathern
Colaboracin de Sergio Barros 1 Preparado por Patricio Barros

Turing y el ordenador www.librosmaravillosos.com Paul Strathern
ndice
Introduccin
1. La era a.C.: los computadores antes de su tiempo
2. Vida y obra de un enigma
Eplogo

Introduccin
El descubrimiento del ordenador podra ser uno de los grandes logros tecnolgicos
de la humanidad. Podramos considerar incluso que el ordenador est a la altura del
uso del fuego, el descubrimiento de la rueda y el dominio de la electricidad. Estos
avances sirvieron para domear las fuerzas primarias: el ordenador domestica la
propia inteligencia.
Alan Turing a los 16 aos de edad
Ms del 90% de los cientficos que han existido estn vivos actualmente, y los
ordenadores multiplican la rapidez de su trabajo a diario. (La secuenciacin del
genoma humano se concluir probablemente medio siglo antes de lo que se predijo
al descubrir su estructura, y todo gracias a los ordenadores.)
Pero no habra que dejar volar nuestras esperanzas demasiado alto. Se esperaba
algo similar del desarrollo del motor de vapor, hace menos de 150 aos. Y la regla
de clculo dur menos de un siglo. El avance que podra hacer que el ordenador se

convirtiera en un objeto intil nos resulta inconcebible slo porque todava no se ha

concebido.
Incluso antes de que el primer ordenador se hubiera inventado, conocamos sus
lmites tericos. Sabamos qu podra calcular. E incluso, durante el montaje de los
primeros ordenadores, se entenda la cualidad potencial de su capacidad: podran
desarrollar su propia inteligencia artificial. El nombre del responsable de ambas
ideas es Alan Turing.
Hombre muy peculiar, que lleg a verse a s mismo como algo parecido a un
ordenador, Alan Turing trabaj tambin en la calculadora Colossus, que descifr los
cdigos del Enigma alemn durante la segunda guerra mundial. Al igual que
Arqumedes, Turing tuvo que dejar de lado una brillante carrera para intentar salvar
a su pas. Arqumedes fracas, y fue asesinado a golpe de espada por un soldado
romano. Turing lo logr, y su agradecido pas lo llev a juicio por su
homosexualidad.
Tras su prematura muerte, Turing fue condenado al olvido, pero actualmente cada
vez ms personas creen que tal vez fuera la figura ms importante en la historia de
la informtica.

Captulo 1
La era a. C.: los computadores ante de su tiempo
El primer ordenador fue, por supuesto, el baco. Este mtodo de clculo fue
inventado incluso antes que la rueda (evidentemente, nuestro deseo de no ser
engaados es ms profundo que el de viajar con comodidad). Algunos restos
arqueolgicos demuestran que, en torno al 4.000 a. C. ya se utilizaba en China y
Oriente Prximo una forma de baco, que parece haber evolucionado de forma
independiente en las dos regiones. Algunos sugieren que esto muestra la primaca
de las matemticas: la necesidad de calcular como una funcin aparentemente
inevitable de la condicin humana.
baco deriva de la palabra babilnica abaq, que significaba polvo. Los
estudiosos han dado explicaciones particularmente ingeniosas de esta manifiesta
incongruencia. Segn una de las versiones, todos los clculos se realizaban
originalmente sobre el polvo, por lo que polvo acab definiendo toda forma de
clculo. Otra opcin es que el mtodo de clculo utilizado por el baco se dibujara
en un principio con lneas y rayas en el polvo.
En realidad, el baco no es en absoluto, estrictamente hablando, un ordenador. El
clculo real lo hace la persona que utiliza el baco, que debe tener en su cabeza el
programa (los pasos matemticos necesarios).
Sea un ordenador o no, lo cierto es que el baco y su programa humano se
utilizaron en toda Europa y Asia para realizar clculos hasta bien avanzada la Edad
Media. Despus se introdujo el cero en las matemticas, lo que supuso un obstculo
para los trabajos en los que se utilizaba el baco. Como consecuencia de esto, los
matemticos serios desecharon rpidamente esta aportacin infantil. Sin embargo,
durante varios siglos el baco sigui utilizndose como calculadora, caja
registradora, ordenador y para fines similares (y no tan similares). Es ms: hasta
hoy el baco sigue desempeando un papel fundamental en las economas locales
de algunas zonas de Asia central y Rusia.
La primera calculadora conocida sigue siendo un autntico misterio. En 1900,
submarinistas cazadores de esponjas en Grecia descubrieron cerca de la diminuta
isla de Antikythera restos de un antiguo naufragio del primer siglo antes de Cristo.

Entre las estatuas y vasijas rotas se encontraron algunas piezas de bronce corrodo,
que parecan ser parte de una mquina. Cincuenta aos tardaron los estudiosos en
descubrir cmo encajaban estas piezas y lograr que el aparato funcionara. El
resultado fue una especie de calculadora astronmica, que funcionaba igual que un
ordenador analgico moderno, con piezas mecnicas para hacer los clculos. Al
girar una manivela se accionaban unas palancas; stas, a su vez, accionaban unos
cuadrantes con los que se poda leer la posicin del Sol y los planetas del zodiaco.
Lo que hace a este descubrimiento tan asombroso es su singularidad. Nunca se ha
encontrado nada de ese periodo ni remotamente semejante a esto. En la literatura
griega clsica no se menciona una mquina como sta, ni similar. Ningn filsofo,
poeta, matemtico, cientfico o astrnomo hace referencia a un objeto as. Adems,
segn los conocimientos actuales sobre la ciencia de la antigua Grecia, no haba
tradicin ni conocimiento capaz de producir tal mquina. Aparentemente, el primer
ordenador fue una construccin estrafalaria, tal vez un juguete, de algn
desconocido genio mecnico, que simplemente desapareci de la historia. Al
tratarse de un objeto estrafalario sin influencias, desapareci como un cometa.
Despus, durante ms de mil quinientos aos, nada.
En general, se considera la primera calculadora real la que fabric en 1623
William Schickard, catedrtico de hebreo en la Universidad de Tbingen. Schickard
era amigo del astrnomo Johannes Kepler, que descubri las leyes de los
movimientos planetarios. Kepler despert el inters latente por las matemticas del
catedrtico de hebreo, cuya habilidad para realizar clculos se haba apolillado un
poco con el paso de los aos. As que decidi fabricar una mquina que lo ayudara
con sus sumas. La mquina de Schickard se ha descrito como un reloj de clculo.
Se pretenda que sirviera de ayuda a los astrnomos, al permitirles calcular las
efemrides (las futuras posiciones del Sol, la Luna y los planetas).
Desgraciadamente, nunca sabremos si esta mquina funcionaba, o cmo se
pretenda que funcionara exactamente. El primer y nico prototipo aun no se haba
terminado cuando tanto ste como los proyectos de Schickard fueron destruidos por
el fuego, durante la guerra de los treinta aos. Schickard qued as reducido a un
mero pie de pgina histrico, en lugar de convertirse en el inventor del mayor
avance tecnolgico desde la invencin del arns.

Lo que s sabemos es que la mquina de Schickard fue una precursora del

ordenador digital, en el que los datos se introducen en forma de nmeros. En el otro
tipo de ordenador, el analgico, los nmeros de entrada (y salida) se sustituyen por
una cantidad susceptible de ser medida, como la tensin, el peso o la longitud. Esta
ltima se utiliz en el primer ordenador analgico: la regla de clculo, inventada en
la dcada de 1630. La regla de clculo ms simple consta de dos reglas, ambas
marcadas con escalas logartmicas. Al deslizar las dos reglas, de forma que quede
un nmero frente a otro, se pueden multiplicar y dividir con facilidad.
La regla de clculo fue inventada por William Oughtred, cuyo padre haba trabajado
como escribiente en Eton, y enseaba a escribir a los alumnos analfabetos. Su hijo
recibi las rdenes sagradas como sacerdote, pero sigui los pasos de su padre al
dar algunas clases particulares aparte. En la dcada de 1630 cre la primera regla
de clculo rectilnea (es decir, con dos reglas rectas). Pocos aos ms tarde, se le
ocurri la idea de la regla de clculo circular (que tiene un crculo mvil dentro de
un anillo, en lugar de reglas deslizantes). Desgraciadamente, uno de sus alumnos
se apropi la idea y la public primero, afirmando que el descubrimiento haba sido
suyo. Aunque el gesto no gust a Oughtred, se puede decir que acab sus das,
feliz. Devoto monrquico, se dice que falleci en estado de xtasis, al or que
Carlos II haba recuperado su trono.
La regla de clculo primitiva fue evolucionando con el tiempo, hasta convertirse en
un dispositivo capaz de realizar clculos complejos. Entre los que contribuyeron a su
desarrollo se encuentra James Watt, que la utiliz para calcular el diseo de sus
mquinas de vapor originales, en la dcada de 1780. Amade Mannheim, un oficial
de artillera francs, fue el artfice de un nuevo avance. Dise una forma ms
sofisticada de regla de clculo, cuando an era estudiante, lo que le permiti
obtener unos resultados sobresalientes en los exmenes, que a su vez lo lanzaron a
una brillante carrera dentro de la educacin militar. Fue precisamente la versin de
la regla de clculo de Mannheim la que alcanz gran popularidad durante la primera
mitad del siglo XX: era el accesorio caracterstico de rigor en el bolsillo de la
pechera de cualquier cientfico de bata blanca.
Pero volvamos al ordenador digital. El siguiente avance en este campo vino de la
mano del matemtico francs del siglo XVII Blaise Pascal, que casualmente naci en

1623, el mismo ao en que Schickard haba inventado el reloj de clculo original.

El padre de Blaise Pascal era un recaudador de impuestos reales, que tena ya
bastantes dificultades para recaudar dinero como para, adems, poder presentar las
cuentas que necesitaba el tesorero real. Para ayudarlo, su joven y precoz hijo
intent disear una mquina de contabilidad. Con 19 aos ya haba construido un
modelo que funcionara. Los nmeros se introducan en la mquina mediante discos
graduados con nmeros, y conectados a ejes con ruedas dentadas y engranajes. La
mquina de Pascal poda sumar y restar cifras de hasta ocho dgitos. Esta mquina
era extremadamente complicada, y llevaba las tcnicas mecnicas del momento a
sus lmites, e incluso los superaba. La mquina, sin embargo, tena muchos
problemas con los engranajes. Pero Pascal era un perfeccionista, y afirmaba haber
hecho ms de 50 modelos, y todos diferentes. Pascal no era slo un gran
matemtico, sino que tambin fue el mejor filsofo religioso de su tiempo.
Atormentado por una salud muy frgil, su celo religioso se incrementaba de forma
inversamente proporcional a su salud. Pero sigui siendo un matemtico hasta el fin
de sus das, y lleg a reducir la fe a una probabilidad matemtica. En su opinin,
aunque se podan calcular las posibilidades de la inexistencia de Dios, era mejor
apostar por Su existencia, ya que no haba nada que perder en caso de que no
fuera cierto.
Siete de las mquinas de Pascal han llegado a nuestros das: son obras maestras
del ingenio que incorporan varios principios an utilizados en los ordenadores
mecnicos. Algunas de las mquinas de Pascal que han perdurado an funcionan,
aunque nadie ha descubierto todava cmo utilizarlas para calcular las posibilidades
de la existencia de Dios.
El siguiente avance significativo para el ordenador digital lo logr el filsofo alemn
Gottfried Leibniz, el Leonardo da Vinci de su poca. Entre otras muchas cosas,
Leibniz cre nada menos que dos filosofas (una optimista y otra pesimista), un plan
detallado para la invasin de Egipto, una historia en 15 volmenes de la Casa de
Hannover y una calculadora muy superior a la de Pascal.
El inters de Leibniz por las calculadoras no era nicamente prctico. Cuando an
estaba en la universidad, escribi un artculo en el que explicaba la base terica de
una calculadora y sus posibilidades (un trabajo que sealaba ya el camino para las

ideas bsicas que Turing habra de tener sobre este tema, casi 300 aos ms
tarde). En torno a la misma poca, invent tambin una matemtica binaria, similar
a la que sera el lenguaje de los ordenadores digitales, aunque no lleg a combinar
ambos elementos.
Leibniz cre su calculadora en 1673, despus de haber visto una de las mquinas de
Pascal en Pars. Desgraciadamente, Leibniz estaba arruinado en ese momento, y sus
esfuerzos se vieron paralizados por la necesidad de hacer que su mquina fuera
viable desde un punto de vista comercial (la mquina de Pascal era demasiado
compleja para que pudiera fabricarla nadie ms que l). En cuanto Leibniz hubo
terminado su mquina, cruz el Canal de la Mancha para mostrarla a la Royal
Society de Londres. Sus miembros no parecieron impresionados, y abandon el
proyecto cuando an no tena ms que un prototipo.
A pesar de estas limitaciones, la mquina de Leibniz era extraordinaria. Al igual que
la de Pascal, se accionaba mediante una sucesin de ruedas dentadas, pero era
capaz de hacer muchas ms cosas que la de Pascal. Desde el primer momento
poda multiplicar (mediante sumas repetidas), pero adems Leibniz pronto aadi
unos dispositivos que permitan efectuar divisiones y calcular tambin races
cuadradas.
Leibniz vea un gran futuro para las calculadoras, aunque no volvi a encontrar
tiempo para hacer nuevos intentos prcticos en este campo. Esto, sin embargo, no
impidi que su mente, siempre activa, pensara en las calculadoras y el papel que
podran desempear en el futuro. Para l, algn da, las calculadoras resolveran
todas las disputas ticas. Bastara con insertar los diferentes argumentos y la
mquina calculara cul era superior (aunque las bases precisas para semejante
clculo quedaron en la misma categora que el clculo de las posibilidades de la
inexistencia de Dios: es decir, siguen siendo un misterio para todos, salvo para el
genio que las concibi).
Del mismo modo, Leibniz predijo tambin que las calculadoras quitaran trabajo a
los jueces: los tribunales del futuro estaran presididos por calculadoras que
emitiran tanto el fallo como la sentencia adecuada. Una presciencia tan
sorprendente podra hacernos pensar en una historia de terror informtico, pero
Leibniz lo vea de forma muy diferente. Esencialmente, era un hombre optimista, y

pensaba que todo es para bien en el mejor de los mundos posibles. No cabe
imaginar cmo habra sido el mundo si Leibniz hubiera dedicado algo ms de sus
excepcionales energas a la produccin de calculadoras.
El siguiente avance importante en este campo se debi a un hombre que era
totalmente ajeno de l: Joseph Marie Jacquard, un tcnico francs dedicado al
negocio de los telares. A principios del siglo XIX, cre un telar innovador, en que el
patrn del tejido estaba controlado por tarjetas perforadas. As surgi la idea de
programar una mquina, aunque Jacquard no tena ni idea de lo importante que era
su invento. Afin ms su idea; sin embargo, funciono demasiado bien: sus
maquinas originaron protestas en Lyon, en la dcada de 1820, cuando los
trabajadores de los telares que haban sido despedidos tomaron por asalto las
fbricas y destruyeron muchas de las mquinas. An hoy se emplea el mtodo de
Jacquard para el tejido de patrones complejos.
Calculadoras de mecnica compleja, la idea de la programacin, una teora de los
nmeros racionales: los elementos bsicos del ordenador moderno estaban
empezando a aparecer. Pero hizo falta un genio para descubrir cmo combinar
todos estos elementos dispares. En general, se reconoce a Charles Babbage como el
padre de los ordenadores. Al igual que muchos genios prcticos, era increblemente
poco prctico en cualquier sentido de la palabra, pero sus descubrimientos y logros
estaban un siglo por delante de su tiempo.
Babbage naci en 1791, y hered una considerable fortuna personal. Era un joven
de buen carcter, que pronto demostr ser una promesa de excepcin en el campo
de las matemticas. Logro que se introdujeran las notaciones matemticas de
Leibniz en Gran Bretaa (los matemticos britnicos haban insistido,
patriticamente, en utilizar la notacin original -pero inferior- de Newton, con ello se
aislaron a s mismos de un siglo de avances del resto de Europa).
Despus, Babbage desvi su atencin hacia otro de los problemas que atenazaban a
los cientficos britnicos: los errores que aparecan por doquier en las impresiones
de las tablas astronmicas y matemticas. Por ejemplo, se descubri que la primera
edicin de Efemrides nuticas para hallar latitudes y longitudes en el mar tena
ms de... mil errores!

Babbage decidi que haba una nica solucin para el problema de las tablas
errneas. Haba que construir una calculadora grande, infalible y multiusos.
Despus de solicitar y lograr ayuda gubernamental, Babbage emprendi la
construccin de su aclamada mquina diferencial N 1. Este proyecto era
enormemente ambicioso: la mquina de Babbage tena que ser capaz de calcular
cifras de hasta 20 dgitos; tambin tena que almacenar una serie de nmeros y
efectuar sumas con stos. Los clculos de la mquina podan reducirse a sumas
porque utilizara el mtodo de las mltiples diferencias. Este mtodo se basa en los
polinomios (frmulas algebraicas formadas por varios trminos) y en el hecho de
que stos mantienen una diferencia constante. En su forma ms simple sera como
sigue:
Donde f (x) = 2x +1
Si x = 1 2 3 4...
f(x) = 3 5 7 9...
diferencias = 2 2 2 2...
Huelga decir que la operacin no resulta tan sencilla con funciones ms complejas.
Pero es posible hallar una diferencia constante en las diferencias entre las
diferencias (o las diferencias entre las diferencias entre las diferencias). En la
mayora de los casos, si un polinomio tiene un trmino Xn hay que calcular n
diferencias para encontrar una diferencia constante. Para calcular el polinomio de
una sucesin de valores de X, como cuando se calculan tablas, a una mquina le
resulta ms sencillo sumar la diferencia constante y volver atrs, sumando
diferencias, en lugar de iniciar una serie de complejas multiplicaciones. Adems, las
funciones como los logaritmos y funciones trigonomtricas, que no operan de la
misma forma, se pueden reducir a polinomios muy aproximados.
Como sus antecesores, la mquina diferencial N 1 utilizaba ruedas dentadas y
funcionaba con el sistema decimal, pero su fabricacin superaba con mucho la
complejidad de las mquinas anteriores, lo que hizo necesarios diversos avances
dentro de la ingeniera mecnica.

Sin embargo, Babbage era muy capaz de realizar esta tarea gracias a su magistral
capacidad de improvisacin. A medida que su mquina creca, se le ocurran ideas
brillantes para aadirle nuevas caractersticas que iba incorporando sobre la
marcha. La mquina diferencial N 1 se empez a fabricar en 1823, pero nunca
lleg a terminarse. Despus de diez aos de trabajo, Babbage haba convertido su
proyecto original en una mquina de 25.000 piezas (y slo se haban fabricado
12.000), y el coste se elevaba a 17.470 libras (en aquellos das, esa suma era
suficiente para fabricar un par de buques de guerra). Babbage haba puesto grandes
sumas de su propio bolsillo, pero el Gobierno decidi frenar el proyecto. Era mejor
invertir en una flota que en una mquina que podra acabar contribuyendo a la
deuda nacional en una cifra que slo esa misma mquina podra calcular. A pesar de
todas esas dificultades, en 1827 Babbage haba utilizado la nica parte operativa de
su mquina (formada por apenas 2.000 piezas) para calcular tablas de logaritmos
de 1 a 108.000. Esta parte de la mquina diferencial n 1 se considera la primera
calculadora automtica. Haba que introducir las cifras y los resultados salan en
forma impresa (con lo que se reduca el margen de error humano).
Sin embargo, esto era slo el principio para Babbage. Para la dcada de 1830 ya
tena el proyecto de una mquina diferencial n 2. Este concepto supuso un
avance significativo en las tcnicas de clculo. La mquina diferencial n 2 se
convirti en la primera mquina analtica: una mquina cuyo funcionamiento estaba
controlado por un programa externo. Babbage haba odo hablar de la idea de
Jacquard sobre las tarjetas perforadas para controlar el mecanismo de una mquina
y decidi incorporarla a su propia mquina. Esto le permitira realizar cualquier
clculo aritmtico en funcin de unas instrucciones insertadas en tarjetas
perforadas. Al igual que la primera mquina diferencial, tambin necesitaba una
memoria para almacenar nmeros, pero la nueva mquina debera poder realizar
una secuencia de operaciones con esos nmeros almacenados. Babbage haba dado
con las caractersticas esenciales del ordenador moderno.
El ncleo mecnico al que se asociaran estas caractersticas era el plato fuerte, iba
a contener mil ejes, con al menos 50.000 engranajes y se pretenda que calculara
nmeros de 50 dgitos en el sistema decimal.

Desgraciadamente, el Gobierno no se dej intimidar por estas increbles

posibilidades, y prefiri no hacer nuevos intentos para arruinar al erario. A estas
alturas, la fatiga producida tras largos aos de trabajo duro sin resultados haba
hecho estragos en el carcter de Babbage. El atractivo joven de Cambridge se haba
convertido en un vejestorio irascible que merodeaba por las calles de Londres. Le
cogi mana al ruido que hacan los msicos callejeros que no sin frecuencia hacen
que los pilluelos andrajosos se pongan a bailar y que, hasta hombres casi ebrios
sigan los bailes, y acompaen el ruido con sus propias voces discordes... Otro grupo
que apoya con vehemencia la msica callejera es el de las seoras de elstica virtud
y tendencias cosmopolitas, que encuentran en ella una excusa decente para
exponer sus encantos desde las ventanas abiertas. Babbage inici una campaa
para que prohibieran a los msicos callejeros, afirmando que le impedan trabajar
en paz. Los msicos callejeros se vengaron reunindose justo debajo de su ventana.
Babbage dej escrito que en una ocasin, una banda de msica estuvo tocando
durante cinco horas, sin apenas pausa.
Para entonces, Babbage haba invertido buena parte de su fortuna en la persecucin
de su sueo de las mquinas diferenciales. Durante varios aos, Lady Ada Lovelace,
hija del poeta Byron y una de las mujeres matemticas ms brillantes de su tiempo,
le ayud en sus esfuerzos. (El papel de esta mujer en la historia de los ordenadores
fue reconocido con honores cuando el Departamento de Defensa de Estados Unidos
le puso su nombre, ADA, a su lenguaje de programacin.) Lady Lovelace tambin
ayud a Babbage en un intento optimista de recuperar su fortuna. Juntos dedicaron
mucho tiempo y energa a intentar crear un sistema de apuestas infalible para las
carreras de caballos. Sin embargo, las demostraciones prcticas de este sistema
resultaron casi tan costosas como la mquina diferencial.
A pesar de tales reveses, Babbage tuvo tiempo de inventar el quitapiedras de la
locomotora y de descubrir que los anillos de los rboles podan leerse como
registros meteorolgicos. Despus de su muerte, en 1871, los diseos operativos
para su mquina diferencial n 2 permanecieron en el olvido durante muchos
aos. Ms tarde, se construy el ncleo de la primera mquina analtica del mundo
segn unos planos modificados de la mquina diferencial n 2. Esta enorme
construccin de tres toneladas puede verse hoy en da, en todo su esplendor, en el

Museo de Ciencias de Londres. Y funciona (en las pruebas se configur para que
calculara 25 mltiplos del nmero pi, de 29 dgitos decimales, tarea que sus 50.000
ruedas dentadas digirieron con insultante facilidad).
Babbage haba definido las caractersticas bsicas del ordenador moderno, pero sus
mquinas presentaban una desventaja fundamental: funcionaban slo dentro de las
matemticas decimales. Este problema se solucion gracias al trabajo de George
Boole, uno de sus contemporneos. Boole naci en 1813, hijo de un zapatero de
Lincoln. Aunque casi totalmente autodidacta, demostr tal agudeza intelectual que
fue nombrado catedrtico de matemticas en el Queen's College, en Cork, donde
acab casndose con Mary Everest, sobrina del hombre que dio nombre a la
montaa.
En 1854, Boole publico su Investigacin de las leyes del pensamiento, que introdujo
lo que actualmente se conoce como lgebra booleana. En esta obra, Boole sugera
que la lgica pertenece al mbito de las matemticas, ms que al de la filosofa. Al
igual que la geometra, se basa en una serie de axiomas sencillos. Adems, al igual
que la aritmtica tiene unas funciones primarias, como la suma, la multiplicacin y
la divisin, la lgica puede reducirse a operadores como y, o o no. Estos
operadores pueden utilizarse en un sistema binario (el sistema digital tiene diez
dgitos; el sistema binario funciona igual, pero slo con dos). El verdadero y
falso de la lgica se reducen al 0 y 1 de la matemtica binaria. As, el lgebra
binaria reduce cualquier proposicin lgica, independientemente del nmero de
trminos que contenga, a una simple secuencia de smbolos binarios. Eso cabra en
una simple tira de papel, en la que el lgebra binaria se reduce a una secuencia de
orificios (y ausencia de orificios). De este modo, se podra introducir todo un
argumento lgico o programa en una mquina.
Con dgitos binarios, las mquinas podran seguir instrucciones lgicas y su
matemtica se adaptaba perfectamente al circuito elctrico de encendido/apagado.
As, el dgito binario (o bit) lleg a ser la unidad fundamental de informacin de los
sistemas informticos.
Sin embargo, los avances individuales de Babbage y Boole siguen sin recibir
reconocimiento. En lo que al mundo respecta, el siguiente paso importante lo dio
Herman Hollerith, un estadstico estadounidense. Hollerith desarroll una mquina

de censo, que poda leer tarjetas de hasta 288 orificios, y almacenar la

informacin. Su mquina electromecnica poda leer hasta 80 tarjetas por minuto.
Cuando se utiliz para el censo de estadounidenses de 1890, la mquina de
Hollerith proces todos los datos en seis semanas (la elaboracin del anterior censo,
de 1880, haba llevado tres aos). En 1896 Hollerith se meti en el mundo de los
negocios, y cre la Tabulating Machine Company, que ms adelante se convertira
en la International Business Machine Corporation (IBM).
Se haban descubierto los elementos necesarios para el ordenador moderno
(incluyendo la explotacin comercial). Lo nico que faltaba era que alguien
descubriera qu poda hacer: las posibilidades y limitaciones tericas. Esto fue lo
que hizo Alan Turing.

Captulo 2
Vida y obra de un enigma
Alan Turing naci en Londres en 1912, en el seno de una familia inglesa de clase
media alta. Su padre perteneca a la Administracin en la India y su madre era hija
del ingeniero jefe del ferrocarril de Madrs. En 1913, sus padres volvieron a la
India, dejando al recin nacido Alan y a su hermano de cinco aos al cuidado de un
coronel retirado y su esposa, en la ciudad de St. Leonard-on-Sea, en el condado de
Sussex.
En aquellos das, los padres ingleses respetables no pensaban que fuera malo
abandonar a los hijos de esta forma. Incluso los que no podan marcharse a las
colonias contrataban a nieras y mandaban a sus hijos a internados (desde los siete
a los dieciocho aos), para asegurarse de ver poco, y or menos, a sus hijos. Este
temprano abandono apenas afect a John, hermano de Alan, como apenas afect a
la mayor parte de esa generacin de clase media; todos acabaron convirtindose en
tpicos colegiales ingleses de colegios privados. (Slo ahora, en que los tiempos se
han vuelto mucho ms exigentes, empezamos a pensar que esta especie
caracterstica de jvenes estaba mutilada emocionalmente.) Alan Turing, sin
embargo, result ser un nio normal, por lo que la experiencia lo afect
sobremanera. Desarroll un pronunciado tartamudeo, su autosuficiencia era rayana
en la excentricidad y se senta incapaz de participar en la charada de las costumbres
sociales.
Cuando su madre volvi, para una larga visita, en 1916, Alan reaccion con
sentimientos encontrados, que habra de conservar toda su vida. Quera
tiernamente a su madre, pero tambin pensaba que era una mujer imposible. Por
su parte, parece que la seora Turing era, efectivamente, imposible, pero adems
difcil de querer. Su principal preocupacin vital era que Alan pareciera respetable.
Desgraciadamente, el diablillo que Alan llevaba dentro hizo que eso tambin
fuera imposible.
En el internado, desde el principio Alan se comporto de forma especial. Era siempre
el nico que iba desaliado, el que tena tinta en los dedos, el que no encajaba en el
grupo. Lo que es peor, pareca no querer encajar. Era tmido, solitario, y su

tartamudeo slo serva para empeorar las cosas. El menor de los Turing no pareca
una promesa. Tuvo problemas para aprender a leer y a escribir. Sin embargo, un
da decidi que quera leer y aprendi por su cuenta en tres semanas. Para cuando
cumpli los once aos, haba desarrollado una pasin por la qumica orgnica, pero
segua sin sentir ningn inters por otras materias y ni siquiera era capaz de hacer
divisiones largas.
Cuando el matrimonio Turing regres de la India definitivamente, decidieron
quedarse en Dinard, en Bretaa, para evitar el pago de impuestos. Sin embargo, no
puede decirse que se tratara estrictamente de un acto egosta por su parte:
sencillamente, no se poda considerar a alguien como miembro de la clase media si
no enviaba a sus hijos a un colegio privado, que era ms de lo que los Turing
podan permitirse econmicamente. Haba que evitar este estigma social como
fuera, aunque supusiera el exilio. As que, cuando los padres volvieron por fin del
extranjero, sacaron a los nios de donde estaban y los llevaron a vivir con ellos a
una casa diferente. Todo por su bien, por supuesto.
De hecho, s fue por su bien. Alan disfrut de estas vacaciones en Francia, y
aprendi rpidamente el idioma. Adems, su educacin privilegiada acab
despertando las adormecidas cualidades que haba heredado. Su abuelo paterno
haba sido un estudioso de las matemticas en Cambridge, y un antecesor anglo-
irlands de su madre haba sido el inventor del trmino electrn, en 1891
(aunque lo que verdaderamente impresionaba a la familia, y compensaba el fuax
pas de ser un cientfico, era que haba sido elegido miembro de la Royal Society).
Era estupendo que Alan jugara a hacer tufos con su juego de qumica del colegio,
pero no era ms que una aficin. Para recibir una buena educacin y salir adelante
en la vida, deba aprender latn. Despus de todo, para eso lo estaban educando.
Para eso se estaba invirtiendo todo ese dinero: para que pudiera aprender algo y no
se dedicara slo a juguetear con ese espantoso juego de qumica. Sin el latn, nunca
aprobara el examen general para entrar en un colegio privado (en la Inglaterra de
entonces, a los colegios privados se los denominaba pblicos, pero ni el examen
de acceso tena nada de general, ni los colegios pblicos nada de pblico).
Para alivio de todos, Alan consigui entrar por los pelos en Sherborne, un colegio
privado de razonable prestigio, en Dorset. A los 13 aos, abandon Francia solo

para empezar su primer trimestre en el nuevo colegio. Cuando el transbordador

lleg a Southampton, se encontr con que la huelga general haba empezado ese
mismo da. El pas estaba paralizado: no haba trenes, ni transportes de ningn tipo.
Con el ingenio que lo caracterizaba, compr un mapa y recorri en bicicleta los casi
90 kilmetros que lo separaban de Sherborne, donde lleg convertido prcticamente
en hroe.
Sin embargo, Turing no logro estar a la altura de lo que prometa. No tard en
ponerse de manifiesto que no iba a ser el tipo de hroe de colegio privado. Ese nio
desaliado, raro y tartamudo no pareca interesado en hacer amigos ni en ganar
popularidad. Sin embargo, tampoco se rebelaba contra la sociedad. Sencillamente,
adopt un enfoque asocial: prefera hacer las cosas a su manera, en lo posible, pero
siempre dentro del sistema. Esta actitud habra de mantenerla toda su vida. Se
conformaba, pero al mismo tiempo no se conformaba.
En consonancia con la tica deportiva de los colegios privados, Turing se decant
por la carrera de fondo, uno de los deportes en que no haba que jugar en equipo.
Pese a sus pies planos, era sorprendentemente bueno en esta especialidad.
Fsicamente, al igual que intelectualmente, Turing siempre mostr una resistencia
excepcional... siempre y cuando le apeteciera. Adems, en Sherborne descubri un
profundo inters por las matemticas. Estaba poco interesado en las clases
convencionales, y empez a estudiar el tema por su cuenta, aventajando con mucho
a sus compaeros, aunque al mismo tiempo segua sin conocer ni los principios ms
bsicos. Pronto empez a leer acerca de la relatividad, y desarroll un profundo
inters por la criptografa. Sola hacer orificios en una hoja de papel; al colocarla
sobre una pgina de un libro concreto se obtena un mensaje. Sin embargo, para
crear mensajes cifrados era necesario un receptor. Cuando Turing cumpli 15 aos,
encontr a ese alguien, un chico mayor llamado Christopher Morcom, a quien todos
consideraban el mejor matemtico del colegio. Su inters comn por las
matemticas fue la base de su amistad. Sin embargo, para Turing esto lleg a ser
algo ms que amistad: se enamor de Christopher.
Esta experiencia fue extremadamente casta, pero tambin muy desconcertante para
Turing. No poda admitir sus sentimientos ante nadie, ni siquiera Christopher (que,
aparentemente, desconoca la naturaleza de los sentimientos que Turing le

profesaba). Turing ni siquiera poda admitir estos sentimientos ante s mismo. Al

igual que la mayora de los miembros de su clase social en aquel entonces, Turing
era un ignorante en materia de sexo y emociones de esta ndole. Los chistes verdes
y la masturbacin slo servan para aumentar esta ignorancia. Sherborne, al igual
que muchos otros colegios privados, crea firmemente en la represin. Si no se
prestaba atencin al sexo, la necesidad cesara. De hecho, el inters de Turing por
la carrera a campo traviesa vena en parte de que lo distraa de sus pensamientos
masturbatorios.
Christopher era un joven de pelo claro y ojos azules, de constitucin delgada. Turing
encontraba en Christopher la misma inclinacin a seguir unos principios. (stos, en
el caso de Turing, no eran evidentes, ya que estaban eminentemente relacionados
con la proteccin de su individualismo interior, pero en realidad eran unos principios
firmes, lo suficientemente slidos para que mantuviera las diferencias con los que lo
rodeaban.) Christopher era un joven de principios, sin caer en la pacatera. No se
sumaba a las conversaciones picantes de los dems, que el propio Turing
encontraba de tan mal gusto.
De vez en cuando, Christopher se ausentaba del colegio y regresaba con aspecto
dbil y ms delgado. Turing saba que Christopher tena mala salud, pero
desconoca la gravedad de la situacin: Christopher padeca en realidad de
tuberculosis bovina. A principios de 1931, cay inesperadamente enfermo en el
colegio y lo llevaron a un hospital de Londres, donde falleci a los pocos das.
Turing qued desolado. Christopher haba sido la primera persona que haba logrado
atravesar su coraza de soledad. Jams olvidara su amor adolescente por
Christopher. La idea del amor secreto y casto -frecuentemente necesario, en los
das en que la homosexualidad era un delito- habra de ayudarlo en muchos
momentos difciles de su vida.
Turing se gan merecidamente una beca para el King's College, en Cambridge,
donde ingres en octubre de 1931. Al principio, no hablaba con mucha gente y se
mantuvo aislado, disfrutando de la novedad de un cuarto individual y privado,
donde poda estudiar tranquilamente. Sin embargo, su tartamudeo se hizo ms
evidente, y su confusin psicolgica no desapareca. Turing sufri solo y en silencio
al comprender su sexualidad, mientras otros reconocan con burla los rasgos

distintivos de los homosexuales. Afortunadamente, no tard en descubrir que uno

de sus compaeros de matemticas comparta sus inclinaciones, y ambos iniciaron
una relacin sexual sin grandes compromisos.
A principios de la dcada de 1930, Cambridge era una de las primeras instituciones
matemticas y cientficas del mundo. El fsico terico anglosuizo, Paul Dirac, y sus
colegas consideraban que la universidad slo era superada en el campo de la fsica
cuntica por la de Gttingen. El King's College estaba especialmente bien dotado:
George Hardy, uno de los mejores matemticos de su tiempo, y Arthur Eddington,
cuyo trabajo haba ratificado la teora de la relatividad de Einstein, eran tutores
residentes y dieron clases a Turing.
Sin embargo, Turing estaba particularmente interesado en la lgica matemtica. En
1913, Russell y Whitehead, ambos tutores de Cambridge, haban publicado Principia
Mathematica. Con ello intentaban aportar una base filosfica para las matemticas,
con el fin de establecer as su certeza. Russell y Whitehead intentaron demostrar
que todo el edificio de las matemticas poda derivarse de ciertos axiomas lgicos
fundamentales (en cierto modo, esto es lo contrario de lo que Boole intentara cerca
de medio siglo antes). Russell y Whitehead no lograron un xito total, ya que en el
camino encontraron algunos problemas lgicos.
Por ejemplo, tomemos una proposicin como: lo que estoy diciendo es falso. Si la
proposicin es verdadera, lo que dice es falso; si es falso, lo que dice es cierto. En
la jerga de los lgicos, esta proposicin era formalmente indeterminable. Las
matemticas no podran basarse en axiomas lgicos hasta que las paradojas de ese
tipo se resolvieran. Sin embargo, muchos pensaban que tales dificultades eran
superficiales. No llegaban al corazn del proyecto: no invalidaban el intento de
basar las matemticas en un apoyo lgico bien fundado.
En 1931, todo esto cambi, cuando el enfant terrible de la lgica, el austriaco Kurt
Gdel public su trabajo sobre las proposiciones formalmente indeterminables de
Principia Mathematica. En este trabajo, aport pruebas visibles de lo que, para
horror de sus colegas, podra ser el fin de las matemticas.
Gdel tom la proposicin esta afirmacin no puede ser probada y demostr que
no poda probarse que fuera cierta (porque si lo fuera habra una contradiccin),
pero tampoco que fuera falsa, por la misma razn. Gdel logr demostrar que,

dentro de cualquier sistema matemtico estrictamente lgico, siempre habra

proposiciones cuya veracidad o falsedad no podra ser demostrada, partiendo de los
axiomas en los que se basara ese sistema. Las matemticas eran incompletas! Lo
que es peor, parecan irremediablemente daadas, ya que esto significaba que no
podramos estar seguros de que los axiomas bsicos de la aritmtica no fueran a
dar resultados contradictorios. Las matemticas eran ilgicas! (y, oh horror de los
horrores!, tambin la lgica era ilgica!).
Estos avances causaron un profundo efecto en Turing. Demasiado, tal vez. Porque,
como de costumbre, haba llegado muy lejos, pero olvidando la base. As, slo logr
un aprobado alto en la primera parte de los tripos (los exmenes de Cambridge).
Afortunadamente, sin embargo, en los exmenes finales estuvo a la altura y logr
un sobresaliente, lo que le permiti quedarse en Cambridge y dedicarse a la
investigacin. Tanto Eddington como Hardy estaban convencidos de que posea
habilidades excepcionales.
Para entonces, Turing estaba ganando confianza en s mismo. Segua siendo un
alma solitaria y un tanto extraa, pero ya no tena motivos para ocultar su
homosexualidad. En las conversaciones con sus colegas, de vez en cuando dejaba
caer algn comentario casual sobre sus preferencias sexuales. Esto se integra
dentro de su naturaleza: por sus principios, insista en la franqueza, ante s mismo y
ante los dems. Haba, sin embargo, excepciones. No le habl a su madre de su
homosexualidad, ni de su recin descubierto atesmo.
Turing sorteaba este engao con su particular forma de actuar. Cuando iba a casa,
en Navidades, cantaba canciones propias de Pascua, y en Semana Santa cantaba
villancicos (al parecer, el principio de incertidumbre de Gdel tambin tena
aplicaciones prcticas). Secamente, como observa el principal bigrafo de Turing,
Andrew Hodges, la familia segua siendo el ltimo bastin del engao.
Mientras tanto, la madre de Alan segua tratndolo como al patito feo de la familia,
e insista en que adoptara una apariencia ms elegante, le ordenaba que se cortara
el pelo, etc., en cuanto llegaba a la casa de Guilford (la familia haba dejado el exilio
forzado por el pago de impuestos y haba vuelto a la respetabilidad de los condados
locales, ahora que haban dejado de pagar la educacin de sus hijos).

Aunque Turing fuera elegido becario del King's College y se convirtiera en una de las
mentes matemticas ms prometedoras de Gran Bretaa, su madre se segua
avergonzando de aquel nio sin remedio, siempre con la cabeza en las nubes. El
aspecto aniado de Turing contribua a ello. Tanto fsica como mentalmente
mantuvo, durante toda su vida, un comportamiento curiosamente juvenil.
La relacin que mantena con su madre sigui siendo muy estrecha. Cuando escriba
a casa, trataba incluso de mantenerla al tanto de su pensamiento matemtico, y
hasta mencionaba la teora cuntica o la relatividad. Aunque habra que ver cunto
de todo esto entenda la seora Turing. Era una mujer inteligente, que vena de un
medio culto, pero su religiosidad y su firme creencia en que haba que mantener las
apariencias eran lo ms importante para ella. Segua viendo a Alan como un hijo
dscolo. Lo ms normal, claro, era que eligiera destacar en algo tan poco chic como
las matemticas.
Pero efectivamente, destac. Su tesis de licenciatura le vali una beca, y ahora
estaba dedicado a absorber los ltimos avances de las mejores mentes cientficas y
matemticas del momento. Despus de que Hitler accediera al poder en Alemania,
en 1933, muchos de los exiliados alemanes pasaron por Cambridge, y a menudo
dieron conferencias. As, Turing tuvo la oportunidad de or a Schrdinger hablar de
la mecnica cuntica, materia que prcticamente haba inventado. Tambin asisti a
un curso completo de mecnica cuntica que imparta Max Born, recin salido de
Gttingen. Otro de los exiliados de Gttingen, Richard Courant, dio un curso sobre
ecuaciones diferenciales.
Tanto Born como Courant haban trabajado con David Hilbert, catedrtico de la
universidad de Gttingen, comnmente considerado como uno de los mejores
matemticos de la historia. Al igual que Russell y Whitehead, haba intentado darle
un punto de apoyo formal a las matemticas, basndolas en unos pocos axiomas
bsicos. De stos, mediante una serie de reglas bien definidas, surgiran todas las
posibilidades matemticas.
El programa Hilbert, como se lo conoca, tambin se detuvo en seco al topar con
la denominada catstrofe Gdel, que demostraba que las matemticas eran
incoherentes desde el punto de vista de la lgica. Sin embargo, a pesar de este
claro intento, la teora de Gdel no logr acabar con las matemticas. La gente

sigui utilizndolas, a pesar de l, especialmente los matemticos. Al parecer, un

tringulo segua siendo un tringulo, los puentes no se caan, y los presupuestos
nacionales aumentaban (o no aumentaban, pero esto no era culpa de las
matemticas). De hecho, muchos entendan la demostracin de Gdel como una
mera interferencia sin importancia. Lo que importaba, en matemticas, era la
verdad, no la consistencia. (Pero, son compatibles la verdad y la inconsistencia?)
Al margen de tales disputas, la teora de Gdel dejaba algunas cuestiones
matemticas por resolver. Y estas cuestiones sealaban el camino para mitigar los
daos. De acuerdo, un sistema axiomtico, como las matemticas, podra originar
proposiciones arbitrarias (cuya veracidad o falsedad no podra ser demostrada)
pero, era posible determinar si tal proposicin era arbitraria desde dentro del
sistema? En otras palabras, podra identificarse semejante proposicin utilizando
una serie de reglas derivadas de los axiomas bsicos en los que se fundaba el
sistema? Podra determinarse mediante una serie de pasos concretos, de
procedimientos mecnicos, que cualquiera, o incluso una mquina, pudiera seguir?
De ser as, estas proposiciones arbitrarias podran ser identificadas y olvidadas sin
que todo el sistema se resintiera. Sin embargo, si no pudieran ser identificadas de
este modo, todo estaba perdido: las matemticas padeceran una inconsistencia
endmica.
ste era el problema que Turing se haba propuesto resolver. Era un proyecto
extremadamente ambicioso: la solucin era crucial para las matemticas. Para
poder resolverlo, Turing invent un concepto cuyas consecuencias desbordaran los
lmites de las matemticas.
Cules eran los procedimientos mecnicos (o reglas) que podran utilizarse para
determinar si una proposicin matemtica era susceptible, o no, de ser
demostrada? Estas reglas se adentraban en el corazn mismo del clculo. Qu era
un nmero computable y cmo se calculaba? El clculo era un proceso estricto,
como un proceso realizado por una mquina. Turing intent definir la naturaleza
terica de una mquina semejante, ahora conocida como la mquina de Turing.
Esta mquina slo funcionaba de acuerdo con unas reglas, y poda calcular cualquier
cosa para lo que existiera un algoritmo, es decir, una secuencia precisa de pasos
que condujera a una conclusin.

Por ejemplo, tomemos el procedimiento de encontrar los factores de un nmero (es

decir, los nmeros primos por los que es divisible). Un ejemplo sencillo: para hallar
los factores de 180, dividir por el nmero primo ms bajo posible, hasta llegar a un
nmero que no sea divisible por ese nmero primo y repetir el proceso con el
siguiente nmero primo ascendente, hasta completar la divisin (los nmeros
primos son los que slo son divisibles por 1 y por s mismos, por ejemplo: 2, 3, 5,
7, 11, 13...).
180: 2 = 90
90: 2 = 45
45: 3 = 15
15:3 = 5
5:5 = 1
As, 180 = 22 32 5
El procedimiento, o algoritmo, es el texto que est en cursiva, y puede aplicarse a

cualquier nmero. Se puede aplicar de forma mecnica, es decir, mediante un
pensamiento mecnico o una mquina que piense.
Habra que probar que una mquina de estas caractersticas siguiera un
procedimiento determinado y realizara una tarea de acuerdo con las reglas del
procedimiento. Si las reglas sirvieran para calcular nmeros primos, calculara
nmeros primos. Si fueran reglas de ajedrez, podra jugar al ajedrez. Cada mquina
seguira, simplemente, el procedimiento asignado.
Turing postul despus lo que l denomin una mquina universal. En esta
mquina se podra introducir un nmero que equivaliera a todo un procedimiento de
otra mquina Turing, y la mquina seguira el procedimiento y se comportara del
mismo modo que la mquina Turing original: jugara al ajedrez, calculara nmeros
primos, etc.
Desde este punto de partida (puramente terico), Turing pas a intentar demostrar
su tesis. Lo que Gdel haba demostrado era lgico. Lo que Turing iba a demostrar
se pareca a la teora de Gdel (en sus conclusiones), pero era matemtico.

Turing propuso el concepto de una mquina capaz de reconocer proposiciones

arbitrarias dentro de un sistema matemtico. Esta mquina terica tendra que
convertirse en una mquina Turing universal. Se introducira en ella un nmero que,
en forma de clave, llevara la descripcin de otra mquina Turing y actuara de la
misma forma que esta. Pero, qu pasara si en esta mquina universal hipottica
se introdujera un nmero que indicara su propia descripcin? Cmo se comportara
como ella misma, comportndose como ella misma, comportndose como ella
misma, y as sucesivamente? Y cmo podra seguir el procedimiento de
comportarse como ella misma, cuando ya estaba comportndose as?
Obviamente, la mquina se volvera loca. En trminos tericos, se vera enfrentada
a una contradiccin. Dicho de otro modo: una mquina semejante no podra existir,
ni siquiera en teora. Lo que significaba que un clculo semejante no era posible.
Era imposible definir una serie de reglas que pudieran determinar si una proposicin
era susceptible de demostracin (o refutacin) empleando nicamente
procedimientos extrados del mismo sistema.
As pues, las matemticas no eran slo incompletas desde el punto de vista de la
lgica, como Gdel haba demostrado, sino que tambin eran incompletas desde un
punto de vista matemtico. No haba forma matemtica de que las matemticas se
separasen de sus propias proposiciones arbitrarias. Turing public sus
descubrimientos en un trabajo titulado Sobre los nmeros computables, con una
aplicacin al Entscheidungsproblem (esta ltima palabra impronunciable hace
referencia al problema de la determinacin lgica, segn el planteamiento de
Hilbert).
Todos los que entendieron el trabajo, aunque fuera en una medida muy limitada,
admitieron que era excepcional. (Aunque pocos, en una poca en que an no haba
ordenadores, podan darse cuenta de que marcaba un hito.) Hasta entonces, las
nociones matemticas fundamentales de computabilidad y nmeros computables
haban permanecido confusas; ahora quedaban aclaradas. El clculo se defina en
trminos matemticos precisos, tan precisos que definan el proyecto terico de una
mquina que pudiera realizar esa labor. Al mismo tiempo, Turing haba definido los
lmites de lo que esta mquina poda hacer.

La mquina Turing era un ordenador terico. Actualmente, est considerado el

prototipo terico del ordenador electrnico digital. Turing haba dejado trazada la
teora de los ordenadores antes de que el primer ordenador (tal y como lo
conocemos) se fabricara.
La tarea que haba que acometer era obvia. Sin embargo, en 1937, cuando
finalmente se public el trabajo de Turing, estaba an por encima de las
capacidades humanas. (Se haba producido un retraso en la publicacin, porque no
se encontraba a nadie que tuviera los conocimientos necesarios para juzgar la
originalidad del trabajo de Turing). Para cuando se public Sobre los nmeros
computables, Turing haba cruzado el Atlntico y estaba haciendo un doctorado en
Princeton. Aqu, el departamento de matemticas comparta edificio con el Instituto
de Estudios Avanzados, de reciente fundacin. (Este centro para la investigacin
cientfica terica se haba creado en 1933 y estaba convirtindose rpidamente en el
mejor del mundo en su categora, aunque al igual que muchos de sus miembros
judos alemanes, en aquel entonces no tena un asentamiento fijo.) Turing se
encontraba entre los dioses. Einstein y Gdel eran residentes, as como Courant y
Hardy. La mayora de ellos permanecan apartados del mundanal ruido, y apenas
advirtieron la presencia del joven ingls que, segn confesara atinadamente a su
madre, viva como un solitario empedernido.
Sin embargo, si llego a trabar contacto con uno de los dioses del Olimpo, el
matemtico austrohngaro Von Neumann. Johnny von Neumann no era en
absoluto un solitario desaliado (como Einstein, Gdel, Turing, etc.), sino un
elegante vienes, capaz de crear en segundos frmulas matemticas (y mezclas para
ccteles) de increble complejidad. Slo Von Neumann valoro el logro de Turing en
toda su dimensin. Advirti que el joven ingls haba creado, en realidad, todo un
nuevo campo. (Turing lo haba denominado computabilidad, ya que no haba otro
trmino.) Von Neumann fue el que comprendi las posibilidades prcticas de la
materia. Se percat de que el siguiente paso era construir una mquina Turing.
Entre tanto, Turing segua con su doctorado, relacionado con otro de los
problemas de Hilbert. En 1900, Hilbert haba esbozado 23 problemas importantes
para que los resolvieran los matemticos del siglo XX aadiendo, de acuerdo al
positivismo tpico del cambio de siglo, que todos los problemas matemticos son

resolubles. Turing ya haba demostrado que se equivocaba, pero ahora decidi

hacer un esfuerzo definitivo para resolver un problema relacionado con la Hiptesis
de Riemann, que Hilbert haba calificado como la ms importante en
matemticas. Hardy ya haba luchado con este problema durante treinta aos,
pero sin xito.
Por decirlo de forma sencilla, el problema de Turing estaba relacionado con la
frecuencia de los nmeros primos. A principios de la dcada de 1790, Kurt Gauss,
nio prodigio alemn de 15 aos, del que muchos decan que era el nico
matemtico capaz de equipararse a Newton, descubri que, aparentemente, los
nmeros primos aparecan con menos frecuencia, segn el patrn regular. Para el
nmero n, el espacio entre los primos aumentara como el logaritmo natural de n.
Se descubri que esta teora ofreca slo errores marginales. Bernhard Riemann,
uno de los sucesores de Gauss como catedrtico de matemticas en Gttingen,
mejor con su aportacin la teora, que inclua la Hiptesis de Riemann, de enorme
complejidad. Pero ni siquiera la formula de Riemann era absolutamente correcta. Se
descubri que el mtodo del logaritmo sobreestimaba ligeramente el nmero de
primos y, despus de que millones de clculos lo confirmaran incluso para los
nmeros ms altos, se acept que siempre era as. Entonces, uno de los
colaboradores de Hardy, J. E. Littlewood, descubri que si la hiptesis de Riemann
era cierta, no poda ser as. Haba un paso a partir del cual se produca la diferencia,
y este paso se produca antes de llegar al nmero
Este nmero es inconcebiblemente alto. Como Hardy seal, es el mayor nmero

utilizado con algn fin matemtico. Este nmero, escrito en nmeros decimales
enteros llenara una cantidad de libros con una masa superior a la del planeta
Jpiter, segn Hodges, bigrafo de Turing.
Los problemas que esto planteaba eran fundamentales para la teora de los
nmeros. Turing se debati valientemente entre estos ejercicios mentalmente
agotadores, pero con escaso xito (hasta hoy, la hiptesis Riemann, por ejemplo,
sigue sin demostrarse).

Para Turing, los Estados Unidos eran segn el da, revitalizantes y turbadores.
Trabajaba demasiado y pasaba demasiado tiempo solo, por lo que empez a
padecer depresiones. A esto se sum un embarazoso incidente, relacionado con su
homosexualidad y un acercamiento mal interpretado. En una de las cartas que
escribi a su novio de Cambridge (que trabajaba en aquel tiempo como director de
un colegio en Walsall), mencionaba de pasada, como sola, que haba ideado una
forma de suicidarse comiendo una manzana mortal.
Tras dos aos en Estados Unidos, Turing volvi a Gran Bretaa, despus de
rechazar la oferta de Von Neumann de trabajar con l en el Instituto de Estudios
Avanzados. Le fue renovada la beca en el King's College, y retom su vida normal
en Cambridge. Escribi a su madre, para pedirle su osito de peluche, y asisti
ansioso al estreno de Blancanieves y los siete enanitos en el cine local. En especial,
le choc la escena en que la bruja malvada introduce una manzana colgada de un
hilo en el puchero de veneno hirviendo y, despus de ver la pelcula, empez a
repetir su embrujo:
Sumrjase la manzana. Que la pocin de la muerte dormida la impregne bien.
Los que escuchaban sus cnticos no tenan idea de que recientemente haba
pensado en suicidarse con una manzana. Por su orientacin sexual, estaba
acostumbrado a vivir en una mentira, pero no poda evitar esa forma de franqueza
oblicua (en tanto la homosexualidad fuera ilegal, era fundamental ocultarla, a pesar
de que era conocida entre unos pocos de sus colegas de Cambridge). La gente
segua pensando que Turing era una persona difcil de conocer; su carcter era,
incluso entonces, un enigma. Sin embargo, s que haba una clave para el que se
molestara en buscarla. Desgraciadamente, a partir de entonces, empez a resultar
cada vez ms difcil saber dnde buscarla.
As pues, Turing sigui manteniendo y, de hecho, insista en mantener su posicin
arbitraria dentro del sistema. Nadie poda desaprobar a Turing (era miembro del
King's College y un matemtico brillante), pero tampoco podan aprobarlo (su
madre, por ejemplo; o a causa de su homosexualidad, entonces ilegal).
Fue en torno a esta poca cuando Turing conoci al filsofo austriaco Ludwig
Wittgenstein y empez a asistir a sus clases. Wittgenstein daba clases a unos pocos
elegidos, que se sentaban en unas tumbonas, en sus desnudas habitaciones, y

escuchaban, mientras l pensaba en voz alta. Ello implicaba que hubiera

frecuentes periodos de largo y angustioso silencio. Despus, una pregunta, a la que
segua un salvaje interrogatorio, si alguien tena la osada de intentar responderla.
Wittgenstein daba clases sobre los fundamentos de las matemticas, pero desde
una perspectiva filosfica. Intentaba descubrir la naturaleza precisa de las
matemticas, es decir, qu eran exactamente, ms que cmo funcionaban. Turing
no tena la capacidad filosfica de Wittgenstein (de hecho, ningn otro ser humano
vivo posea esa fuerza intimidatoria), pero era mejor matemtico que l. En opinin
de Turing, qu eran las matemticas y para qu servan eran asuntos inextricables.
Se neg a dejarse intimidar por los amenazantes ataques de Wittgenstein.
En un determinado momento, Wittgenstein propuso que un sistema como el de las
matemticas o la lgica podra seguir siendo vlido, pese a contener una
contradiccin. El propio Turing haba demostrado que las matemticas contenan
inconsistencias, pero eso no era lo mismo que contradicciones. Le explic a
Wittgenstein que, si se intenta construir un puente basndose en unas matemticas
que contuvieran una contradiccin, el puente se caera. Wittgenstein insisti en que,
por el contrario, la naturaleza de las matemticas y su aplicacin eran asuntos
diferentes. Sin embargo, el trabajo de Sobre los nmeros computables de Turing
haba demostrado lo profundo que era el vnculo entre las matemticas puras y las
matemticas aplicadas. Haba resuelto un problema terico fundamental de las
matemticas proponiendo una mquina que, pese a ser terica, no dejaba de ser
una mquina, es decir, un aparato prctico que, en principio, podra construirse.
Resulta interesante el hecho de que la demostracin de Turing de que todo sistema
(como el matemtico o lgico) contiene proposiciones irresolubles demostraba lo
contrario que la filosofa inicial de Wittgenstein. A este respecto, Wittgenstein
sostena que cualquier problema, siempre que se expresara de una forma lgica
adecuada, poda ser resuelto.
Turing se adentrara ahora en el terreno de las matemticas aplicadas con
vehemencia. En 1939, estall la guerra contra la Alemania nazi y Turing fue
destinado a tareas de inteligencia. Le encargaron dirigir un equipo encargado de
descifrar cdigos, en el edificio de inteligencia de Bletchley Park, a unos 100 km al

norte de Londres. Este proyecto era alto secreto y estaba estrictamente vigilado por
los militares.
El ejrcito no estaba preparado para lidiar con Turing. Aunque mantena su extrao
comportamiento infantil, su apariencia haba evolucionado hacia una excentricidad
madura propia de Cambridge (un estado muy prximo a la rareza clnica).
A primera vista, Turing pareca un hombre que hubiera pasado una mala noche.
Llevaba el pelo desordenado, las uas sucias, se sujetaba los pantalones con una
vieja corbata del colegio y haba dejado de afeitarse con regularidad (a menudo se
cortaba al afeitarse y se desmayaba al ver la sangre). Para aquel entonces, la voz
de Turing se haba convertido en una especie de tartamudeo agudo y propio de la
clase alta, que en ocasiones se vea interrumpido por una molesta risa nerviosa
(parecida, segn se cuenta, al chirriante rebuzno de un burro). Cuando se perda en
sus pensamientos -algo que le ocurra con frecuencia-, sola acompaar las intensas
operaciones mentales que realizaba de unos chillidos y graznidos igualmente
intensos.
La actitud social de Turing era igualmente molesta. Obviaba a toda persona cuyo
intelecto no le pareciera digno de consideracin; por supuesto, esto inclua a todo el
personal del ejrcito que diriga el establecimiento. Para empeorar las cosas, sola
trabajar durante largos periodos que duraban noches y das eternos, pero despus
el oficial encargado de la inspeccin poda encontrarlo jugando al ajedrez con el
chico de los recados, o durmiendo siestas de tardes enteras, con la cabeza en el
escritorio.
Turing no era, sencillamente, carne de la disciplina militar. Lo que es peor, pareca
que no se tomaba en serio su trabajo. Y su trabajo, o el trabajo que se supona que
deba hacer (como le recordaba enrgicamente el oficial al mando), era en realidad
muy serio.
De hecho, era ms serio incluso de lo que el ejrcito se imaginaba. Los esfuerzos de
Turing y de los diversos equipos de personajes de inteligencia superior que
trabajaban en Bletchley cambiaron, casi con certeza, el rumbo de la guerra.
La historia de Bletchley empez en 1938, cuando Robert Lewinski, un joven
ingeniero polaco, se present en la embajada britnica de Varsovia. Afirmaba haber
trabajado en Alemania, en una fbrica de mquinas de seales cifradas. Lewinski

haba logrado memorizar los detalles de la mquina. Rpidamente, fue conducido de

forma clandestina de Polonia a Pars, donde se encarg de la supervisin de la
fabricacin de una maquina. Los britnicos haban odo hablar de estas maquinas,
conocidas como Enigma, utilizadas por el mando alemn para enviar rdenes
cifradas a las fuerzas en campaa. Los comandantes de los submarinos alemanes
tambin podan emplearlas para identificar su posicin, para poder ser enviados
hacia los convoyes enemigos ms cercanos localizados.
El Enigma era sorprendentemente fcil de utilizar, aunque aparentemente su
sistema de cdigos era imposible de descifrar. Bsicamente, el sistema consista en
dos mquinas. En la mquina emisora se configuraba una clave y el mensaje, sin
cifrar, simplemente se introduca en la mquina. Tres (o ms) brazos rotores
elctricos, dependiendo de la clave, desordenaban automticamente el mensaje, y
ste era finalmente transmitido. En el otro extremo, se configuraba la mquina
Enigma receptora con la misma clave y sta volva a ordenar el mensaje y lo
imprima ya descodificado. Los rotores, que giraban de forma independiente
permitan, literalmente, miles de millones de permutaciones, por lo que cualquier
enemigo que lograra interceptar una transmisin codificada se enfrentaba a una
tarea aparentemente imposible, si pretenda descifrar el cdigo. Cada da se
enviaban miles de mensajes, y la clave se cambiaba tres veces al da. Los alemanes
tenan razones para creer que su sistema de comunicacin era indescifrable.
Ahora, gracias a Lewinski, el personal del Servicio de Inteligencia britnico que
trabajaba en Bletchley saba exactamente cmo se construa y cmo funcionaba una
mquina Enigma. Pero eso no era suficiente. De hecho, quedaba mucho por hacer.
Las dificultades generadas por la Enigma eran enormes. Cada vez que se pulsaba
una letra, al mecanografiar un mensaje para introducirlo en la mquina, los rotores
giraban. As que, aunque se pulsara la misma letra varias veces seguidas,
invariablemente producira letras diferentes en la versin desordenada. Para
descifrar el cdigo era necesario saber cul era la clave definida en la mquina, ya
que sta era la que controlaba la posicin inicial de los rotores. Y, si la Enigma era
de slo tres rotores, haba un milln al cubo (1018) de claves posibles (los
mensajes de alto secreto de la Luftwaffe se enviaban en mquinas Enigma de diez
rotores).

Turing y su equipo (al que pronto se sumaron muchas de las mentes ms brillantes
matemticas del pas) se enfrentaban a una labor monumental. Deban buscar en la
mirada de mensajes cifrados cualquier combinacin, patrn o posibilidad que
pudiera significar algo y despus intentar reconstruir la configuracin de la clave.
Turing hizo una inmediata valoracin de la situacin muy en su estilo. El problema
era sencillo, al menos en teora. ste era un trabajo para una mquina Turing. La
mquina descrita por Turing en su trabajo Sobre los nmeros computables no era
totalmente terica. Turing haba proyectado una mquina en la que las
instrucciones se introducan en cinta de papel. La cinta estaba dividida en cuadrados
que la mquina leera de uno en uno. En su forma ms simple, cualquier problema
poda reducirse a una serie de instrucciones en dgitos binarios (bits). Como Turing
conjetur correctamente, el problema que planteaba la Enigma no era un problema
arbitrario. Esto quiere decir que era susceptible de ser resuelto: si se introducan las
instrucciones apropiadas en una mquina Turing, sta dara con la solucin. Pero
eso estaba muy bien en teora; la prctica era otra cosa.
Turing y su equipo se pusieron a construir una mquina electromagntica que
pudiera funcionar a gran velocidad, buscando en los mensajes codificados del
Enigma algn tipo de regularidad, caracterstica recurrente o combinacin que
pudiera ser descifrada. (En ocasiones, como resultado de alguna accin del
enemigo, encontraban la clave de algn mensaje anterior, obteniendo as ms datos
acerca de cmo funcionaba la Enigma, aunque slo se tratara de claves ya
obsoletas.) La mquina descodificadora de Turing se conoca como Colossus; eran
tan grandes las dificultades a las que se enfrentaba el equipo de Bletchley, que se
construyeron al menos diez versiones de la mquina.
El primer Colossus empez a funcionar en diciembre de 1943. Los detalles de esta
mquina son imprecisos, debido a la obsesin por el secreto de las esferas militares
y el Gobierno britnico. (De hecho, hasta hace poco, algunos cdigos empleados en
las guerras napolenicas seguan siendo informacin clasificada.) Al parecer, el
Colossus utilizaba 2.400 tubos de vaco, que realizaban clculos en el sistema
binario. No contena un programa almacenado, aunque s realizaba funciones
semejantes a las de un ordenador. As pues, se puede decir que esta mquina de
Turing era efectivamente una mquina de Turing, tal como se haba ideado? Sigue

habiendo dudas al respecto. Sin embargo, el Colossus se considera en general como

el antecesor del ordenador digital electromagntico.
Al margen de lo que fuera, el Colossus signific un enorme avance para la
tecnologa. La potencia combinada de sus cinco procesadores poda leer 25.000
caracteres en un segundo. Sin embargo, an no era suficiente. Los submarinos
alemanes estaban hundiendo barcos de la flota aliada en el Atlntico a un ritmo
alarmante. Nada se poda hacer: todava se necesitaban varios das para descifrar
los mensajes que los Enigma enviaban desde y hacia los submarinos. Trabajando
da y noche se consigui reducir gradualmente este margen. Llegado un
determinado momento, Gran Bretaa slo contaba con reservas de alimentos para
una semana. Por fin, el Colossus y el equipo de Bletchley estaban logrando descifrar
los cdigos en horas y luego en minutos. Finalmente, se logr determinar la
posicin de todos los submarinos alemanes en el Atlntico, y la prdida de barcos
de los convoyes aliados disminuy radicalmente.
Inmediatamente, los alemanes empezaron a sospechar. Pese a sus sospechas, sin
embargo, seguan convencidos de que su cdigo Enigma era indescifrable. Los
britnicos deban de estar recibiendo informacin de una red de espas bien
situados. No era necesario, por tanto, inventar una mquina codificadora ms
avanzada; la Gestapo pas a la accin y empez a realizar detenciones.
Mientras tanto, Turing segua comportndose como siempre, arreglndose
ocasionalmente para visitar a su madre (que estaba muy desilusionada, porque sus
labores militares no lo obligaban a raparse el pelo). Aparentemente, el aspecto de
Turing era un indicativo de sus profundas dudas psicolgicas. Segua haciendo
comentarios abiertos sobre la homosexualidad delante de sus colegas (aunque de
ah no pasaba), pero al mismo tiempo empez a mantener una relacin con una de
las criptoanalistas (quien, por cierto, le ense a tejer guantes). Su relacin dur
seis meses, al cabo de los cuales Turing tuvo que admitir su futilidad.
A un periodo de relativa elegancia en el vestir le sigui un ataque de indiferencia.
Sin embargo, y a pesar de su apariencia desaseada y a las largas horas de trabajo,
Turing segua estando en muy buena forma. Varias veces por semana se iba a
correr por campos y bosques. Los lugareos lo miraban perplejos, cuando coga un
puado de hierba al pasar y se iba masticndolo mientras corra. sta era la forma

de Turing de compensar las deficiencias vitamnicas de los tiempos de guerra (antes

sola comer una manzana antes de dormirse).
Esta tendencia a la autosuficiencia idiosincrsica se extendi a terrenos inesperados.
Cuando estall la guerra, Turing estaba convencido de que Gran Bretaa sera
invadida. Haba convertido sus ahorros en lingotes de plata y los haba enterrado
secretamente en los bosques cercanos a Bletchley Park. Despus, haba cifrado su
ubicacin y la haba memorizado. (Desgraciadamente, este cdigo s logr vencer a
Turing. Tras la guerra, no logr recordarlo y nunca pudo recuperar sus lingotes de
plata, a pesar de realizar varias cazas del tesoro sistemticas y exhaustivas, y de
que llegara a inventar su propio detector de metales.)
En Bletchley ya no se dedicaban nicamente a localizar submarinos. Rpidamente,
casi todas las comunicaciones alemanas se convirtieron en un libro abierto para
ellos. Este trabajo tena tal importancia que Turing lleg a cruzar el Atlntico para
contactar con los americanos. En el viaje se encontr con Von Neumann, que
tambin haba empezado a poner en prctica las ideas de Sobre los nmeros
computables. En el departamento de ingeniera de la Universidad de Pennsylvania,
los estadounidenses haban empezado a trabajar en el ENIAC (Dispositivo
electrnico de integracin y clculo numrico). Esta mquina era an ms colosal
que el Colossus y contena la asombrosa cantidad de 19.000 vlvulas. Sin embargo,
el ENIAC no estara listo hasta despus de la guerra. (Por otro lado, los alemanes,
sin que los aliados lo supieran, estaban tambin trabajando en este campo. En
1943, Konrad Zuse haba creado la primera calculadora multiusos controlada por un
programa, que se utilizaba para el anlisis en la fabricacin de bombas volantes. Sin
embargo, el laboratorio subterrneo de Zuse, situado en Berln, fue bombardeado
un ao despus.)
Cuando la guerra termin, Turing estaba trabajando en Hanslope Park, muy cerca
de Bletchley, en un proyecto de registros de voz denominado Delilah (por Dalila, la
figura bblica cuya engaosa voz haba causado estragos en Sansn). Para
entonces, el trabajo que Turing haba realizado con el Colossus haba aumentado
considerablemente su comprensin de la maquinaria electrnica. Haba empezado a
reflexionar sobre cmo podran las mquinas imitar el funcionamiento de la mente
humana.

En 1945, Turing se uni al recin fundado Laboratorio Nacional de Fsica, en

Teddington, a las afueras de Londres. Aqu, encabezaba el proyecto para la
construccin de una mquina de clculo automtico (conocida como ACE). Turing
intentaba disear un ordenador electrnico digital con un programa interno. El ACE
se benefici enormemente de la experiencia de Turing en la fabricacin y el
funcionamiento del Colossus, pero su punto fuerte segua siendo meramente
terico. Al igual que la mquina Turing universal propuesta en Sobre los nmeros
computables, el ACE debera seguir un diseo lgico global, que incorporara
muchos procedimientos lgicos complejos. Desgraciadamente, estos procedimientos
dieron lugar a una serie de dificultades tcnicas, que no interesaban tanto a Turing.
Su diseo se adelantaba mucho a su tiempo: era muy superior al ENIAC (la primera
de las denominadas mquinas Von Neumann), que los estadounidenses estaban a
punto de terminar, y estaba ms avanzado que cualquier otro proyecto que se
estuviera realizando en Inglaterra. Sin embargo, el ACE no tuvo que enfrentarse
slo a problemas tcnicos. Los problemas ms importantes se debieron a la falta de
fondos y a la poltica cientfica.
A diferencia de otros campos de investigacin cientfica, la poltica cientfica florece
gracias a la falta de fondos. Entre los racionamientos de la posguerra en Gran
Bretaa (incluso el pan estaba racionado), las polticas cientficas lograron un
avance histrico: entraron en su era bizantina. Tales complejidades y sutilezas
estaban totalmente al margen de los intereses de un simple mago de las
matemticas como era Turing. Ni en sus mejores momentos haba sido un hombre
diplomtico y as Turing se encontr con que sus solicitudes de fondos eran siempre
rechazadas.
La razn que se suele alegar para ello es que Turing tena un carcter antiptico y
su aspecto descuidado e infantil hacan que la gente no lo tomara muy en serio.
(Cuando asista, por ejemplo, a alguna reunin de un departamento de Whitehall
prefera cubrir los cerca de 15 kilmetros de distancia corriendo, atravesando
Londres, en lugar de utilizar el transporte pblico. Cualquiera que haya estado en la
meta de una carrera a campo traviesa, puede imaginarse el efecto que le causaba la
llegada de Turing a un comit de funcionarios.) Sin embargo, la falta de don de

gentes de Turing -por llamarlo de forma elegante- no era la nica razn. Su

proyecto era el mejor, pero otros eran mejores proyectando intrigas.
Para 1947, Turing se haba percatado de que as no iba a ningn lado. La versin
oficial es que dimiti de su puesto en el Laboratorio Nacional de Fsica y dej que
otros concluyeran el proyecto ACE. Lo que no est muy claro es si salt l solo o si
lo empujaron.
Irnicamente, esto es lo mejor que le poda haber ocurrido. Volvi a Cambridge,
donde enseguida se embarc en un trabajo revolucionario sobre la teora
informtica. A pesar de su implicacin en el proyecto Colossus y de haber sentado
las bases para el ACE (que finalmente se construy, con xito), y su posterior
participacin en el desarrollo del ordenador, es por su trabajo terico por lo que se
le recuerda.
Como ya hemos visto, Turing haba proyectado desde el principio que la mquina
Turing realizara funciones propias de la mente humana. Pero, era capaz una
mquina de equipararse a una mente humana? Lo que Turing propuso y analiz
entonces fue el concepto de maquinaria inteligente. Las objeciones morales,
humanas y religiosas fueron descartadas con su tacto caracterstico: como son
puramente emocionales, ni siquiera hace falta realmente refutarlas. Las objeciones
cientficas y filosficas eran ms serias. Una mquina capaz de disponer de
inteligencia implicaba un enfoque mecnico de la inteligencia, que a su vez
implicaba un determinismo. Sin embargo, aparentemente, la inteligencia humana
inclua un elemento de libre albedro.
La tediosa y ftil discusin filosfica entre el libre albedro y el determinismo no ha
lugar aqu. El argumento de Turing es que la mente humana parece, desde fuera,
tener capacidad de libre albedro. Se comporta como si la tuviera.
As pues, las operaciones de la inteligencia no son meramente mecnicas, pero
Turing sugera que podan ser realizadas por una mquina. En esto... no hay algo
ilgico? En el sentido verbal, tal vez. Sin embargo, la experiencia de Turing,
adquirida en su trabajo durante la guerra en los proyectos Colossus y Delilah,
indicaba lo contrario. Estas dos mquinas eran marcadamente deterministas, pero
se haba descubierto que tambin eran capaces de desarrollar un comportamiento

aleatorio. (Por algo el Colossus haba necesitado un equipo de docenas de

cuidadores para llevarlo por el camino correcto.)
En un determinado nivel, estos ordenadores primitivos haban sido totalmente
deterministas. Sin embargo, en otro nivel, haban mostrado un claro
comportamiento aleatorio, que pareca imitar el libre albedro. Haba una grieta en
la armadura: una grieta diminuta, pero real.
El argumento fundamental de Turing es que las mquinas eran capaces de
aprender. As, podran ampliar sus operaciones ms all de lo meramente mecnico.
Se poda ensear a una mquina a mejorar su comportamiento, hasta que llegara a
mostrar inteligencia.
En este punto, Turing super otra de las objeciones potenciales, que podra haber
limitado su tesis. Una mquina podr mostrar inteligencia, pero slo ser el reflejo
de la inteligencia de su creador. Turing no estaba de acuerdo. Utilizaba la analoga
del maestro y el pupilo. El alumno podra superar en brillantez a su maestro,
desarrollando una informacin cualitativamente superior, aunque utilice slo la
inteligencia que le ha programado su maestro. Turing llev ms lejos su
argumentacin. Era posible crear una mquina que jugara al ajedrez (siguiendo las
reglas que se introdujeran en ella). Sin embargo jugar contra una mquina as da
una impresin muy real de estar enfrentndose intelectualmente a algo vivo.
Como el ordenador poda aprender, su comportamiento superaba el determinismo
mecnico y mostraba un elemento de libertad que se asemejaba al de una
inteligencia viva (lo cual no quera decir, necesariamente, una inteligencia humana).
Turing estaba planteando preguntas que se haban presentado desde los orgenes
de la filosofa: qu significa ser humano?, qu es exactamente la inteligencia
humana? Pero enfocaba estas preguntas desde una perspectiva original: poda una
mquina adquirir estas cualidades?, cmo distinguimos una inteligencia humana de
la inteligencia de una mquina?
Turing estaba reflexionando en un plano que trascenda las matemticas, los
nmeros racionales e incluso los ordenadores. De hecho, se involucr tanto en sus
propios procesos de reflexin, que acab mirando el mundo como si l mismo fuera
un ordenador. A medida que exploraba las posibilidades del pensamiento, se fue

adueando del mecanismo del ordenador como su medio de pensamiento. Qu es

la inteligencia?
Hasta cierto punto, esta identificacin con la mquina empez a impregnar el resto
de su vida. El hecho de verse a s mismo como una mquina le proporcion un
enorme alivio psicolgico para la continua confusin de su vida interior.
El regreso de Turing a Cambridge fue lo mejor que le pudo ocurrir, tanto profesional
como personalmente. Durante varios periodos en la vida de Turing, estas dos
categoras fueron inseparables. Aqu, en Cambridge, ya no lo eran. Puede que
Turing se haya identificado psicolgicamente con un ordenador, pero su
comportamiento no lo dejaba traslucir.
Turing tena ya 35 aos, aunque segua pareciendo unos diez aos ms joven. En el
King's College donde viva, su intelecto era considerado (por los pocos que le
entendan) como uno de los mejores de Cambridge. Sin embargo,
desgraciadamente, su comportamiento estaba muy por debajo de su intelecto.
Turing adquiri la costumbre de pasearse por el patio de su facultad, en busca de
jovencitos a los que invitar a tomar un t en sus habitaciones. Por las tardes, sola ir
a visitar inesperadamente a otros jvenes. Sola decir: a veces ests hablando con
alguien y sabes que, en tres cuartos de hora, estars pasando una noche
maravillosa o te echarn a patadas del cuarto. El hecho de identificarse con un
ordenador aparentemente lo liber de todo recelo que le impidiera manifestar su
sexualidad.
Turing debi de ser una compaa peligrosa durante este tiempo. Sin embargo,
afortunadamente para todos los implicados, la situacin no se prolong. Antes de
que las autoridades de la universidad pudieran considerar que su comportamiento
superaba los lmites de la excentricidad aceptable, Turing encontr un novio
estable: Neville Johnson. Este joven haba obtenido una beca del instituto
Sunderland y cursaba su tercer ao de matemticas. Neville ya haba realizado sus
dos aos de servicio en el ejrcito, y a Turing le atrajo su actitud un tanto tosca,
pero resuelta. Al parecer, Neville Johnson fue uno de los pocos que llegaron a
atravesar el caparazn de Turing, su defensa frente al mundo. Un da, mientras
estaban juntos en la cama, Turing confes: tengo una relacin ms estrecha con
esta cama que con otras personas. Sin embargo, pese al profundo afecto que

senta por Neville, Turing segua rondando ocasionalmente por el patio. A estas
alturas, una completa rendicin al amor deba de ser ya imposible. Un ordenador
poda tener inteligencia, pero que tuviera emociones segua siendo una cuestin
terica.
Entre tanto, se realizaban grandes avances en el terreno prctico. En Cambridge se
estaba construyendo una mquina de computacin llamada EDSAC (ordenador
automtico de almacenamiento electrnico retardado) pero, sorprendentemente,
Turing decidi evitar todo contacto con el equipo responsable. En lugar de eso,
despus de un ao en Cambridge acept el puesto de director adjunto del
laboratorio de ordenadores en la Universidad de Manchester. En este laboratorio se
estaba construyendo la Mquina Digital Automtica de Manchester (conocida
popularmente como MADAM).
El 21 de junio de 1948 el MADAM se convirti en el primer ordenador electrnico
con un programa almacenado que funcionara, descomponiendo un nmero en sus
factores primos.
El MADAM cumpla todas las especificaciones tericas de una mquina Turing (tal y
como se describa en Sobre los nmeros computables), aunque no haba sido
construido segn el diseo de Turing. Sin embargo, Turing se sum con entusiasmo
a la ampliacin de sus capacidades originales. Dise unos circuitos para los
equipos fsicos de entrada y salida, y lleg incluso a obtener de Bletchley un teletipo
de una mquina de cdigos alemana. Turing se encontr pronto dedicando un gran
nmero de horas al anlisis matemtico, aunque frecuentemente acababa
resolviendo los problemas en breves momentos de iluminacin intuitiva.
El trabajo en el MADAM no era solo intelectual y tcnico. Hacer funcionar este
monstruo en continuo crecimiento era una tarea herclea. El ayudante de Turing
describa el proceso: En la sala de la maquina, se avisaba al ingeniero y se
utilizaban los interruptores manuales para introducir el programa de entrada; una
vez hecho esto, era necesario correr escaleras arriba y poner la cinta en el lector y
volver luego a la sala de la mquina. Si la mquina empezaba a leer la cinta y a
seguir correctamente las instrucciones, el operario tena que llamar al ingeniero
para que conectara la corriente que activaba la funcin de impresin. En cuanto el
patrn del monitor indicaba que haba finalizado la entrada, el ingeniero

desconectaba la corriente de impresin. Solan hacer falta varios intentos para

introducir la cinta, y cada intento significaba un nuevo viaje a la sala de la cinta.
Afortunadamente, Turing segua estando en forma.
A pesar de tales dificultades atlticas, el MADAM pronto estuvo listo para acometer
tareas ms complejas. Sus tubos podan almacenar hasta 128 palabras (grupos de
dgitos binarios que contenan instrucciones que la mquina poda utilizar) de 40
bits. Este no fue slo el primer ordenador operativo, sino tambin el primero
utilizado para un objetivo constructivo a gran escala. Ms adelante fue utilizado
para calcular el diseo de la ruta martima de St. Lawrence, una de las maravillas
de la ingeniera del siglo XX.
Sin embargo, las tareas iniciales del MADAM fueron algo menos constructivas.
Turing estaba ms interesado en ensearle a jugar al ajedrez y pasaba largas horas
dedicado a ello, buscando la forma de mejorar su estrategia en el juego. Otros
miembros del equipo no estaban igualmente conformes viendo al director adjunto
del proyecto y al MADAM enzarzados en un combate intelectual y les hizo an
menos gracia su siguiente hazaa. Turing program el MADAM para que escribiera
una carta de amor. Esta era la primera vez que se intentaba algo as, y la mquina
escribi una misiva tpica de la extraa pasin de alguien poco acostumbrado a
expresar tales emociones:
Querido cariito:
Eres mi vido sentimiento amigo. Mi afecto se asocia extraamente
a tu deseo pasional.
Mi deseo ansia tu corazn. Eres mi soadora compasin: mi tierno
deseo.
Hermosamente tuyo, M.U.C.
En este caso, el MADAM prefiri definirse como M.U.C, el Ordenador de la

Universidad de Manchester, eleccin cuyas asociaciones podran haber resultado
muy interesantes para Sigmund Freud.
Las actividades de Turing eran igualmente interesantes, desde el punto de vista
psicolgico. No se haba enamorado realmente desde su pasin escolar por

Christopher Morcom. Desde luego, la prematura muerte de Christopher influy en

su incapacidad para comprometerse plenamente y de forma duradera con nadie,
aunque tampoco se puede subestimar la importancia del peligro que implicaba
mantener una relacin amorosa homosexual en la Inglaterra de entonces. De
cualquier forma, Turing se daba cuenta de su fracaso y ste lo atormentaba. (Su
confesin, a Neville Johnson, de cmo recordaba su pasado -tengo que pensar en
la persona de la que estaba enamorado en ese momento- no hace sino reforzar
esta idea. Sus relaciones amorosas se vean frustradas, o culminaban en una breve
pero insatisfactoria conflagracin.)
A la luz de la identificacin de Turing con un ordenador, su proyecto de programar
el MADAM para que redactara cartas de amor adquiere visos de patetismo. ste no
fue un acto inconsciente; Turing saba lo que estaba haciendo, aunque los dems no
se dieran cuenta. A estas alturas, se haba definido abiertamente, aunque slo de
forma casual, en cuanto a sus preferencias homosexuales. Sin embargo,
precisamente por eso sus colegas desconocan su secreto sufrimiento. Puede haber
resuelto el problema de la Enigma, pero segua sin resolver el problema de su
propio enigma.
Sin embargo, incluso esto segua siendo un asunto secundario, reprimido u obviado.
Turing continuaba sumergindose en su trabajo (el trabajo y la carrera de fondo
segua siendo su bromuro). Las partidas de ajedrez y las cartas de amor del MADAM
eran fundamentales dentro del actual inters primordial de Turing: la maquinaria
inteligente o, como se la conoce generalmente, la inteligencia artificial.
Las preguntas provocativas que Turing planteaba (y con las que frecuentemente se
identificaba) sentaron las bases de este campo. Estas preguntas eran
profundamente filosficas, sin ser confusas, y al mismo tiempo seguan siendo
estrictamente cientficas, sin dar lugar a esos milagros aislados hacia los que la
ciencia experimental puede degenerar con tanta facilidad. Como ocurre con la
filosofa, pero no con una buena parte de la ciencia moderna, ste era un campo del
conocimiento en el cual se poda vivir, ya que esclareca la condicin humana.
Turing plante sus ideas en una serie de trabajos, de los cuales el ms importante
fue Maquinaria de computacin e inteligencia, publicado en 1950. En l, Turing
insista en que se poda ensear a los ordenadores a pensar por s mismos; eran

capaces de generar un pensamiento original. De forma muy esclarecedora, tachaba

de sentimental la generalizada oposicin a esta nocin. Para que los procesos de
un ordenador pudieran asemejarse a los caprichos de la inteligencia humana, Turing
propona la incorporacin de un elemento aleatorio, por ejemplo una rueda de
ruleta.
Sin embargo, consideraba que muchas de las objeciones filosficas eran tediosas y
ftiles. No quera en modo alguno que la cuestin de la inteligencia de los
ordenadores quedara atascada en preguntas sobre el libre albedro, la tica, la
definicin de la vida, etc. As, eludi brillantemente estos problemas. Haba una
forma de saber si una mquina era inteligente o no: colocarla tras una pantalla y
dejar que un ser humano le hiciera preguntas. La persona podra decidir entonces,
basndose en respuestas escritas, si estaba tratando con un ser inteligente o una
simple mquina. Podra una mquina engaar a un ser humano para que pensara
que era humana? ste era el juego de la imitacin que Turing propona (conocido
actualmente como el test de Turing).
Turing demostr cmo un interrogador hbil poda poner a prueba la mquina,
obteniendo de ella decisiones y juicios sutiles y, posiblemente, hasta respuestas
emocionales. O al menos, eso parecera en las respuestas escritas. Sin embargo,
Turing no esquiv todas las objeciones filosficas (simplemente, sorte las tediosas
e improductivas). Su propio argumento filosfico era incontestable.
Insista en que el juego de la imitacin deba aceptarse como un criterio bsico.
Por qu? Porque as es como nosotros reaccionamos entre nosotros. No hay
ninguna forma inmediata de saber si otra persona posee inteligencia o no.
Solamente podemos inferir que son seres pensantes y conscientes comparndolos
con nosotros mismos. Turing pensaba que no haba ninguna razn por la que no
pudiramos actuar de la misma forma con los ordenadores. Su pregunta era: Por
qu hay que tratarme a m de forma distinta a un ordenador?. (El hecho de que
esta pregunta la planteara una persona que se vea a s mismo como un ordenador
presenta una serie de cuestiones interesantes. Hay alguien humano
escuchndome?)
Adoptando, magnnimamente, la perspectiva humana, Turing lleg a sugerir una
serie de objeciones a su argumento. La ms seria de stas se conoce como la

objecin de Lady Lovelace, por la colega de Babbage, que fue la primera en

plantearla. Lady Lovelace estaba convencida de que los ordenadores eran incapaces
de producir un pensamiento original, porque slo pueden hacer lo que se les dice.
Dicho de otro modo, solo pueden funcionar dentro de los lmites que se les hayan
programado.
La respuesta de Turing era tan calculadora como un ordenador: cuando
programamos un ordenador, slo tenemos una vaga idea general de lo que le
hemos pedido que haga. Desde luego, no hemos pensado en todas las implicaciones
de la tarea.
Por analoga, hemos visto que las matemticas fueron entendidas como una serie
de nmeros y procedimientos sencillos, como los que se podan introducir en un
ordenador. Sin embargo, las implicaciones de este sistema han demostrado que no
son en absoluto sencillas. De hecho, no slo han demostrado ser totalmente
inagotables, sino que tambin han desarrollado su propia inconsistencia. Como
apunt Ehrensvard: hay momentos en que hasta las matemticas parecen tener
cerebro propio.
Finalmente, esta forma de pensar llev a Turing ms all del campo de los
ordenadores, hacia la morfognesis (la evolucin mediante el desarrollo de patrones
en los organismos). Turing se percat de que, al igual que en matemticas,
cualquier sistema simple crece en complejidad. Una estructura simtrica uniforme
se desarrolla a travs de la difusin de su forma en una estructura asimtrica con
un patrn propio. En 1952, Turing public su primer trabajo sobre este tema: La
base qumica de la morfognesis.
Este trabajo plantea la siguiente cuestin: cmo crecen las cosas? cmo adquiere
forma la materia? (el trmino morfognesis proviene de las palabras forma y
origen, en griego antiguo). Por mera coincidencia, en Cambridge, Crick y Watson
estaban intentando resolver el mismo problema desde una perspectiva
microbiolgica. Durante el proceso, acabaron descubriendo la doble hlice del ADN.
Sin embargo, Turing enfocaba el problema desde una perspectiva matemtica.
Cmo lleg a evolucionar el caldo primigenio, con su simpleza qumica relativa
hasta convertirse en organismos de una complejidad tan enorme? Crick y Watson
pretendan encontrar una explicacin sobre el cmo de este hecho. Turing buscaba

una respuesta para el cmo y el porqu. Persegua una respuesta matemtica que
pudiera explicar el patrn de la vida misma en trminos matemticos. (Si Einstein
poda explicar el funcionamiento ltimo del universo mediante frmulas
matemticas, Turing poda describir la vida misma de igual forma. Desde luego, a
Turing no le faltaba ambicin.)
Cmo contena el caldo qumico primigenio la informacin que le permita
desarrollar esa complejidad? (aqu resulta evidente el paralelismo con la pregunta
de cmo un ordenador poda desarrollar inteligencia). Pero, qu tenan que ver
estos problemas con las matemticas? Varios ejemplos lo muestran. Tomemos, por
ejemplo, una solucin qumica inorgnica saturada, en la que se estn formando
cristales -o creciendo, porque parecen desarrollarse de una forma orgnica
asimtrica y misteriosa. En el plano qumico, no hay explicacin para esta falta de
simetra. Sin embargo, en el plano molecular, los movimientos y las colisiones
individuales de las molculas que hay en la solucin son aleatorios. Por tanto,
resulta poco sorprendente que los cristales adquieran formas asimtricas. En cierto
modo, la complejidad se va creando a medida que se produce.
Un ejemplo significativo de este proceso se aprecia en la msica moderna. El
compositor hngaro Gyrgy Ligeti ha escrito una pieza para 100 metrnomos,
todos fijados a diferentes velocidades. Los metrnomos empiezan a funcionar al
mismo tiempo, y despus pierden la sincrona. Esto suena como una receta para el
caos, pero lo que en realidad se desarrolla es una extraa msica virtual, que en
cierto modo est siendo creada por los propios metrnomos.
Turing estaba convencido de que en la naturaleza se producan desarrollos
matemticos similares. Las flores, plantas y clulas que estudi mostraban y
desarrollaban, sin excepcin, unos patrones, muchos de los cuales presentaban
sorprendentes secuencias matemticas.
Por ejemplo, tanto las espirales de una pina como las semillas cubiertas de un
girasol recuerdan la secuencia Fibonacci. sta es la serie 1, 1, 2, 3, 5, 8, 13, 21...,
en que cada nmero es la suma de los dos anteriores, las misteriosas y fascinantes
propiedades de los nmeros Fibonacci se reflejan en las matemticas (por ejemplo,
en los tringulos de Pitgoras, los nmeros primos y la proporcin urea) y en la

naturaleza (por ejemplo, las pias, el crecimiento de las hojas y las distancias de los
planetas respecto al Sol muestran caractersticas Fibonacci).
Los patrones de la naturaleza eran profundamente matemticos. Era posible que
algo en la naturaleza de las matemticas controlara el desarrollo de tal
complejidad?
Esas eran las preguntas que ocupaban a Turing a principios de la dcada de 1950.
Sigui utilizando el MADAM en estas complejas investigaciones, aunque haba sido
relegado en buena medida de sus tareas sobre el desarrollo prctico del lado
informtico. Se esperaba que el MADAM moderno hiciera algo ms que escribir
cartas de amor.
Para entonces, Turing haba comprado una casa en Wilmslow, un agradable barrio
residencial en la periferia de Manchester y aparentemente era una figura de cierta
eminencia. En 1951 haba sido elegido miembro de la Royal Society, a la temprana
edad de 39 aos. Una de las personas que lo haban propuesto era el filsofo
Bertrand Russell, uno de los primeros que reconoci el profundo significado
filosfico del trabajo de Turing. (De hecho, en este sentido queda an mucho por
explorar, casi medio siglo despus.)
Sin embargo, en el caso de Turing la respetabilidad haba sido siempre apenas una
fina cubierta. Segua trabajando durante largas horas (sola trabajar jornadas de 12
horas en el laboratorio), y reservaba el MADAM para utilizarlo las noches de los
martes y jueves. An as, le quedaban otras noches, largas y solitarias, en que el
MADAM no poda distraerlo por lo que, de vez en cuando, merodeaba en busca de
jvenes homosexuales.
Turing entabl algo parecido a una amistad con uno de sus amantes, Arnold Murray,
un joven rubio y de ojos azules de Manchester. Un fin de semana, Alan dej a
Arnold solo en su casa y al volver descubri que le haban robado. Faltaban algunas
cosas menudas, incluyendo una camisa y unos pares de zapatos, algunos cuchillos
de plata y una brjula. Turing se sinti herido y comunic el robo a la polica.
Esto acab siendo un error fatal. El detective a cargo de la investigacin pronto
descubri el elemento homosexual del caso y en febrero de 1952, Turing fue
detenido, por los cargos de indecencia grave.

Turing tena un carcter firme, pero la deshonra pblica le afect, inevitablemente.

Se vio obligado a ir al sur, a advertir a su madre del juicio que se avecinaba y de
que era posible que se hiciera pblico. Hodges, su bigrafo, afirma: la seora
Turing no entenda muy bien la importancia de lo ocurrido, pero entenda lo
suficiente para que tuviera con su hijo una desagradable discusin, en la que no
acababan de entenderse.
Afortunadamente, no se hizo una gran publicidad del juicio en los peridicos (hubo
un breve en la edicin de la zona norte de News of the World, con el titular El
acusado tena un gran cerebro). El caso, casi con certeza, fue acallado por las
autoridades. Tal vez esto fuera lo mnimo que podan hacer por un hombre que
haba desempeado un papel fundamental en la victoria de la segunda guerra
mundial. Cabe pensar que si Turing hubiera sido un hombre ms atractivo y hubiera
querido participar en el juego social, todo el asunto habra quedado olvidado.
Despus de todo, no se puede decir que la homosexualidad no fuera comn en el
establishment britnico. Pero claro, Turing no era en absoluto un miembro del
establishment.
Al final, Turing se declar culpable y tuvo suerte, ya que no fue condenado a
prisin. En lugar de eso, qued en libertad condicional, con la condicin de que se
sometiera a un tratamiento hormonal para curarlo de su homosexualidad.
Este absurdo tratamiento con drogas tena efectos secundarios grotescos. Para
empezar, lo volvi impotente y, a un compaero al que visit en Cambridge le
confes: me estn creciendo pechos.
Turing intent volcarse nuevamente en su trabajo. Ahora intentaba resolver las
preguntas que haba planteado en La base qumica de la morfognesis. Sin
embargo, encontr un obstculo en las pequeas variaciones de los sistemas de
ecuaciones diferenciales de primer orden que parecan originar la asimetra.
Aparentemente, stas explicaban la teora qumica de la morfognesis cuando la
complejidad se creaba a s misma. Evidentemente, que la complejidad se creara a s
misma era un asunto complejo.
Turing pronto descubri que esto era tan desalentador como su investigacin
doctoral sobre los nmeros primos, en relacin con la Hiptesis de Riemann. Al igual

que antes, las primeras fuentes de inspiracin se secaron, convirtindose en un

desierto de clculos. Y al igual que antes, reapareci la posibilidad del suicidio.
Esta vez, la idea resultaba ms atractiva. Su trabajo se haba secado y haba sido
excluido de toda labor creativa con los ordenadores, a pesar de sus excelentes
cualificaciones. Su identidad sexual estaba virtualmente anulada, y el excepcional
tono tsico que haba mantenido, como atleta de fondo, haba quedado convertido
en una mera caricatura gracias a los medicamentos.
As lleg la ltima representacin de una escena que haba ensayado al menos en
una oportunidad. En la noche del 7 de junio de 1954, Alan Turing se tumb y comi
su habitual manzana nocturna, tratada en esta ocasin con cianuro.

Epilogo
Tras su muerte, Turing fue condenado al olvido. Su trabajo en el Colossus durante

la guerra sigui siendo secreto oficial y su exclusin final del trabajo creativo
prctico en los primeros ordenadores britnicos hizo que los vencedores se
quedaran con el botn de guerra, y slo los cognoscente de la materia supieron
apreciar el brillante trabajo terico que Turing realiz.
Y as podan haber quedado las cosas, si en 1985 Andrew Hodges no hubiera escrito
una brillante y completa biografa de Turing. sta le brindo a Turing el
reconocimiento general del pblico que se mereca, adems de desvelar un infame
escndalo sexual (en este caso, perpetrado por unas autoridades ingratas). Aquellos
que han escrito posteriormente sobre Turing tienen una gran deuda con Hodges. Sin
embargo, y a pesar de las investigaciones exhaustivas, Turing sigui siendo para
Hodges un misterio, como lo fuera para sus contemporneos. A pesar de ello, los
logros de Turing hablan por s solos. Cada vez ms personas lo reconocen como el
pionero de la teora informtica, un padre fundador del ordenador moderno y, de
forma casi accidental, el hombre que gan la guerra.
Las cuestiones de la inteligencia artificial y la morfognesis, que l fuera el primero
en plantear en un sentido amplio, siguen siendo preguntas fundamentales y sin
respuesta en nuestros das.
FIN

Turing y El Ordenador Paul Strathern FREELIBROS PDF

Caricato da

Informazioni sul documento

Titolo originale

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Turing y El Ordenador Paul Strathern FREELIBROS PDF

Caricato da

Copyright:

Formati disponibili

Turing y el ordenador Paul Strathern

Colaboracin de Sergio Barros 1 Preparado por Patricio Barros

Colaboracin de Sergio Barros 2 Preparado por Patricio Barros

Alan Turing a los 16 aos de edad

Colaboracin de Sergio Barros 3 Preparado por Patricio Barros

convirtiera en un objeto intil nos resulta inconcebible slo porque todava no se ha

Colaboracin de Sergio Barros 4 Preparado por Patricio Barros

Colaboracin de Sergio Barros 5 Preparado por Patricio Barros

Colaboracin de Sergio Barros 6 Preparado por Patricio Barros

Lo que s sabemos es que la mquina de Schickard fue una precursora del

Colaboracin de Sergio Barros 7 Preparado por Patricio Barros

1623, el mismo ao en que Schickard haba inventado el reloj de clculo original.

Colaboracin de Sergio Barros 8 Preparado por Patricio Barros

Colaboracin de Sergio Barros 9 Preparado por Patricio Barros

Colaboracin de Sergio Barros 10 Preparado por Patricio Barros

Colaboracin de Sergio Barros 11 Preparado por Patricio Barros

Colaboracin de Sergio Barros 12 Preparado por Patricio Barros

Desgraciadamente, el Gobierno no se dej intimidar por estas increbles

Colaboracin de Sergio Barros 13 Preparado por Patricio Barros

Colaboracin de Sergio Barros 14 Preparado por Patricio Barros

de censo, que poda leer tarjetas de hasta 288 orificios, y almacenar la

Colaboracin de Sergio Barros 15 Preparado por Patricio Barros

Colaboracin de Sergio Barros 16 Preparado por Patricio Barros

Colaboracin de Sergio Barros 17 Preparado por Patricio Barros

para empezar su primer trimestre en el nuevo colegio. Cuando el transbordador

Colaboracin de Sergio Barros 18 Preparado por Patricio Barros

profesaba). Turing ni siquiera poda admitir estos sentimientos ante s mismo. Al

Colaboracin de Sergio Barros 19 Preparado por Patricio Barros

distintivos de los homosexuales. Afortunadamente, no tard en descubrir que uno

Colaboracin de Sergio Barros 20 Preparado por Patricio Barros

dentro de cualquier sistema matemtico estrictamente lgico, siempre habra

Colaboracin de Sergio Barros 21 Preparado por Patricio Barros

Colaboracin de Sergio Barros 22 Preparado por Patricio Barros

sigui utilizndolas, a pesar de l, especialmente los matemticos. Al parecer, un

Colaboracin de Sergio Barros 23 Preparado por Patricio Barros

Por ejemplo, tomemos el procedimiento de encontrar los factores de un nmero (es

El procedimiento, o algoritmo, es el texto que est en cursiva, y puede aplicarse a

Colaboracin de Sergio Barros 24 Preparado por Patricio Barros

Turing propuso el concepto de una mquina capaz de reconocer proposiciones

Colaboracin de Sergio Barros 25 Preparado por Patricio Barros

La mquina Turing era un ordenador terico. Actualmente, est considerado el

Colaboracin de Sergio Barros 26 Preparado por Patricio Barros

resolubles. Turing ya haba demostrado que se equivocaba, pero ahora decidi

Este nmero es inconcebiblemente alto. Como Hardy seal, es el mayor nmero

Colaboracin de Sergio Barros 27 Preparado por Patricio Barros

Colaboracin de Sergio Barros 28 Preparado por Patricio Barros

escuchaban, mientras l pensaba en voz alta. Ello implicaba que hubiera

Colaboracin de Sergio Barros 29 Preparado por Patricio Barros

Colaboracin de Sergio Barros 30 Preparado por Patricio Barros

haba logrado memorizar los detalles de la mquina. Rpidamente, fue conducido de

Colaboracin de Sergio Barros 31 Preparado por Patricio Barros

Colaboracin de Sergio Barros 32 Preparado por Patricio Barros

habiendo dudas al respecto. Sin embargo, el Colossus se considera en general como

Colaboracin de Sergio Barros 33 Preparado por Patricio Barros

de Turing de compensar las deficiencias vitamnicas de los tiempos de guerra (antes

Colaboracin de Sergio Barros 34 Preparado por Patricio Barros

En 1945, Turing se uni al recin fundado Laboratorio Nacional de Fsica, en

Colaboracin de Sergio Barros 35 Preparado por Patricio Barros

gentes de Turing -por llamarlo de forma elegante- no era la nica razn. Su

Colaboracin de Sergio Barros 36 Preparado por Patricio Barros

aleatorio. (Por algo el Colossus haba necesitado un equipo de docenas de

Colaboracin de Sergio Barros 37 Preparado por Patricio Barros

adueando del mecanismo del ordenador como su medio de pensamiento. Qu es