TuringRP SHMat-Ene13 PDF

La vida y la obra de Alan Turing
Ricardo Pe
na Mar
Catedratico de Universidad de Lenguajes y Sistemas Informaticos
Departamento de Sistemas Inform
aticos y Computaci
on
Universidad Complutense de Madrid
Seminario de Historia de la Matematica 2012/13, UCM 9 de enero de 2013
Ricardo Pe
na (UCM)
SHM-UCM, 9 enero 2013
1 / 33
Outline
1
Infancia y juventud
Cambridge y Princeton: las Maquinas de Turing
La Segunda Guerra Mundial: Enigma y Bombas
El NPL, Manchester, y el nacimiento de los computadores
Inteligencia artificial y morfogenesis
Persecucion, crisis y muerte prematura
Ricardo Pe
na (UCM)
2 / 33
Infancia y juventud
Infancia y juventud
Su padre Julius trabajaba en el Indian Civil
Service y estaba destinado en Madras (India).

Alan Mathison Turing naci
o el 23 de Junio de
1912 en Londres. Sus padres estuvieron el primer

a
no con el y luego partieron de nuevo a la India,
dejando a sus hijos al cuidado de un matrimonio
amigo, los Ward.
Tan solo se reencontraban en vacaciones, que
pasaban en Irlanda o en Inglaterra.

Pincelada sobre su personalidad a los 7 a
nos:
donde tienen las abejas su colmena?
Ricardo Pe
na (UCM)
3 / 33
Infancia y juventud
El instituto
Sherborne school
Estudi
o en el Instituto Privado de Sherborne, una peque
na villa cerca de
Southampton.
Tena curiosidad por muchas cuestiones (qumica, inventos), pero descuidaba
las asignaturas que no le interesaban (la mayora).
Sacaba malas notas. A veces sus profesores se burlaban de el por su aspecto
desali
nado, sus perennes manchas de tinta y su timidez.
Otra pincelada: lea a Einstein a los 17 a
nos, y lo entenda!
Tuvo un gran amigo, Christopher Morton, con el que comparta sus
inquietudes cientficas: astronoma, matematicas, qumica.
Ricardo Pe
na (UCM)
4 / 33
Cambridge y Princeton: las M

aquinas de Turing
Cambridge
Despu
es de Gotinga (Alemania), Cambridge
era el centro de las matematicas mundiales.

Alan consigui
o una beca e inici
o estudios de
Grado en el Kings College.

All se interes
o por los fundamentos de las
Matematicas y el programa de David

Hilbert. Ley
o a Gottlob Frege, Bertrand
Russell, Kurt G
odel y John von Neumann.
Ricardo Pe
na (UCM)
5 / 33

aquinas de Turing
Cambridge
Tras el ascenso de Hitler al poder, en 1933
pasaron por Cambridge, camino de los

Estados Unidos, Born, Courant, Shr
odinger, y
von Neumann, entre otros, y asisti
o a sus
conferencias.
En su trabajo de graduaci
on (1934) demostr
o,
sin conocer que ya lo estaba, el llamado

Teorema Central del Lmite, de importancia
en Estadstica.
Su primera publicaci
on en 1935 se inspir
o en
un trabajo de von Neumann sobre teora de

grupos. El propio von Neumann le anim
oa
pedir una beca para una estancia en Princeton
(EE.UU.).
Ricardo Pe
na (UCM)
6 / 33

aquinas de Turing
El programa de Hilbert
En los Congresos de Matematicas de 1900 y
1928 David Hilbert (Gotinga), propuso entre
otros los siguientes problemas para ser resueltos
en el nuevo siglo:
Es la aritmetica consistente? Se puede
deducir de sus axiomas cierto = falso,
o 1 = 0?
Es la aritmetica completa? Se puede deducir
cualquier verdad de la teora a partir de
sus axiomas y reglas de deducci
on?
Es la aritmetica decidible? Se puede validar
o refutar cualquier teorema mediante
un procedimiento efectivo?
Ricardo Pe
na (UCM)
David Hilbert
7 / 33

aquinas de Turing
El artculo de 1936
El teorema de G
odel (1931)
haba dejado claro que si la

