Alan Turing Expo
Alan Turing Expo
Alan Turing Expo
• 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.
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: