ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing

ALAN TURING: Computabilidad,

Criptoanlisis, Primeros Ordenadores y
Test de Turing
David de Frutos Escrig
Departamento de Sistemas Informticos y Computacin, UCM.
Matemticas en Accin 2012, Universidad de Cantabria
28 de noviembre de 2012
Agr: Luca Aceto (Reykjavik Univ), Carlos Gregorio, Ignacio Fbregas (UCM)
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
ndice
1 Biografa
2 On Computable Numbers
3 ENIGMA - The Government Code and Cypher School
4 Inteligencia Artical (Machine Intelligence)
5 Articial Life
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
Biografa
Biografa
Alan Turing (Londres 1912 - Wilmslow, Cheshire 1954)
Grado en Matemticas - Kings College, Cambridge 1934
On Computable Numbers and the Decision Problem
(Entscheidungsproblem) 1936
Doctorado en Matemticas - Princeton, USA 1936-38
Systems of logic based on ordinals 1939
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
Biografa
Biografa
Government Code and Cypher School - Bletchley Park
1939-43
The bombe
ACE (Automatic Computing Engine) - National Physical
Laboratory 1945-48
Intelligent Machinery 1948
Mathematics Department - University of Manchester
1948-54
Computing Machinery and Intelligence - Turing Test 1950
Articial Life y Morphogenesis 1952
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
On Computable Numbers
Mquinas de Turing
Cinta innita dividida en casillas; Alfabeto nito: {0, 1}.
Scanner para leer la casilla actual; Movimiento (right,left)
de la cabeza lectora.
Estado del controlador (memoria reciente nita).
Instrucciones: print, erase, move, cambio de estado.
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
On Computable Numbers
La mquina universal
Standard descriptions
Codicacin de los programas: palabra nita > nmero
natural.
Subroutines
Renombramiento de los estados de un programa generando
bloques disjuntos.
The Universal Computing Machine
Los programas devienen datos!; un nico programa los
interpreta todos!
De la Mquina Universal al Computador (Von Neumann -
ENIAC y Turing - ACE).
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
On Computable Numbers
Nmeros computables - Problema de parada
Secuencias innitas computables por una mquina que
no para nunca, ni deja de escribir smbolos!
Nmeros (reales) computables
Conjunto numerable de secuencias computables
Satisfactoriness problem - Problema de parada
The Church-Turing Thesis
Turing Machines = Cualquier mtodo de cmputo digital.
Funciones recursivas y Lambda denibles.
The Entscheidungsproblem (Hilbert)
Incompletitud e indecidibilidad.
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
On Computable Numbers
De Hilbert a Turing
La lgica matemtica aparece para confrontar la crisis en la
fundamentacin de la matemtica al comenzar el siglo XX.
Hilberts Program (19001928)
Busca formalizar las matemticas llegando a que son
consistentes,
completas y
decidibles.
Hilbert estaba convencido de que as era y as se probara.
Con ello las mtematicas quedaran reducidas a un mero
clculo mecnico
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
On Computable Numbers
El derrumbe de las ilusiones de Hilbert
K. Gdel (19311933):
Incompletitud de la aritmtica.
Imposibilidad de probar la consistencia dentro del propio
formalismo.
A. Church and A. Turing (19361937): Indecidibilidad de la
lgica de primer orden
El conjunto de frmulas vlidas no es decidible,
ni por tanto tampoco recursivamente enumerable.
Los (dems) matemticos respiran hondo!
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
On Computable Numbers
El derrumbe de las ilusiones de Hilbert
K. Gdel (19311933):
Incompletitud de la aritmtica.
Imposibilidad de probar la consistencia dentro del propio
formalismo.
A. Church and A. Turing (19361937): Indecidibilidad de la
lgica de primer orden
El conjunto de frmulas vlidas no es decidible,
ni por tanto tampoco recursivamente enumerable.
Los (dems) matemticos respiran hondo!
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
On Computable Numbers
Alonzo Church vs. Alan Turing
A. Church introduce el -calculus y prueba que hay
problemas elementales irresolubles con l.
Gdel no est convencido de que esa sea una
formalizacin razonable de funcin computable.
A. Turing introduce sus Mquinas de Turing, prueba la
indecidibilidad del Problema de Parada y demuestra la
equivalencia entre -calculus y la computabilidad con sus
mquinas.
Gdel queda convencido de su propuesta ...
y por ende de la de Church!
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
On Computable Numbers
Alonzo Church vs. Alan Turing
A. Church introduce el -calculus y prueba que hay
problemas elementales irresolubles con l.
Gdel no est convencido de que esa sea una
formalizacin razonable de funcin computable.
A. Turing introduce sus Mquinas de Turing, prueba la
indecidibilidad del Problema de Parada y demuestra la
equivalencia entre -calculus y la computabilidad con sus
mquinas.
Gdel queda convencido de su propuesta ...
y por ende de la de Church!
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
ENIGMA - The Government Code and Cypher School
De como se gan la Guerra en una plcida mansin.
9000 personas trabajando en el proyecto.
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
ENIGMA - The Government Code and Cypher School
La mquina Enigma
Un teclado y otro gemelo iluminable: codicacin carcter
a carcter.
Tres ruedas dentadas conectadas entre s; Colocacin
inicial de las ruedas; Visores para generar una
combinacin de letras.
Un tablero de conexiones para complicar los resultados.
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
ENIGMA - The Government Code and Cypher School
La mquina Enigma
Cuadernos de claves para jar las conguraciones
iniciales diarias.
Varias redes con cuadernos diferentes para complicar la
decodicacin.
Indicador de comienzo y consecuente control al recibirlo.
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
ENIGMA - The Government Code and Cypher School
La mquina Enigma
La contribucin polaca
De los indicadores se dedujo la colocacin de los anillos.
Coleccin de rplicas de Enigma para buscar las
conguraciones iniciales diarias.
Las bomba polacas
Bsqueda de coincidencias mediante cribas o usando la
repeticin del indicador.
Efecto limitado del cableado sobre el tablero.
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
ENIGMA - The Government Code and Cypher School
The bombe
36 rplicas trabajando juntas.
Cribas obtenidas a partir de (torpes) estereotipos.
Bsqueda automtica de posibles soluciones y chequeo
manual de cada una de ellas.
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
ENIGMA - The Government Code and Cypher School
The bombe
Mtodo de los bucles para determinar el cableado del
tablero.
Mtodo de las repeticiones para aislar una respuesta.
Enigma de la Marina (Dolphin)
Se encuentran mquinas y tablas en navos abandonados.
Banburismus: deteccin de ruedas en uso.
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
Inteligencia Artical (Machine Intelligence)
Inteligencia Artical
IA en Bletchley Park
Mecanizacin de la resolucin de problemas.
Aprendizaje basado en la experiencia.
Bsqueda (inteligente) en el espacio de soluciones
posibles basado en heursticas.
Generate and test.
Inteligencia = Reglas de bsqueda. . . que una mquina
puede seguir.
IA en la posguerra
Intelligent Machinery: connectionist style neural simulation.
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
Inteligencia Artical (Machine Intelligence)
Inteligencia Artical
Computing Machinery and Intelligence - Turing Test
Cunto tiempo se puede hacer pasar una mquina por
un humano?
Los primeros programas de la IA
Programa para jugar a las damas - Christopher Strachey
(1951-52).
Introduccin del aprendizaje: Samuel 1955.
Aprendizaje: reconociendo relaciones, casos particulares,
generalizacin, comprobacin.
No hay necesidad de entender (meta-aprendizaje)!
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
Articial Life
Articial Life
Vida articial
Simulando la vida en un computador.
Morphogenesis
Crecimiento guiado por patrones (o viceversa) - Series de
Fibonacci.
Reaction-diffusion model: generacin de manchas,
pecas,. . .
Ecuaciones no-lineales: su estudio con computadoras.
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
Articial Life
Articial Life
Reaction-diffusion model
Patrones de crecimiento con simetra esfrica.
Pequeas perturbaciones causan grandes cambios.
Algoritmos genticos
Los mecanismos exitosos sobreviven.
Auto-reproduccin y la mquina universal ejecutandose a
s misma.
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
Eplogo
Y despus de todo esto?
En enero de 1952, Turing, homosexual desde su juventud,
fue acusado de gross indecency.
Acept como pena la castracin qumica con estrgenos.
El 7 de junio de 1954, Turing se suicida mordiendo una
manzana envenenada, posiblemente recreando una
imagen de los cuentos de la niez..
Turing believes machines think
Turing lies with men
Therefore machines do not think
En 2009 y 2012 la Cmara de los Comunes le ha negado
el indulto pstumo: law was law.
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
Eplogo
Los Premios Turing
Tributo a Turing
Los Premios Turing 1966
Oxford University Press, 2004.
ALAN TURING: Computabilidad, Criptoanlisis, Primeros Ordenadores y Test de Turing
Eplogo
2012 Alan Turing Year
http://www.turingcentenary.eu/