aritmetica era consistente, no
era completa, es decir contena
verdades no deducibles.
El artculo de Turing de 1936
contest
o en negativo a la tercera
pregunta: la aritmetica contiene
problemas que no son solubles
mecanicamente.
Ricardo Pe
na (UCM)
8 / 33

aquinas de Turing
La Maquina de Turing
Su noci
on de procedimiento
efectivo
Smil con un calculador humano
La cinta simboliza una fuente
inagotable de papel
La cabeza lectora/escritora, el
punto de atencion
Los estados, las fases del c
alculo
La funci
on de control, los pasos
elementales del computo

Insistencia en que el alfabeto de
smbolos ha de ser finito

El conjunto de estados, tambi
en
La funci
on de control puede
modelizarse como un conjunto

finito de tuplas (s1 , q1 , s2 , q2 , M),
con M {L, R, N}.
Ricardo Pe
na (UCM)
9 / 33

aquinas de Turing
Hay mas numeros reales que Maquinas de Turing (MT)?
Llam
o n
umeros reales computables a aquellos para los que puede construirse
una MT que calculeuna tras otra todas sus cifras, si se le deja tiempo
suficiente. Ejs: , 2, log3 5, etc.
Ide
o un modo de codificar cada MT mediante un n
umero natural u
nico.
Es decir, poda representar n
umeros reales de infinitas cifras mediante una
descripci
on finita. Podan representarse as todos los reales?.
Era obvio que no haba m
as MTs que n
umeros naturales.
Ricardo Pe
na (UCM)
10 / 33

aquinas de Turing
El problema de parada
George Cantor (1845-1918) ya haba demostrado que haba muchos m

as
reales que naturales, es decir no se pueden poner en correspondencia

biunvoca unos con otros.
La conclusi
on obvia es que hay reales no computables. Eso ya indicaba que
deba haber problemas no solubles por sus MT.

De hecho encontr
o el mas paradigmatico, el problema de parada: No existe
una MT que, dada la descripci

on de una MT cualquiera (mediante su n
umero
u
nico) y una configuraci
on inicial de la cinta para dicha MT, determine si la
MT se parara o no ante dicha cinta.
Ricardo Pe
na (UCM)
11 / 33

aquinas de Turing
La Maquina de Turing Universal

Turing pens
o que sus MT capturaban la noci
on de procedimiento efectivo,
funci
on computable, o simplemente algoritmo.
Cada MT era una m
aquina especializada en un algoritmo concreto,
determinado por su funci

on de control.
Pero Turing fue m
as alla e ide
o una maquina universal que era capaz de
emular a cualquier otra:

1
2
Reciba en su cinta la descripci

on de la MT a emular, convenientemente
codificada.
Reciba en otra parte de la cinta (o en otra cinta, ya que prob
o que el n
umero
de cintas era indiferente para la potencia de las MTs), los datos tal como los
esperaba la MT emulada.
A partir de ah se comportaba como lo hara la MT emulada ante esos datos.
Si consideramos la descripci
on de la MT emulada como el programa, haba
ideado una Maquina Universal programable, con el programa almacenado en

memoria.
Ricardo Pe
na (UCM)
12 / 33

aquinas de Turing
Princeton, New Jersey, 1936-38
En 1936 lleg
o a Cambridge un artculo de A.
Church y S. Kleene resolviendo en negativo el

problema de decisi
on de Hilbert, por un camino
muy diferente al de Turing.
Max H. Newman consider
o no obstante que el
trabajo de Turing mereca ser publicado. A la

vez, escribi
o a Church pidiendo que permitiera a
Turing trabajar con el.
Alonzo Church
Alan march
o Princeton e hizo una tesis doctoral
con Church. Trabaj

o con von Neumann, y
conoci
o a otros cientficos emigrados de
Alemania.
Univ. de Princeton
Ricardo Pe
na (UCM)
13 / 33

aquinas de Turing
La funcion-Z de Riemann
Se interes
o por la teora de n
umeros.
Plane
o la construcci
on de una maquina
para refutar la conjetura de la
funci
on-Z de Riemann (distribuci
on de
los primos).
Ante lo inevitable de la guerra, redobl
o
su interes por la criptografa: metodo

de cifrado basado en multiplicar por
grandes n
umeros y multiplicador
binario con reles.
Rechaz
o una oferta de von Neumann y
regres
o a Cambridge, donde le haban
renovado su beca.
Ricardo Pe
na (UCM)
Funci
on-Z
14 / 33
Bletchley Park
La GCCS (Government Code and Cipher School),
agencia del Servicio Secreto, estableci

o a 60 Km
de Londres su centro de desciframiento de
mensajes. En Bletchley Park llegaron a trabajar
hasta 10.000 personas.
En Agosto de 1939, Alan fue reclutado entre
otros profesores, como experto en criptografa.

El problema central era la m
aquina Enigma,
usada por Alemania desde los a

nos 20 y de la que
existan versiones comerciales.
Bletchley Park
Los matem
aticos polacos llevaban 7 a
nos de
ventaja a los britanicos y haban construido unas

maquinas electromecanicas, las Bombas, para
ayudar a descrifrar los mensajes de Enigma.
Enigma
Ricardo Pe
na (UCM)
15 / 33
Enigma
El emisor tecleaba un mensaje como en una
maquina de escribir. Enigma sustitua cada letra

por otra.
Cada rotor haca una sustituci
on distinta seg
un
su cableado y tena 26 posiciones iniciales, lo que

daba 26 26 26 = 17.576 configuraciones
iniciales distintas.
Rotores
Al pulsar una tecla, el rotor m

as externo
avanzaba una posici

on y generaba otra
sustituci
on. Cada 26 avances de un rotor, se
provocaba un avance del siguiente.
Cableado rotores
Ricardo Pe
na (UCM)
16 / 33
Enigma
Un panel de conexiones conectaba ciertas parejas
de letras entre s, lo que daba una sustituci

on
adicional antes del primer rotor y otra despues
del u
ltimo.
Un anillo m
ovil de letras en cada rotor (17.576).
Los rotores eran intercambiables (6
Teclado
permutaciones).
La codificaci
on era simetrica: el receptor solo
tena que teclear el mensaje encriptado en una

Enigma configurada igual que la Enigma emisora,
y apareca el texto original.
Panel
Ricardo Pe
na (UCM)
17 / 33
El uso de Enigma
Ordenes
diarias secretas para: (1) orden de los rotores; (2) posicion de los
anillos; (3) panel de conexiones; y (4) estado inicial de cada rotor.
Antes de cada mensaje, el operador escoga al azar una nueva posici
on de los
rotores, digamos XYZ, transmita XYZXYZ en la configuracion del da,

colocaba los rotores en XYZ y transmita el resto del mensaje.
Los polacos usaron esa redundancia para descubrir la clave: coleccionando
suficientes mensajes, y analizando las 6 primeras letras, establecan una

huella dactilar u
nica para la configuraci
on del da. Tabularon las huellas en
fichas perforadas.
Ricardo Pe
na (UCM)
18 / 33
El uso de Enigma
El m
etodo era dependiente del uso de Enigma.
Cuando cambi
o ese uso en Septiembre de
1938, sus fichas se volvieron in
utiles.
Con los nuevos indicadores de 9 letras
encontraron otro tipo de huellas. Sus Bombas

exploraban las 17.576 configuraciones de los
rotores y se paraban al encontrar la huella
buscada.
Tenan 6 Bombas, una por cada permutaci
on
de los tres rotores. El metodo segua

dependiendo del uso. Ademas no trataban el
panel de conexiones.
Ricardo Pe
na (UCM)
Bomba en operaci
on
19 / 33
Las Bombas
En Diciembre de 1938, los alemanes
aumentaron de 3 a 5 el juego de rotores.

Ahora haba 60 variaciones de 3 rotores, lo
que implicaba 60 Bombas. Tambien
aumentaron de 6 a 10 las conexiones del
panel.
La primera contribuci
on de Turing fue
generalizar las Bombas para que no

dependieran de los indicadores ni del panel.
La idea era suministrarle hip
otesis en base al
texto del mensaje y que ella descartara las
combinaciones que entraban en conflicto con
ellas.
Ricardo Pe
na (UCM)
Bombas reconstruidas en
Bletchley Park
20 / 33
Las Bombas
Las nuevas Bombas empezaron a construirse
en 1940. Turing dise

no la mayora de los
circuitos.
En 1940 pas
o a dirigir Hut-8, equipo
responsable de la Enigma naval, que tena un

juego de 8 rotores, a elegir 3: 336 variaciones.
Dise
n
o otras Bombas mas generales que
funcionaban por probabilidad. Desarroll

o una
teora matematica especfica.
Ricardo Pe
na (UCM)
Bombas reconstruidas en
Bletchley Park
21 / 33
Nuevos retos
Tras varias capturas de submarinos, comprendieron mejor la Enigma naval y
consiguieron descifrar los mensajes en el da. Felicitados por Winston

Churchill en 1941.
Apag
on en Febrero de 1942 al introducir los alemanes un cuarto rotor, esta
vez fijo: 26. Los hundimientos en el Atlantico Norte alcanzaron cifras

insostenibles.
Se plantearon el uso de circuitos electr
onicos para aumentar la velocidad.
Nuevo c
odigo secreto Fish para los mensajes del alto mando aleman:
maquina con 12 rotores, uso de cinta de papel y doble cifrado.
Ricardo Pe
na (UCM)
22 / 33
La era electronica
Errores alemanes les permitieron conocer la estructura de la m

aquina de Fish
sin haber capturado ninguna.

Max Newman (Cambridge) y Tommy Flowers (Postal Office) encargados de
dise
nar la maquina electr
onica para descifrar Fish: Colossus.
Turing contribuye con m
etodos estadsticos. Completada en 1943. Se
construyeron 11 Colossus.
A finales de 1942, Turing es enviado a EE.UU. por unos meses a entrenar a
los analistas americanos en Enigma, a estudiar electr

onica y a dise
nar un
metodo irrompible para cifrar voz.
Se estima que las contribuciones de Alan Turing al desciframiento de
mensajes, acortaron la Guerra en dos o tres a

nos.
Ricardo Pe
na (UCM)
23 / 33
El National Physical Laboratory (NPL)

El principal objetivo de Turing al acabar la guerra era
construir un computador real con programa almacenado.

En 1945 se complet
o en EE.UU. la ENIAC, (electr
onica,
J. Eckert, J. Mauchly, J. von Neumann) para calcular

trayectorias balsticas. No era programable, aunque si
mas versatil que Colossus.
Colossus 1943
El equipo de ENIAC comenz

o a dise
nar la EDVAC, cuya
novedad sera almacenar el programa en memoria. En

Junio de 1945, firmado por von Neumann, se public
o
Draft on a report on the EDVAC.
El report fue conocido por el NPL y el jefe de la Divisi
on
John von
Neumann
de Matematicas (Londres) llam

o a Turing para
encargarle un proyecto similar.
Turing acept
o el encargo y escribi
o un dise
no muy
detallado a finales de 1945. La maquina se llamara ACE

(Automatic Computing Engine).
Ricardo Pe
na (UCM)
ENIAC 1945
24 / 33
Los primeros computadores con programa almacenado

Turing trabaj
o en la ACE hasta mediados de 1947. La
mala gesti
on del NPL, las dificultades ingenieriles y la
difcil comunicaci
on con Turing, hicieron que este
abandonara. A
un as, el proyecto se complet
o en 1950.
Tena una memoria de lneas de retardo de mercurio.
Freddie Williams y Tom Kilburn, inicialmente
ACE 1950
subcontratados por el NPL, completaron un primer

prototipo en la Universidad de Manchester. La memoria
era un tubo de rayos cat
odicos almacenando 2.048 bits.
Maurice Wilkes, de la Universidad de Cambridge, tras
unos contactos iniciales con el NPL, emprendi

o su propio
proyecto. La EDSAC fue el primer computador digno de
tal nombre. Su memoria era de lneas de retardo.
Manchester Baby
1948
La EDVAC de von Neumann se complet

o en 1951,
tambien con memoria de lneas de retardo.

EDSAC 1949
Ricardo Pe
na (UCM)
25 / 33
Caractersticas de la ACE
Desde el principio descart
o una memoria de valvulas y se decanto, o por un
tubo de rayos cat

