ENSAYO ALAN TURING

ALAN MATHISON TURING

(Ensayo)

Alan Turing podría ser presentado como el precursor de la informática moderna, como uno de los matemáticos más influyentes en la computación, como el padre de la inteligencia artificial, como un gran criptógrafo o incluso, como un icono de la injusticia social.

Nació el 23 de Junio de 1912 en Londres. Sus padres estuvieron el primer año con él y luego partieron de nuevo a la India, dejando a sus hijos al cuidado de un matrimonio amigo, los Ward. Tan solo se reencontraban en vacaciones, que pasaban en Irlanda o en Inglaterra.

Estudio en el Instituto Privado de Sherborne, en una pequeña villa cerca de Southampon. Tenía curiosidad por muchas cuestiones (química, inventos), pero descuidaba las asignaturas que no le interesaban. Con esto sacaba malas notas. A veces sus profesores se burlaban de él por su aspecto desaliñado, sus perennes manchas de tinta y su timidez. El leía los escritos de Einstein a los 17 años y lo entendía perfectamente. Algo que le molestaba durante sus estudios en Sherborne es que no trataban las matemáticas como una disciplina seria. Tuvo un gran amigo, Christopher Morton, con el que compartía sus inquietudes científicas, astronomía, matemáticas, química. Christopher fue el primer amor platónico de Turing, aunque su amistad no duro mucho tiempo ya que Christopher murió tiempo después a causa de una enfermedad.

Turing es mundialmente conocido por cuatro hechos:

Formalizo los conceptos de algoritmo y computación con su máquina de Turing.

Es considerado el padre de la inteligencia artificial.

Su participación en el equipo de criptoanálisis de la máquina de criptografía alemana Enigma fue clave.

Fue una víctima más de la mentalidad reaccionaria puritana del mundo anglosajón.

MAQUINA DE TURING

Una máquina de Turing, es un dispositivo teórico que manipula símbolos sobre una cinta de acuerdo con una tabla de reglas definida. Este modelo computacional puede ser adaptado para simular la lógica de cualquier algoritmo y es particularmente útil en la labor de explicar el funcionamiento de una CPU.

La máquina de Turing fue descrita por Alan Turing en 1936 como respuesta al ensayo matemático alemán David Hilbert “On Computable Numbers, with an Application to the Entscheidungsproblem”, donde demostró que algunas de estas máquinas de Turing serían capaces de realizar cualquier cálculo matemático concebible si fuera representable con un algoritmo. También probo que no existe solución al Entscheidungsproblem (problema de decisión) ya que demuestra que no es posible decidir, en general, algorítmicamente si una máquina de Turing se encuentra en parada.

La máquina de Turing, modela de forma matemática una máquina que opera sobre una cinta. En esta cinta hay símbolos que la maquina puede escribir o leer, uno a la vez. Las operaciones que la maquina puede realizar están determinadas por un conjunto finito de instrucciones elementales como “si el estado es 6 y el valor es 0 escribe 1 y pasa al estado 27”.

Una máquina de Turing consta de las siguientes partes:

• Una cinta que está dividida en celdas una al lado de la otra. Cada celda contiene un símbolo en algún alfabeto finito. Dicho alfabeto contiene un símbolo especial en blanco (blank symbol escrito como ‘B’) y uno o más símbolos adicionales. La cinta se supone infinita.

• Una cabeza que puede leer y escribir símbolos en la cinta y mover la cinta a la izquierda o a la derecha una posición.

• Una tabla de reglas finita de instrucciones, usualmente tuplas de cinco elementos que dado el estado (qi) en el que se encuentra actualmente la máquina y el símbolo (aj) que está siendo leído desde la cinta, indica a la máquina que realice la siguiente secuencia de acciones:

 Escribe o borra un símbolo

 Mueve la cabeza (a la izquierda o la derecha)

 Asume el mismo o un nuevo estado según lo prescrito

• Un registro de estados donde se guarda el estado de la máquina de Turing.

Turing definió que es posible desarrollar una única máquina que pueda ser usada para computar cualquier secuencia computable. Si esta máquina U es suministrada con una cinta que en su comienzo esté escrita con tuplas quíntuples separadas por punto y coma provenientes de una máquina M, entonces U computará las mismas secuencias que M.

Este modelo de computación supone el avance teórico fundamental que condujo a la noción de programa de computadora almacenado.

PARTICIPACION EN LA LUCHA CONTRA ENIGMA.

La máquina Enigma fue un dispositivo electromecánico, lo que significa que usaba una combinación de partes mecánicas y eléctricas. El mecanismo estaba constituido fundamentalmente por un teclado similar al de las máquinas de escribir cuyas teclas eran interruptores eléctricos, un engranaje mecánico y un panel de luces con las letras del alfabeto.

El mensaje a transmitir se codificaba mediante

...