TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para...
Transcript of TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para...
![Page 1: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/1.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
TURING al Servicio de sus Majestades:Su Rey y sus Matemáticas
David de Frutos Escrig
Departamento de Sistemas Informáticos y Computación, UCM.
Jornada Turing FME - Facultat de Matemàticas i EstadísticaUniversitat Politécnica de Catalunya - 30 de marzo de 2016
Agradecimientos: Luca Aceto e Ignacio Fábregas (Reykjavik Univ)
![Page 2: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/2.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
![Page 3: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/3.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Índice
1 Breve biografía
2 ENIGMA - The Government Code and Cypher School
3 Inteligencia Artificial
4 Biología Matemática y Vida Artificial
5 Epílogo
![Page 4: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/4.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Breve biografía
Breve biografía
Alan Turing (Londres 1912 - Wilmslow, Cheshire 1954)Grado en Matemáticas - King’s College, Cambridge 1934
On Computable Numbers and the Decision Problem(Entscheidungsproblem) 1936
Doctorado en Matemáticas - Princeton, USA 1936-38Systems of logic based on ordinals 1939
![Page 5: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/5.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Breve biografía
Breve biografía
Government Code and Cypher School - Bletchley Park1939-43
The bombe and ColossusACE (Automatic Computing Engine) - National PhysicalLaboratory 1945-48
Intelligent Machinery 1948Mathematics Department - University of Manchester1948-54
Computing Machinery and Intelligence - Turing Test 1950Artificial Life and Morphogenesis 1952
![Page 6: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/6.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
ENIGMA - The Government Code and Cypher School
De como se ganó la Guerra en una plácida mansión.9000 personas trabajando en el proyecto.
![Page 7: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/7.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
ENIGMA - The Government Code and Cypher School
La máquina Enigma
Un teclado y otro gemelo iluminable: codificación caráctera carácter.Tres ruedas dentadas conectadas entre sí; Colocacióninicial de las ruedas; Visores para generar unacombinación de letras.Un tablero de conexiones para complicar los resultados.
![Page 8: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/8.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
ENIGMA - The Government Code and Cypher School
La máquina Enigma
Cuadernos de claves para fijar las configuracionesiniciales diarias.Varias redes con cuadernos diferentes para complicar ladecodificación.Indicador de comienzo y consecuente control al recibirlo.
![Page 9: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/9.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
ENIGMA - The Government Code and Cypher School
La máquina Enigma
La contribución polaca
De los indicadores se dedujo la colocación de los anillos.Colección de réplicas de Enigma para buscar lasconfiguraciones iniciales diarias.
Las bomba polacas
Búsqueda de coincidencias mediante cribas o usando larepetición del indicador.Efecto limitado del cableado sobre el tablero.
![Page 10: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/10.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
ENIGMA - The Government Code and Cypher School
The bombe
36 réplicas trabajando juntas.Cribas obtenidas a partir de (torpes) estereotipos.Búsqueda automática de posibles soluciones y chequeomanual de cada una de ellas.
![Page 11: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/11.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
ENIGMA - The Government Code and Cypher School
The bombe
Método de los bucles para determinar el cableado deltablero.Método de las repeticiones para aislar una respuesta.
![Page 12: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/12.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
ENIGMA - The Government Code and Cypher School
Enigma de la Marina (Dolphin)
Se encuentran máquinas y tablas en navíos abandonados.Banburismus: detección de ruedas en uso.Desarrollo y uso de Colossus.
![Page 13: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/13.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Inteligencia Artificial
Inteligencia Artifical
IA en Bletchley Park
Mecanización de la resolución de problemas.Aprendizaje basado en la experiencia.Búsqueda (inteligente) en el espacio de solucionesposibles basado en heurísticas.
Generate and test.
Inteligencia = Reglas de búsqueda. . . que una máquinapuede seguir.
IA en la posguerra
Intelligent Machinery: connectionist style neural simulation.
![Page 14: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/14.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Inteligencia Artificial
Inteligencia Artifical
Computing Machinery and Intelligence - Turing Test
¿Cuánto tiempo se puede hacer pasar una máquina porun humano?
Los primeros programas de la IA
Programa para jugar a las damas - Christopher Strachey(1951-52).Introducción del aprendizaje: Samuel 1955.Aprendizaje: reconociendo relaciones, casos particulares,generalización, comprobación.
¡No hay necesidad de entender (meta-aprendizaje)!
![Page 15: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/15.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Biología Matemática y Vida Artificial
Artificial Life
Simulando la vida en un computador.
El juego de la vida de Conway: versión asimétrica
![Page 16: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/16.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Biología Matemática y Vida Artificial
Artificial Life
El juego de la vida de Conway: versión simétrica
![Page 17: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/17.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Biología Matemática y Vida Artificial
Morphogenesis
Crecimiento guiado por patrones (o viceversa) - Series deFibonacci.Reaction-diffusion model: generación de manchas,pecas,. . .Ecuaciones no-lineales: su estudio con computadoras.
![Page 18: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/18.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Biología Matemática y Vida Artificial
Reaction-diffusion model
Patrones de crecimiento con simetría esférica.Pequeñas perturbaciones causan grandes cambios.
![Page 19: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/19.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Biología Matemática y Vida Artificial
Reaction-diffusion model
Círculos de hadas en Namibia
![Page 20: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/20.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Biología Matemática y Vida Artificial
Reaction-diffusion model
Círculos de hadas en Australia (recién diagnosticados)
![Page 21: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/21.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Biología Matemática y Vida Artificial
Algoritmos genéticos
Los mecanismos exitosos sobreviven.Auto-reproducción y la máquina universal ejecutandose así misma.
AlphaGo destroza al Campeón Mundial de Go, Lee Sedol
![Page 22: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/22.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Epílogo
¿Y después de todo esto?
En enero de 1952, Turing, homosexual desde su juventud,fue acusado de gross indecency.El 7 de junio de 1954, Turing se suicida mordiendo unamanzana envenenada, posiblemente recreando unaimagen de los cuentos de la niñez.
Turing believes machines thinkTuring lies with men
Therefore machines do not think
En 2009 y 2012 la Cámara de los Comunes le negó elindulto póstumo: law was law.Finalmente, en 2013 la Reina Isábel II le concedió dichoindulto póstumo.
![Page 23: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/23.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Epílogo
Los Premios Turing
Tributo a Turing
Los Premios Turing 1966−
Oxford University Press, 2004.
![Page 24: TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas · Un tablero de conexiones para complicar los resultados. ... Cribas obtenidas a partir de (torpes) estereotipos.](https://reader030.fdocuments.net/reader030/viewer/2022040622/5d30a86f88c993e9028caaaa/html5/thumbnails/24.jpg)
TURING al Servicio de sus Majestades: Su Rey y sus Matemáticas
Epílogo
2012 Alan Turing Year
http://www.turingcentenary.eu/