odicos (a desarrollar por Williams), o por lneas de retardo.
Decidi
o un dise
no que minimizaba el hardware (caro) a costa de hacer mas
cosas por software, incluidas las operaciones aritmeticas. En ese sentido se

separaba de la lnea dominante de EDVAC y EDSAC.
Deba trabajar en binario. Escribi
o rutinas para transformar a/desde decimal.
Enfasis
en la rapidez. Reloj de 106 pulsos/seg.
En lugar de incluir una instrucci
on de salto condicional, la simulo a base de
automodificar el programa. Inspirandose en sus MT, trataba las instrucciones

como n
umeros manipulables.
Invent
o el concepto de subrutina (tablas de instrucciones) que se llamaban
entre s jerarquicamente. Invent

o dos instrucciones, BURY y UNBURY, que
apilaban y desapilaban direcciones de retorno.
Ricardo Pe
na (UCM)
26 / 33
En la Universidad de Manchester
En 1948, su profesor y amigo Max Newman le ofreci

o
un puesto en la Universidad de Manchester para trabajar

a las ordenes de Williams en el nuevo computador.
All se dedic
o sobre todo a programar rutinas, aunque
Turing ante la
consola de la
Mark I
tuvo alguna influencia en el sucesor del Baby, la

Ferranti Mark I, que tena ya tres tubos de Williams y un
tambor magnetico para almacenar datos y programas.
En esta
epoca escribi
o Checking a large routine, primer
precedente hist
orico del uso de la l
ogica de predicados
para razonar sobre los programas.
Freddie Williams
Con esta m
aquina demostr
o que los primeros 1.540 ceros
de la funci
on-Z de Riemann estaban en la recta crtica.
Mark I 1951
Ricardo Pe
na (UCM)
27 / 33
Inteligencia artificial y morfog

enesis
Los fundamentos de la Inteligencia Artificial
Turing escribi
o dos artculos, que
despues han sido ampliamente

citados: Intelligent Machinery
(1948) y Computing Machinery and
Intelligence (1950).
En el primero establece las bases
del conexionismo y del aprendizaje
artificial por medio del
entrenamiento. Esta lnea ha
fructificado actualmente en lo que
se conoce como redes neuronales.
Ricardo Pe
na (UCM)
La vida y la obra de Alan Computing

Turing
Machinery
1950 9 enero 2013
SHM-UCM,
28 / 33

enesis
The Imitation Game
El segundo es de car
acter mas
filos
ofico y se plantea la pregunta
de si es posible emular la
inteligencia en una maquina.
Aqu es donde propone el conocido
Test de Turing en el que una

maquina intenta confundir a un
observador, que solo puede leer sus
respuestas, haciendole creer que es
un humano.
Ricardo Pe
na (UCM)
El Test de Turing
29 / 33

enesis
Modelos de morfogenesis
Cumplido su sue
no de contribuir a la creaci
on y
programaci
on de maquinas reales, su atenci
on se
dirige hacia otra de sus inquietudes cientficas:
las matematicas de la formaci
on de patrones
biol
ogicos.
A. M. Turing en 1948
C
omo se elige una direcci
on privilegiada en la
gastrulaci
on? C
omo se forman las manchas en
la piel de algunos animales? Por que estan
presentes los n
umeros de Fibonacci en las pi
nas y
en los girasoles?
Gastrulaci
on
Manchas
Ricardo Pe
na (UCM)
30 / 33

enesis
El modelo en accion
Plantea un sistema de ecuaciones
diferenciales que modelan la interacci

on de
dos agentes qumicos o morfogenes: un
activador y un inhibidor.
Su trabajo de 1952, The Chemical Basis of
Morphogenesis, muestra convincentemente

que esos patrones son soluci
on de sus
ecuaciones.
Recientemente (Nature Genetics, Feb.
2012) se han identificado con precisi

on el
mecanismo y los morfogenes predichos por
Turing.
Ricardo Pe
na (UCM)
31 / 33
Persecuci
on, crisis y muerte prematura
Persecucion, crisis y muerte prematura

