Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Alan Turing Expo

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 2

Invenciones

• El banburismo es un proceso de criptoanálisis que desarrolló Alan Turing en Bletcheley


Park (instalación militar orientada a romper la máquina enigma). El proceso se basaba en
la probabilidad condicional secuencial para deducir información acerca de las
configuraciones de la máquina Enigma. El objetivo del banburismo era reducir el tiempo
necesario para que la «Bomba» identificara los patrones de los rotores ya que reducía
mucho las posibilidades. En 1939 Turing consiguió romper el código ahora solo quedaba
capturar mensajes trabajo que hizo la marina. El procedimiento aprovechaba la debilidad
del indicador (configuración inicial de la Enigma) comparaban mensajes criptados con
distintas configuraciones, si el desplazamiento sólo se diferenciaba de un carácter (CFE-CFT
cada letra corresponde a un rotor), podían obtener dicho desplazamiento.

• ACE (Automatic Computing Engine) fue uno de los primeros diseños de ordenador con
capacidad para el uso de programas almacenados en memoria. Fue desarrollado por Alan
Turing por invitación de John R. Womersley. Tras el conflicto, Turing se planteó el reto de
construir una máquina que tuviera las mismas capacidades que el cerebro humano.
Intervino en el diseño de la ACE (siglas en inglés de Automatic Computer Engine), un
ordenador digital electrónico concebido para resolver más de un propósito y capaz de
almacenar un programa en su memoria.

Basada en 1950 en un diseño de Turing, fue la primera computadora electrónica


desarrollada en Gran Bretaña. Es el desarrollo práctico (no mecánico) de la máquina
universal de Turing. Almacenaba un programa en su memoria y gestionaba un lenguaje de
programación, el Abbreviated Computer Instructions.

EL problema de decisión

El problema fue planteado inicialmente por Leibniz en el siglo xvii luego de construir su
máquina mecánica de cálculo. David Hilbert formalizó el problema en el VII Congreso
Internacional de Matemáticas (Bolonia, 1928), planteando la búsqueda de un
procedimiento algorítimico válido para solucionar las posibles cuestiones matemáticas, a
través de tres preguntas:

¿Son las matemáticas completas?


¿Son las matemáticas consistentes?
¿Son las matemáticas decidibles?
Si bien Hilbert suponía que la respuesta a las preguntas era afirmativa, Turing en 1936
publicó el artículo “Sobre números computables, con una aplicación al
Entscheidungsproblem” (traducible como “problema de decisión”), que resultó ser el
origen de la informática teórica. En él definía qué era computable y qué no lo era. Lo
computable era todo aquello que podía resolverse con un algoritmo (conjunto de
instrucciones finito que, mediante pasos sucesivos, lleva a la solución de un problema). El
resto eran tareas no computables.
Turing demostró que había problemas irresolubles, es decir, sin solución algorítmica. Para
dar forma al concepto ideó la famosa máquina que lleva su nombre, un dispositivo
imaginario que, una vez construido, podría ejecutar cualquier operación matemática
resoluble por medio de un algoritmo, y que, en el caso de programarse, se transformaría
en un ordenador. Pero Turing jamás llegó a materializar su proyecto, al no contar con los
medios técnicos necesarios.

También podría gustarte