Historia de la computación

Por: Karla Cuéllar

1931, Kurt Godel publicó un documento sobre los lenguajes formales basados en operaciones aritméticas. Lo usó para codificar arbitrariamente sentencias y pruebas formales, y mostró que los sistemas formales, como las matemáticas tradicionales, son inconsistentes en un cierto sentido, o que contienen sentencias improbables pero ciertas. Sus resultados son fundamentales en las ciencias teóricas de la computación.

Kurt Godel                         Invento

1936 Alan Turing describe la máquina de Turing, la cual formaliza el concepto de algoritmo.

Alan Turing                       Máquina de Turing

1940 Samuel Williams y George Stibitz completaron en los laboratorios Bell una calculadora electro-mecánica que podía manejar números complejos.

Samuel Williams        George Stibitz        

1941 Konrad ZuseLa computadora Z3 fue creada; Fue la primera máquina programable y completamente automática.

Konrad Zise y computadora Z3