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 2 3 4 5

Biografa On Computable Numbers ENIGMA - The Government Code and Cypher School Inteligencia Artical (Machine Intelligence) 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

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

2012 Alan Turing Year

http://www.turingcentenary.eu/