Un amigo de un amante ocasional rob
o en su casa y Turing lo denuncio a la
polica. En el interrogatorio la polica se centr

o en su homosexualidad, que el
no trat
o de ocultar.
La combinaci
on de haber cometido lo que en la Inglaterra de la epoca era
un grave delito, ser poseedor de importantes secretos militares, y la atmosfera
de guerra fra de esos a
nos, hizo que fuera juzgado y condenado.
Se le dio a elegir entre la carcel y la castraci
on qumica. Fue sometido a un
fuerte tratamiento hormonal que le ocasion
o varias crisis depresivas.
Al mismo tiempo, sus visitas eran investigadas y la polica le tena bajo una
estricta vigilancia.
Fue encontrado muerto en su cama el 8 de Junio de 1954, envenenado por
una manzana a medio comer impregnada en cianuro. Seg
un su madre, su
muerte fue accidental, pero la mayora de los historiadores y la propia polica
diagnosticaron suicidio.
Ricardo Pe
na (UCM)
32 / 33
Persecuci
on, crisis y muerte prematura
El legado de Turing
Los informaticos somos herederos de los campos que el abrio para la ciencia. Nos
dejo muchos ejemplos: su generosidad, su desprendimiento de las cosas
mundanas, y sobre todo, su pasi
on ilimitada por el conocimiento.
Estatua de Alan Turing en Bletchley Park
Ricardo Pe
na (UCM)
33 / 33

TuringRP SHMat-Ene13 PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

TuringRP SHMat-Ene13 PDF

Cargado por

Copyright:

Formatos disponibles

La vida y la obra de Alan Turing

Seminario de Historia de la Matematica 2012/13, UCM 9 de enero de 2013

La vida y la obra de Alan Turing

SHM-UCM, 9 enero 2013

Cambridge y Princeton: las Maquinas de Turing

La Segunda Guerra Mundial: Enigma y Bombas

El NPL, Manchester, y el nacimiento de los computadores

Inteligencia artificial y morfogenesis

Persecucion, crisis y muerte prematura

La vida y la obra de Alan Turing

SHM-UCM, 9 enero 2013

Su padre Julius trabajaba en el Indian Civil

Service y estaba destinado en Madras (India).

1912 en Londres. Sus padres estuvieron el primer

pasaban en Irlanda o en Inglaterra.

donde tienen las abejas su colmena?

La vida y la obra de Alan Turing

SHM-UCM, 9 enero 2013

La vida y la obra de Alan Turing

SHM-UCM, 9 enero 2013

Cambridge y Princeton: las M

era el centro de las matematicas mundiales.

Grado en el Kings College.

Matematicas y el programa de David

La vida y la obra de Alan Turing

SHM-UCM, 9 enero 2013

Cambridge y Princeton: las M

pasaron por Cambridge, camino de los

sin conocer que ya lo estaba, el llamado

un trabajo de von Neumann sobre teora de

La vida y la obra de Alan Turing

SHM-UCM, 9 enero 2013

Cambridge y Princeton: las M

La vida y la obra de Alan Turing

SHM-UCM, 9 enero 2013

Cambridge y Princeton: las M

haba dejado claro que si la

La vida y la obra de Alan Turing

SHM-UCM, 9 enero 2013

Cambridge y Princeton: las M

elementales del computo

smbolos ha de ser finito

modelizarse como un conjunto

La vida y la obra de Alan Turing

SHM-UCM, 9 enero 2013

Cambridge y Princeton: las M

Hay mas numeros reales que Maquinas de Turing (MT)?

La vida y la obra de Alan Turing

SHM-UCM, 9 enero 2013

Cambridge y Princeton: las M

George Cantor (1845-1918) ya haba demostrado que haba muchos m

reales que naturales, es decir no se pueden poner en correspondencia

deba haber problemas no solubles por sus MT.

una MT que, dada la descripci

La vida y la obra de Alan Turing

SHM-UCM, 9 enero 2013

Cambridge y Princeton: las M

La Maquina de Turing Universal

determinado por su funci

emular a cualquier otra:

Reciba en su cinta la descripci

ideado una Maquina Universal programable, con el programa almacenado en

La vida y la obra de Alan Turing