Turing

Infancia y primeros trabajos
La Grundlagenkrise der Mathematik

Criptoanalisis de Enigma
A manera de conclusiones
Alan Turing y sus maquinas de escribir, Simposio Turing 2012, CINVESTAV-IPN 29.junio.2012
Simposio Turing 2012,
29.junio.2012
1 / 48
Contenido de esta presentaci on
1 Infancia y primeros trabajos
2 La Grundlagenkrise der Mathematik
3 Criptoanalisis de Enigma
4 A manera de conclusiones
29.junio.2012
2 / 48
29.junio.2012
3 / 48
Alan Turing de ni no
Alan Mathison Turing nacio el 23 de junio de 1912 en
Paddington, Inglaterra. Tuvo un solo hermano [mayor que el]
llamado John.
29.junio.2012
4 / 48
llamado John.
Por a nos, John y Alan estuvieron a cargo de una familia
adoptiva en Inglaterra mientras sus padres vivan en la India
debido al trabajo de su padre Julius Mathison en ese pas
29.junio.2012
4 / 48
llamado John.
Desde sus primeros a nos Alan demostro ser un ni no diferente,
un poco excentrico, aunque no precisamente un ni no prodigio.
29.junio.2012
4 / 48
llamado John.
Desde sus primeros a nos Alan demostro ser un ni no diferente,
un poco excentrico, aunque no precisamente un ni no prodigio.
Por ejemplo, a pesar de que su padre hablaba varios idiomas
indios, Alan tuvo problemas para aprender el frances.
29.junio.2012
4 / 48
29.junio.2012
5 / 48
Se sabe tambien que el ni no Turing so naba con ser un
inventor de maquinas de escribir, un deseo que la vida le
iba a conceder de una manera insospechada
29.junio.2012
5 / 48
Escribe John, acerca de su hermano:
My mother, perhaps unwittingly, gives the impression in
her book that she recognized Alans genius from the
start, and that she sedulously fostered it
29.junio.2012
5 / 48
...The truth of the matter, as I now view it in
retrospect, is that neither of Alans parents or his brother
had the faintest idea that this tiresome, eccentric and
obstinate small boy was a budding genius.
extracto tomado de las memorias de John Turing [hermano de Alan]
29.junio.2012
5 / 48
Alan Turing como universitario
En 1931, Alan ingreso en el prestigioso Kings College de la
Universidad de Cambridge gracias a una beca academica. Durante
su estancia escribio una tesis que le merecio una mencion especial
a la sorprendente edad de 22 a nos. El tema de su tesis fue la
funcion error de Gauss en la que redescubrio el teorema del lmite
central. Al respecto John menciona una anecdota curiosa:
29.junio.2012
6 / 48
In 1931, Alan went to Kings College, Cambridge, with a
mathematical scholarship... I have a horrid recollection of
The Gaussian Error Function
29.junio.2012
6 / 48
In 1931, Alan went to Kings College, Cambridge, with a
mathematical scholarship... I have a horrid recollection of
The Gaussian Error Function(whatever that might be)
29.junio.2012
6 / 48
...for Alan had left it to the eleventh hour to sort the
sheets, parcel and dispatch them. My mother and I spent
a frantic half hour on hands and knees putting them in
order; Mother did up the parcel in record time and Alan
sped with it to the GPO3 on his bike, announcing on his
return that there were at least twenty minutes to spare.
29.junio.2012
6 / 48
This is my only positive contribution to mathematical
thought.
29.junio.2012
6 / 48
29.junio.2012
7 / 48
La gran crisis de las matematicas se haba originado como
consecuencia del trabajo de diversos investigadores que
conducan a importantes contradicciones y paradojas en
cuerpos matematicos que se consideraban bien establecidos y
bien comportados
29.junio.2012
8 / 48
un ejemplo famoso de estos resultados es la paradoja de
Bertrand Russell (18 de Mayo de 1872 2 de Febrero de
1970), en la que el demostro que la teora informal de
conjuntos de Georg Cantor contena una contradiccion que
poda ser construida a partir de sus propios axiomas.
29.junio.2012
8 / 48
El programa de David Hilbert
Como respuesta a la crisis, el cientco aleman David Hilbert
[23 de enero de 1862 - 14 de febrero de 1943], propuso un
proyecto de investigacion que mas tarde sera conocido como
el programa de Hilbert
29.junio.2012
9 / 48
El programa de David Hilbert
Como respuesta a la crisis, el cientco aleman David Hilbert
[23 de enero de 1862 - 14 de febrero de 1943], propuso un
proyecto de investigacion que mas tarde sera conocido como
el programa de Hilbert
Durante el Congreso Internacional de Matematicas celebrado
en Bologna en 1928, Hilbert planteo tres preguntas concretas:
29.junio.2012
9 / 48
Las 3 preguntas del programa de David Hilbert
Primera pregunta: Demostrar si acaso la Matematica poda
formularse como un sistema completo, en el sentido de que
cualquier enunciado matematico (tal como decidir si la raz
cuadrada de dos es o no un n umero racional) pudiera ser ya
sea, demostrado formalmente, o refutado.
29.junio.2012
10 / 48
Segunda pregunta: Demostrar si la Matematica era
consistente en el sentido de que para cualquier sistema fuese
imposible arribar a contradicciones (tales como 1 + 2 = 4
en la aritmetica de los enteros), derivadas de aplicar pasos
matematicos correctamente deducidos a partir del conjunto de
axiomas que denan al sistema.
29.junio.2012
10 / 48
Tercera pregunta: Encontrar si acaso la Matematica era
decidible en el sentido de que pudiera demostrarse que para
cualquier asercion deba existir alg un metodo o algoritmo
capaz de decidir en un tiempo nito acerca de la validez de
dicha armacion.
29.junio.2012
10 / 48
Kurt Friedrich Godel
Inesperadamente y muy poco tiempo despues, en septiembre
de 1930, el joven matematico checo Kurt Godel [28 de April
de 1906 14 de enero de 1978] sacudio inolvidablemente a la
comunidad matematica al anunciar en una conferencia en
Konisberg sus teoremas de incompletitud.
29.junio.2012
11 / 48
All Godel demostraba que:
1 Si un sistema es consistente entonces no puede ser completo,
2 Si un sistema es inconsistente entonces debe ser completo y,
3 La consistencia de los axiomas no puede ser probada desde
dentro del sistema.
29.junio.2012
11 / 48
Una consecuencia directa de estos resultados es que las
respuestas correctas a las dos primeras preguntas de Hilbert
eran un sonoro: no!
29.junio.2012
11 / 48
Una consecuencia directa de estos resultados es que las
respuestas correctas a las dos primeras preguntas de Hilbert
eran un sonoro: no!
Sin embargo la respuesta a la tercera pregunta de Hilbert
conocida como el Entscheidungsproblem, continuaba abierta.
29.junio.2012
11 / 48
Max H. A. Newman
En la primavera de 1935 Alan Turing tomo ocialmente el curso que
sobre los fundamentos de la matematica daba el topologo y logico
ingles Max H. A. Newman [7 de febrero de 1897 - 22 de febrero de
1984]. El curso de Newman concluyo con la demostracion del
teorema de Godel.
29.junio.2012
12 / 48
Max H. A. Newman
Newman mencion o que el Entscheidungsproblem continuaba abierto
y cerro su curso con una pregunta provocativa dirigida a su clase:
Es posible concebir un proceso mecanico capaz de ser
aplicado a enunciados matematicos para responder si
ellos son o no demostrables?
29.junio.2012
12 / 48
G. H. Hardy
G. H Hardy [7 de febrero de 1877 - primero de diciembre de 1947]
se haba pronunciado con escepticismo ante la posibilidad de que un
automata mecanico pudiera demostrar enunciados matematicos:
There is of course no such thing, and this is very
fortunate, since if there were we should have a
mechanical set of rules for the solution of all
mathematical problems, and our activites as
mathematicians would come to an end
29.junio.2012
13 / 48
G. H. Hardy
Mas adelante, en 1940, Hardy escribira un famoso ensayo titulado
en espa nol: Apologa de un matematico, donde armo:
317 is a prime, not because we think so, or because our
minds are shaped in one way rather than another, but
because it is, because mathematical reality is built that
way.
29.junio.2012
13 / 48
De maquinas de escribir a maquinas de Turing
El metodo de ataque que Turing empleo para resolver el
Entscheidungsproblem, fue el de idear un aut omata mecanico
que fuera capaz de ejecutar cualquier programa de manera
automatica.
29.junio.2012
14 / 48
Fue as como Turing especico las capacidades de computo de
una maquina equipada con una cinta de tama no innito la
cual contena las instrucciones y los datos del programa a ser
ejecutado. La maquina podra leer, escribir y navegar sobre la
cinta, con la capacidad de modicar a su paso los valores
almacenados en ella.
29.junio.2012
14 / 48
29.junio.2012
15 / 48
29.junio.2012
15 / 48
29.junio.2012
15 / 48
El Entscheidungsproblem resuelto
Alan Turing simulo el problema de decision de Hilbert en su
automata, demostrando a traves de una adaptacion del
famoso argumento de la diagonal de Cantor que existan
n umeros reales que eran computables mientras que otros eran
no computables.
29.junio.2012
16 / 48
Los n umeros reales no computables son innitos y no
enumerables, y Turing mostro ademas que el problema de
escribir un n umero no computable es indecidible. Con la
evidencia de este contra ejemplo, Turing encontro que la
respuesta correcta a la tercera pregunta de Hilbert era una vez
mas negativa.
29.junio.2012
16 / 48
El hallazgo y denicion de n umeros computables le parecio a
Turing un resultado tan fundamental que titulo el artculo en
que publico su investigacion como: On computable numbers,
with an application to the Entscheidungsproblem, que puede
traducirse como Acerca de los n umeros computables y de su
aplicacion al Entscheidungsproblem
29.junio.2012
16 / 48
El resultado negativo al Entscheidungsproblem contiene en s
mismo muchas resonancias losocas pues demuestra
matematicamente que hay problemas que no podran ser
resueltos por ninguna entidad inteligente sin importar si esta
dispone de recursos de computo innitos y sin importar si
puede esperar por toda una eternidad a que se produzcan las
soluciones a tales problemas.
29.junio.2012
16 / 48
Entre otras cosas, la existencia de n umeros no computables
demuestra matematicamente la no existencia de dioses
todopoderosos, y mas mundanamente dene las cotas
superiores de nuestra capacidad como civilizacion para
resolver problemas.
29.junio.2012
16 / 48
Claramente, On computable numbers, with an application to
the Entscheidungsproblem es el Magnus Opus de Alan Turing
29.junio.2012
16 / 48
Maquinas de Turing o humanos disfrazados de maquinas?
En palabras de Turing, sus maquinas son una idealizacion del
computador humano:
The behaviour of the computer at any moment is
determined by the symbols which he is observing, and his
state of mind at that moment. We may suppose that
there is a bound B to the number of symbols or squares
which the computer can observe at one moment...
Nota: La palabra computer arriba signica lo que esa palabra
quera decir en 1936: un ser humano haciendo calculos
29.junio.2012
17 / 48
Y agrega:
We may compare a man in the process of computing a
real number to a machine which is only capable of a nite
number of conditions . . . called m-congurations.
The machine is supplied with a tape ...
29.junio.2012
17 / 48
Y agrega:
We may compare a man in the process of computing a
real number to a machine which is only capable of a nite
number of conditions . . . called m-congurations.
The machine is supplied with a tape ...
A lo que Wittgenstein replico genialmente:
Las maquinas de Turing, son en realidad humanos
disfrazados de maquinas que calculan
29.junio.2012
17 / 48
Ludwig Wittgenstein Vs. Alan Turing
Ludwig Wittgenstein [26 de abril de 1889 - 29 de abril de 1951] es
considerado el losofo mas inuyente del siglo XX.
29.junio.2012
18 / 48
atormentaba a Turing con sus preguntas [fue su profesor]: Cuando
Hardy dijo que 317 era un primo porque it was so que quizo
decir?, quiso decir que los humanos estaran todos de acuerdo si
sumaban correctamente?, Como sabe Hardy cuales son las reglas
correctas?
29.junio.2012
18 / 48
Por que las contradicciones les parecen tan importantes a
ustedes los matematicos?
29.junio.2012
18 / 48
Alonzo Church
Sin embargo, Alonzo Church [14 de junio de 1903 - 11 de
agosto de 1995] matematico estadounidense de la Universidad
de Princeton, ya haba demostrado la existencia de problemas
indecidibles utilizando la herramienta del calculo lambda.
29.junio.2012
19 / 48
Alonzo Church
Gracias a la entusiasta recomendacion de Max Newman,
Church decide aceptar ser el asesor doctoral de Alan Turing.
Turing se doctora en la Universidad de Princeton en junio de
1938
29.junio.2012
19 / 48
Alonzo Church
Gracias a la entusiasta recomendacion de Max Newman,
Church decide aceptar ser el asesor doctoral de Alan Turing.
Turing se doctora en la Universidad de Princeton en junio de
1938
Juntos Church y Turing publican varios resultados importantes
incluyendo la famosa tesis de Church-Turing que algunos
llaman simplemente la tesis de Turing
29.junio.2012
19 / 48
Personajes en Princeton
En las primeras decadas del siglo XX, Gottingen y Cambridge [en
ese orden], eran el centro de las matematicas a nivel mundial. Sin
embargo, debido a la guerra, las principales guras academicas e
intelectuales europeas poco a poco migraron hacia Princeton que
pronto se convirtio el centro cientco mundial mas importante de la
epoca
29.junio.2012
20 / 48
Personajes en Princeton
En Princeton, Turing tuvo la oportunidad de interactuar con Godel,
Hardy, John von Newmann y alguna vez, ver por all paseandose en
los jardines a Einstein. Desafortunadamente, la interaccion con
G odel fue muy corta debido a que este personaje haba decidido
salir de Princeton desde antes que llegara Turing
29.junio.2012
20 / 48
29.junio.2012
21 / 48
Glosario basico
Criptografa: Dise no de sistemas y esquemas para realizar
comunicaciones conables sobre canales inseguros.
29.junio.2012
22 / 48
Glosario basico
Criptoanalisis: Disciplina que estudia como romper esquemas
criptogracos.
29.junio.2012
22 / 48
Glosario basico
criptogracos.
Texto en claro: mensaje que desea transmitirse de manera segura.
29.junio.2012
22 / 48
Glosario basico
criptogracos.
cifra: mensaje que resulta despues de haber cifrado el texto en claro.
29.junio.2012
22 / 48
Glosario basico
criptogracos.
cifra: mensaje que resulta despues de haber cifrado el texto en claro.
llave o clave secreta: informacion secreta que permite
cifrar/descifrar documentos.
29.junio.2012
22 / 48
Modelo de seguridad de Enigma
29.junio.2012
23 / 48
Posibles objetivos de Alan Turing:
1 Leer el mensaje original
29.junio.2012
24 / 48
2 Obtener la llave secreta de Alicia.
29.junio.2012
24 / 48
3 Modicar el contenido del mensaje original.
29.junio.2012
24 / 48
3 Modicar el contenido del mensaje original.
4 Usurpar la identidad de Alicia
29.junio.2012
24 / 48
Principio de Kerckhko
Se parte de la premisa que el oponente conoce el algoritmo
criptograco utilizado. Por lo tanto, la seguridad del sistema debe
estar basada en:
29.junio.2012
25 / 48
Principio de Kerckhko
Se parte de la premisa que el oponente conoce el algoritmo
criptograco utilizado. Por lo tanto, la seguridad del sistema debe
estar basada en:
La calidad (fortaleza) del algoritmo
El tama no del espacio de la llave (tama no en bits de la llave)
29.junio.2012
25 / 48
La maquina de escribir Enigma
29.junio.2012
26 / 48
La maquina de escribir Enigma
29.junio.2012
27 / 48
Detalles de dise no de Enigma
29.junio.2012
28 / 48
Detalles de dise no de Enigma
Los principales componentes de Enigma son
Un teclado que consista de 26 letras de la A a la Z
Un panel de conexiones [plugboard] con 26 pares de tomas [una
para cada letra] que permita que el operador intercambiara pares de
letras.
cinco rotores de los cuales podan utilizarse hasta tres a la vez.
Cada rotor implementaba una permutacion de 26 entradas/26
salidas por medio de re-alambrado de los contactos metalicos. Cada
uno de los rotores poda colocarse en 26 diferentes posiciones de
inicio que podan ser facilmente seleccionadas por el operario.
El rotor de mas a la derecha se mova un paso cada vez que
presionaba una tecla. Los otros dos rotores se movan a un paso
mas lento
un reector colocado a al izquierda de los tres rotores principales
26 bombillas de luz, una para cada letra de la A a la Z
29.junio.2012
29 / 48
Detalles de dise no de Enigma: permutaciones de los rotores
29.junio.2012
30 / 48
Cifrado y descifrado de informacion con Enigma
tomado de la pagina:http://enigmaco.de/enigma/enigma.swf
29.junio.2012
31 / 48
29.junio.2012
32 / 48
29.junio.2012
33 / 48
29.junio.2012
34 / 48
29.junio.2012
35 / 48
Modelado matematico de Enigma
La transformacion de cada letra del texto en claro puede ser
modelada como un producto de permutaciones. Sea P la
permutacion realizada por el tablero de conexiones y sean L, M, R y
U las permutaciones asociadas a los rotores de la izquierda, de en
medio, de la derecha y por el reector, respectivamente. Entonces el
cifrado de una letra esta dada por el producto:
E = P R M L U L
1
M
1
R
1
P
1
29.junio.2012
36 / 48
Modelado matematico de Enigma
Mas a un, si cada uno de los tres rotores principales es girado i
posiciones su transformacion se convierte en:
i
R
i
, donde es
una permutacion cclica que proyecta A a B, B a C, etc. Entonces,
el cifrado de la letra i -esima del texto en claro queda descrito por la
ecuacion:
E = P (
i
R
i
) (
j
M
j
) (
k
L
k
)
U (
k
L
1
k
) (
j
M
1
j
) (
i
R
1
i
)P
1
29.junio.2012
36 / 48
Conguraci on de Enigma
Eleccion por parte del operador de 3 rotores de un total de
cinco
29.junio.2012
37 / 48
cinco
Posicion inicial de los tres rotores escogidos
29.junio.2012
37 / 48
cinco
Posicion de paso de transmision [stepping] de los primeros dos
rotores
29.junio.2012
37 / 48
cinco
Posicion de paso de transmision [stepping] de los primeros dos
rotores
Conguracion del tablero de conexiones que poda
intercambiar hasta trece pares de letras
29.junio.2012
37 / 48
Conguraci on de Enigma: # posible de combinaciones
elecciones de rotores:
5
3
= 60.
29.junio.2012
38 / 48
5
3
= 60.
n umero posible de posiciones de rotores: 26
3
= 17, 576.
29.junio.2012
38 / 48
5
3
= 60.
3
= 17, 576.
conguraciones de paso de transmision: 26
2
= 676.
29.junio.2012
38 / 48
5
3
= 60.
3
= 17, 576.
conguraciones de paso de transmision: 26
2
= 676.
# posible de conguraciones del tablero de conexiones:
N(k) =
1
k!
k1
i =0
26 2i
2
,
donde k es el n umero de pares a ser intercambiados Esta
funcion adquiere su valor maximo con k = 11 dando un total
de combinaciones de: N(11) = 205, 552, 193, 096, 250
29.junio.2012
38 / 48
Enigma puede congurarse de
N = 146, 534, 573, 628, 069, 026, 400, 000 maneras diferentes,
con una seguridad equivalente a aproximadamente 77 bits
29.junio.2012
38 / 48
Modo de operacion de Enigma
Todos los das los operadores de las Enigmas conguraban la
posicion inicial de sus maquinas de acuerdo a las
especicaciones del libro de codigos.
29.junio.2012
39 / 48
Todos los das los operadores de las Enigmas conguraban la
posicion inicial de sus maquinas de acuerdo a las
especicaciones del libro de codigos.
Sin embargo para cada mensaje enviado se escogan distintas
llaves secretas cambiando la posicion de los rotores
29.junio.2012
39 / 48
El modo de operacion para cifrar cualquier mensaje segua el
siguiente algoritmo:
1 Colocar Enigma en la conguracion inicial especicada en el
libro de codigos
2 cifrar la siguiente llave secreta a ser utilizada repitiendola dos
veces, por ejemplo: BITBIT
3 colocar los tres rotores de Enigma en la posicion indicada por
la nueva llave secreta [en este caso: BIT]
4 cifrar el mensaje que se deseaba enviar de acuerdo a la nueva
conguracion
5 enviar todas las cifras en un solo paquete
29.junio.2012
39 / 48
El correspondiente modo de operacion para descifrar cualquier
mensaje segua el siguiente algoritmo:
1 Colocar Enigma en la conguracion inicial especicada en el
libro de codigos
2 recibir y descifrar los seis caracteres, checando que la clave
estuviera repetida y recuperar la llave [BIT en este caso]
3 colocar los tres rotores de Enigma en la posicion indicada por
la llave secreta descifrada
4 descifrar el resto de las cifras
29.junio.2012
39 / 48
Debilidades del modo de operaci on de Enigma
el enviar dos veces la llave secreta es una debilidad muy alta
de Enigma que fue explotada muy ingeniosamente por los
polacos e ingleses
Operadores ojos, distraidos y/o incompetentes
Los ingleses contaban con cribs que les permitan tener para
ciertos casos parejas de texto cifrado y su correspondiente
texto en claro
Turing utilizo teora de la probabilidad y teorema de Bayes
para hacer un criptoanalisis muy efectivo
Turing y su equipo perfeccionaron las bombas polacas a su
maxima expresion
29.junio.2012
40 / 48
La Bomba de Turing
29.junio.2012
41 / 48
29.junio.2012
42 / 48
Maquinas Vs humanos: Quen derroto a quien?
se dice que el ingenio de Alan Turing [en representacion de los
humanos] derroto a la fuerza bruta mecanica [representada
por Enigma], pero es esto cierto?
29.junio.2012
43 / 48
en realidad Turing utilizo la invaluable ayuda de las bombas
para poder realizar criptoanalisis por fuerza bruta educada
29.junio.2012
43 / 48
en realidad Turing utilizo la invaluable ayuda de las bombas
para poder realizar criptoanalisis por fuerza bruta educada
en realidad si los alemanes hubieran utilizado Enigma como lo
indicaban sus libros de codigos hubieran tenido un sistema de
cifrado de 77 bits [absolutamente inalcanzable para la epoca]
29.junio.2012
43 / 48
pero entonces...Quien derroto a quien?
29.junio.2012
43 / 48
Respuesta indudable: las maquinas al hombre!
29.junio.2012
43 / 48
o mas bien los hombres disfrazados de maquinas de los que
hablaba Wittgesntein derrotaron a los otros hombres?
29.junio.2012
43 / 48
Maquinas de escribir y Turing: una eterna trenza dorada
Material desclasicado en mayo de 2012
29.junio.2012
44 / 48
Maquinas de escribir y Turing: una eterna trenza dorada
Material desclasicado en mayo de 2012
29.junio.2012
45 / 48
Alan Turing y Claude Shannon
En una de las mas afortunadas conicidencias cientcas en tiempos
de guerra, Alan Turing y Claude Shannon (30 de abril de 1916 - 24
de febrero de 2001) se conocieron en los laboratorios Bell en los
a nos cuarentas. La inuencia que el trabajo de cada uno de ellos
ejercio en el otro fue muy profunda.
29.junio.2012
46 / 48
Con sus artculos seminales: A Mathematical Theory of
Cryptography, y Communication Theory of Secrecy
Systems, Claude Shannon fundo la criptografa como ciencia. Se
advierte una profunda inuencia de Turing en estos dos trabajos.
29.junio.2012
46 / 48
Del mismo modo el trabajo de Shannon inuencio el desarrollo de
Delilah un sistema de cifrado por voz que ideo Turing durante la
post-guerra
Ambos compartieron su gusto por el ajedrez y por la idea de crear
programas de ajedrez
29.junio.2012
46 / 48
Que tan viejas son las palabras bit, programa,
computadora?
La palabra bit fue inventada en los laboratorios Bell y publicada
por primera vez en los artculos de Shannon
Turing escriba Programme cunado se refera a programas de
computacion
Turing no llamaba Maquinas de Turing a sus maquinas
universales de computo
Para Turing la palabra Computer signicaba un operador humano
que haca computo
29.junio.2012
47 / 48
Que tan grande es el legado de Alan Turing en la
computaci on?
A pesar de todos los homenajes a su obra, Alan Turing ha sido
llamado el Capitan Scott de las matematicas pues se argumenta que
en sus principales descubrimientos [prueba del teorema del lmite
central, resolucion del Entscheidungsproblem, inventor de
computadoras y progrmas] siempre llego en segundo lugar
29.junio.2012
48 / 48
computaci on?
Sin embargo estamos ciertos que las maquinas de Turing son una de
las invenciones mas memorables y originales de la ciencia del siglo
XX.
29.junio.2012
48 / 48
computaci on?
Sin embargo estamos ciertos que las maquinas de Turing son una de
las invenciones mas memorables y originales de la ciencia del siglo
XX.
Estamos ciertos que de aqu a 100 a nos otros profesores del
CINVESTAV organizaran el bicentenario de Alan Turing
29.junio.2012
48 / 48

Turing

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Turing

Uploaded by

Copyright:

Available Formats

Infancia y primeros trabajos

La Grundlagenkrise der Mathematik

You might also like