Alan Turing (23 de junio de 1912 - 7 de junio de 1954) fue un matemtico, cientfico de la computacin, criptgrafo y filsofo ingls.

Es considerado uno de los padres de la Ciencia de la computacin siendo el precursor de la informtica moderna. Proporcion una influyente formalizacin de los conceptos de algoritmo y computacin: la mquina de Turing. Formul su propia versin de la hoy ampliamente aceptada Tesis de Church-Turing, la cual postula que cualquier modelo computacional existente tiene las mismas capacidades algortmicas, o un subconjunto, de las que tiene una mquina de Turing. Durante la Segunda Guerra Mundial, trabaj en romper los cdigos nazis, particularmente los de la mquina Enigma; durante un tiempo fue el director de la seccin Naval Enigma del Bletchley Park. Tras la guerra dise uno de los primeros computadores electrnicos programables digitales en el Laboratorio Nacional de Fsica del Reino Unido y poco tiempo despus construy otra de las primeras mquinas en la Universidad de Mnchester. Entre otras muchas cosas, tambin contribuy de forma particular e incluso provocativa al enigma de si las mquinas pueden pensar, es decir a la Inteligencia Artificial. Anlisis criptogrfico (ruptura de cdigos) Durante la Segunda Guerra Mundial fue uno de los principales artfices de los trabajos del Bletchley Park para descifrar los cdigos secretos nazis. Sus perspicaces observaciones matemticas contribuyeron a romper los cdigos de la mquina Enigma y de los codificadores de teletipos FISH (mquinas de teletipos codificados que fabricaron conjuntamente Lorenz Electric y Siemens&Halske). Sus estudios del sistema Fish ayudaran al desarrollo posterior de la primera computadora programable electrnica digital llamada Colossus, la cual fue diseada por Max Newman y su equipo, y construida en la Estacin de Investigaciones Postales de Dollis Hill por un equipo dirigido por Thomas Flowers en 1943. Dicha computadora se utiliz para descifrar los cdigos Fish (en concreto las transmisiones de la mquina Lorenz). Para romper los cdigos de la mquina Enigma y permitir a los aliados anticipar los ataques y movimientos militares Nazis, Turing dise la bombe, una mquina electromecnica llamada as en reconocimiento de la diseada por los polacos bomba kryptologiczna que se utilizaba para eliminar una gran cantidad de claves enigma candidatas. Para cada combinacin posible se implementaba elctricamente una cadena de deducciones lgicas. Era posible detectar cundo ocurra una contradiccin y desechar la combinacin. La bombe de Turing, con una mejora aadida que sugiri el matemtico Gordon Welchman, era la herramienta principal que usaban los criptgrafos aliados para leer las transmisiones Enigma. Estudios sobre las primeras computadoras y el Test de Turing De 1945 a 1948 trabaj en el Laboratorio Nacional de Fsica en el diseo del ACE (Motor de Computacin Automtica [Automatic Computer Engine]). En 1949 fue nombrado director delegado del laboratorio de computacin de la Universidad de Mnchester y trabaj en el software de una de las primeras computadoras reales la Manchester Mark I. Durante esta etapa tambin realiz estudios ms abstractos y en su artculo "Mquinas de computacin e inteligencia" (octubre de 1950) Turing trat el problema de la inteligencia artificial y propuso un experimento que hoy se conoce como Test de Turing, con la intencin de definir una prueba estndar por el que una mquina podra catalogarse como "sensible" o "sintiente". En 1952 Turing escribi un programa de ajedrez. A falta de una computadora lo suficientemente potente como para ejecutarlo, l simulaba el funcionamiento de la computadora, tardando ms de hora y media en efectuar un movimiento. Una de las partidas lleg a registrarse; el programa perdi frente a un amigo de Turing.

Trabaj junto a Norbert Wiener en el desarrollo de la ciberntica. Esta rama de estudios se genera a partir de la demanda de sistemas de control que exige el progresivo desarrollo de las tcnicas de produccin a partir del siglo XX. La ciberntica pretende establecer un sistema de comunicacin entre el hombre y la mquina como premisa fundamental para administrar los sistemas de control. Sus estudios profundizaron en esta relacin estableciendo el concepto de interfaz y cuestionando los lmites de simulacin del razonamiento humano. Mquina de Turing Una mquina de Turing (MT) es un modelo computacional que realiza una lectura/escritura de manera automtica sobre una entrada llamada cinta, generando una salida en esta misma. Este modelo est formado por un alfabeto de entrada y uno de salida, un smbolo especial llamado blanco (normalmente b, o 0), un conjunto de estados finitos y un conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una funcin de transicin, que recibe un estado inicial y una cadena de caracteres (la cinta, la cual puede ser infinita) pertenecientes al alfabeto de entrada. La mquina va leyendo una celda de la cinta en cada paso, borrando el smbolo en el que se encuentra posicionado su cabezal y escribiendo un nuevo smbolo perteneciente al alfabeto de salida, para luego desplazar el cabezal a la izquierda o a la derecha (solo una celda a la vez). Esto se repite segn se indique en la funcin de transicin, para finalmente detenerse en un estado final o de aceptacin, representando as la salida. Funcionamiento: La mquina de Turing consta de un cabezal lector/escritor y una cinta infinita en la que el cabezal lee el contenido, borra el contenido anterior y escribe un nuevo valor. Las operaciones que se pueden realizar en esta mquina se limitan a:
y y

Avanzar el cabezal lector/escritor hacia la derecha.

Avanzar el cabezal lector/escritor hacia la izquierda.

El cmputo es determinado a partir de una tabla de estados de la forma: (estado, valor) (nuevo estado, nuevo valor, direccin) Esta tabla toma como parmetros el estado actual de la mquina y el carcter ledo de la cinta, dando la direccin para mover el cabezal, el nuevo estado de la mquina y el valor a escribir en la cinta. La memoria es la cinta de la mquina que se divide en espacios de trabajo denominados celdas, donde se pueden escribir y leer smbolos. Inicialmente todas las celdas contienen un smbolo especial denominado "blanco". Las instrucciones que determinan el funcionamiento de la mquina tienen la forma, "si estamos en el estado x leyendo la posicin y, donde hay escrito el smbolo z, entonces este smbolo debe ser reemplazado por este otro smbolo, y pasar a leer la celda siguiente, bien a la izquierda o bien a la derecha". La mquina de Turing puede considerarse como un autmata capaz de reconocer lenguajes formales. En ese sentido, es capaz de reconocer los lenguajes recursivamente enumerables, de acuerdo a la jerarqua de Chomsky. Su potencia es, por tanto, superior a otros tipos de autmatas, como el autmata finito, o el autmata con pila, o igual a otros modelos con la misma potencia computacional. El Test de Turing: es una prueba propuesta por Alan Turing para demostrar la existencia de inteligencia en una mquina. Fue expuesto en 1950 en un artculo (Computing machinery and intelligence) para la

revista Mind, y sigue siendo uno de los mejores mtodos para los defensores de la Inteligencia Artificial. Se fundamenta en la hiptesis positivista de que, si una mquina se comporta en todos los aspectos como inteligente, entonces debe ser inteligente. La prueba consiste en un desafo. Se supone un juez situado en una habitacin, y una mquina y un ser humano en otras. El juez debe descubrir cul es el ser humano y cul es la mquina, estndoles a los dos permitido mentir al contestar por escrito las preguntas que el juez les hiciera. La tesis de Turing es que si ambos jugadores eran suficientemente hbiles, el juez no podra distinguir quin era el ser humano y quin la mquina. Todava ninguna mquina puede pasar este examen en una experiencia con mtodo cientfico.