# data[].attributes.body
En su memorable estudio "Los números computables, con una aplicación al Entscheidungsproblem" (publicado en 1936), Turing reformuló los resultados obtenidos por Kurt Gödel en 1931 sobre los límites de la demostrabilidad y la computación, sustituyendo al lenguaje formal universal descrito por Gödel por lo que hoy se conoce como máquina de Turing, unos dispositivos formales y simples. Turing demostró que dicha máquina era capaz de resolver cualquier problema matemático que pudiera representarse mediante un algoritmo. Las máquinas de Turing siguen siendo el objeto central de estudio en la teoría de la computación. Llegó a probar que no había ninguna solución para el problema de decisión, Entscheidungsproblem, demostrando primero que el problema de la parada para las máquinas de Turing es irresoluble: no es posible decidir algorítmicamente si una máquina de Turing dada llegará a pararse o no.

# data[].attributes.body
Otto Steiger fue un científico suizo, quien construyó, en 1892, la primera calculadora que tuvo éxito comercial, basada en la técnica de Ramón Verea y León Bollee; su nombre fue la Millonaria.

Fue creada para realizar rápidamente las cuatro operaciones fundamentales, siendo un acontecimiento en el cálculo mecánico. Poseía una asombrosa velocidad al realizar multiplicaciones y divisiones frente a otras calculadoras de la época, ya que no las realiza mediante sumas sucesivas y restas sucesivas, cada dígito del multiplicador o del cociente se procesa mediante una sola vuelta de manivela que traslada automáticamente un espacio al mecanismo resultante.

# data[].attributes.body
En 1889, a los 19 años, inventa y fabrica una calculadora mecánica mecánica revolucionaria, llamada multiplicación directa, que recibe un primer premio en la Exposición Universal de París en 1889 . Él inventó y perfeccionó también muchos instrumentos informáticos, muchos permanecieron en la fase de prototipo, y comenzó la construcción de un fabricante de diferencia inspirado en la obra de Charles Babbage

# data[].attributes.body
Es considerado como uno de los fundadores del campo de las Ciencias de la Computación. En 1854 publicó "An Investigation of the Laws of Thought" en el que desarrollaba un sistema de reglas que le permitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos admiten dos estados (verdadero o falso) por procedimientos matemáticos. Se podría decir que es el padre de las operaciones lógicas y gracias a su álgebra hoy en día es posible manipular operaciones lógicas.Descubrió un método excelente para resolver ecuaciones diferenciales,(1859). Es llamada la lógica de Boole, que se utiliza en los ordenadores. El álgebra de la lógica llamada Álgebra Booleana es la cual ahora encuentra aplicación en la construcción de computadoras, circuitos eléctricos, etc.

# data[].attributes.body
Morland inventó tres tipos diferentes de máquinas o dispositivos para realizar cálculos: una máquina para cálculos trigonométricos, una versión mecánica de los huesos de Napier considerada como la primera máquina de múltiplicar de la historia, y una sumadora mecánica. Aunque estas dos últimas máquinas fueron inventadas a mediados de los 1660s, no fue sino hasta 1673 que Morland publicó un libro titulado "Description and Use of Two Arithmetic Instruments", el cual describía a las dos máquinas y su funcionamiento.