1
Download Alan Turing - ETS de Ingenierías Informática y de Telecomunicación
Document related concepts
Transcript
Alan Turing: el poder de la razón Serafín Moral ETSI Informática y Telecomunicaciones Granada 4 de Noviembre de 2009 - ETSI Informática Alan Turing Turing, 5 años 4 de Noviembre de 2009 - ETSI Informática Alan Turing Turing, jugando al hockey Natural Wonders Every Child Should Know (Edwin Brewster) 4 de Noviembre de 2009 - ETSI Informática Alan Turing Turing, jugando al hockey Natural Wonders Every Child Should Know (Edwin Brewster) 4 de Noviembre de 2009 - ETSI Informática Alan Turing Turing con 3 amigos 4 de Noviembre de 2009 - ETSI Informática Alan Turing Sherborne 4 de Noviembre de 2009 - ETSI Informática Alan Turing Estudio de la Teoría de la Relatividad 4 de Noviembre de 2009 - ETSI Informática Alan Turing Estudio de la Teoría de la Relatividad 4 de Noviembre de 2009 - ETSI Informática Alan Turing Christopher Morcom 4 de Noviembre de 2009 - ETSI Informática Alan Turing King’s College - Cambridge 4 de Noviembre de 2009 - ETSI Informática Alan Turing Max Newman 4 de Noviembre de 2009 - ETSI Informática Alan Turing Hilbert Axiomatización de las Matemáticas: Completa: Todo teorema verdadero se puede demostrar a partir de los axiomas. Consistente: No se puede demostrar nada que sea falso. Decidible: Hay un procedimiento bien establecido que siguiendo sus reglas se puede determinar lo que es cierto y lo que es falso. 4 de Noviembre de 2009 - ETSI Informática Alan Turing On Computable Numbers 4 de Noviembre de 2009 - ETSI Informática Alan Turing On Computable Numbers 4 de Noviembre de 2009 - ETSI Informática Alan Turing On Computable Numbers Máquinas de Turing: Formalización matemática del concepto de algoritmo. Máquinas Universales: Una única máquina puede hacer lo que cualquier otra. Problemas Indecidible: Hay problemas que no pueden resolverse mediante máquinas (algoritmos). Entscheidungsproblem: La demostrabilidad de teoremas es uno de esos problemas irresolubles. 4 de Noviembre de 2009 - ETSI Informática Alan Turing Institute for Advanced Studies, Princeton 4 de Noviembre de 2009 - ETSI Informática Alan Turing John Von Neumann 4 de Noviembre de 2009 - ETSI Informática Alan Turing La función Z de Riemann 4 de Noviembre de 2009 - ETSI Informática Alan Turing Submarinos 4 de Noviembre de 2009 - ETSI Informática Alan Turing Bletchley Park 4 de Noviembre de 2009 - ETSI Informática Alan Turing Enigma 4 de Noviembre de 2009 - ETSI Informática Alan Turing La Nave 8 4 de Noviembre de 2009 - ETSI Informática Alan Turing La Bomba 4 de Noviembre de 2009 - ETSI Informática Alan Turing La Bomba I.J. Good (1979). "Studies in the History of Probability and Statistics. XXXVII A. M. Turing’s statistical work in World War II". Biometrika 66 4 de Noviembre de 2009 - ETSI Informática Alan Turing La Bomba I.J. Good (1979). "Studies in the History of Probability and Statistics. XXXVII A. M. Turing’s statistical work in World War II". Biometrika 66 4 de Noviembre de 2009 - ETSI Informática Alan Turing Colossus 4 de Noviembre de 2009 - ETSI Informática Alan Turing Informe Visita National Cash Register 4 de Noviembre de 2009 - ETSI Informática Alan Turing Hanslope Park 4 de Noviembre de 2009 - ETSI Informática Alan Turing Máquina Delilah 4 de Noviembre de 2009 - ETSI Informática Alan Turing NPL - Teddington. Casa de Turing 4 de Noviembre de 2009 - ETSI Informática Alan Turing Orden del Imperio Británico (1945) 4 de Noviembre de 2009 - ETSI Informática Alan Turing Informe ACE (Automatic Computing Engine) 4 de Noviembre de 2009 - ETSI Informática Alan Turing Diseño Circuito ACE 4 de Noviembre de 2009 - ETSI Informática Alan Turing Pilot ACE 4 de Noviembre de 2009 - ETSI Informática Alan Turing Turing y el deporte 4 de Noviembre de 2009 - ETSI Informática Alan Turing Turing y el deporte 4 de Noviembre de 2009 - ETSI Informática Alan Turing Intelligent Machinery Redes de neuronas: Tipo A: Las redes eran circuitos booleanos con unas conexiones fijas. Tipo B: Las redes eran circuitos booleanos, pero con conexiones variables. Estas empezarían con una estructura aleatoria y se van modificando para adaptarse al entorno de acuerdo con un algoritmo evolutivo. Redes neuronales y computación evolutiva. Tipo P: Las neuronas eran máquinas de estado finito con una función de transición incompleta y tenía dos líneas de entrada: placer y dolor. La máquina debería de aprender su función de transición en función de estas entradas. Aprendizaje por refuerzo. Publicado en 1968. 4 de Noviembre de 2009 - ETSI Informática Alan Turing Intelligent Machinery Redes de neuronas: Tipo A: Las redes eran circuitos booleanos con unas conexiones fijas. Tipo B: Las redes eran circuitos booleanos, pero con conexiones variables. Estas empezarían con una estructura aleatoria y se van modificando para adaptarse al entorno de acuerdo con un algoritmo evolutivo. Redes neuronales y computación evolutiva. Tipo P: Las neuronas eran máquinas de estado finito con una función de transición incompleta y tenía dos líneas de entrada: placer y dolor. La máquina debería de aprender su función de transición en función de estas entradas. Aprendizaje por refuerzo. Publicado en 1968. 4 de Noviembre de 2009 - ETSI Informática Alan Turing El Ordenador de Manchester 4 de Noviembre de 2009 - ETSI Informática Alan Turing El Test de Turing 4 de Noviembre de 2009 - ETSI Informática Alan Turing El Premio Loebner 4 de Noviembre de 2009 - ETSI Informática Alan Turing El club de la razón (Ratio Club), 1951 4 de Noviembre de 2009 - ETSI Informática Alan Turing Morfogénesis 4 de Noviembre de 2009 - ETSI Informática Alan Turing Morfogénesis 4 de Noviembre de 2009 - ETSI Informática Alan Turing Morfogénesis 4 de Noviembre de 2009 - ETSI Informática Alan Turing Casa de Turing, Manchester 4 de Noviembre de 2009 - ETSI Informática Alan Turing Turing en Manchester (derecha) 4 de Noviembre de 2009 - ETSI Informática Alan Turing Suicidio, 1954 4 de Noviembre de 2009 - ETSI Informática Alan Turing Reconocimiento 4 de Noviembre de 2009 - ETSI Informática Alan Turing Disculpa, 2009 4 de Noviembre de 2009 - ETSI Informática Alan Turing Disculpa, 2009 4 de Noviembre de 2009 - ETSI Informática Alan Turing Síndrome Asperger, 2009 4 de Noviembre de 2009 - ETSI Informática Alan Turing Alan Turing 4 de Noviembre de 2009 - ETSI Informática Alan Turing
