Ingeniería eléctrica
En 1941 Konrad Zuse presentó el Z3, primera computadora completamente funcional y programable del mundo a través de piezas electromecánicas. En 1943 Tommy Flowers diseñó y construyó el Colossus, primer equipo completamente funcional, electrónico, digital y programable del mundo. En 1946, el ENIAC (Electronic Numerical Integrator and Computer) de John Presper Eckert y John Mauchly seguido, del inicio de la era de la computación. El rendimiento de la aritmética de estas máquinas permite a los ingenieros desarrollar completamente nuevas tecnologías y lograr nuevos objetivos, entre ellos el programa Apolo, que culminó con astronautas en la Luna.
Primera generación de computadoras
El trabajo de preguerra de Turing ejerció una gran influencia en la ciencia de la computación teórica, y después de la guerra, diseñó, construyó y programó algunas de las primeras computadoras en el Laboratorio Nacional de Física y en la Universidad de Mánchester. Su trabajo de 1936 incluyó una reformulación de los resultados de Kurt Gödel en 1931 así como una descripción de la que ahora es conocida como la máquina de Turing, un dispositivo puramente teórico para formalizar la noción de la ejecución de algoritmos, reemplaza al lenguaje universal, más embarazoso, de Gödel basado en aritmética. Las computadoras modernas son Turing-integrada (capacidad de ejecución de algoritmo equivalente a una máquina de Turing universal), salvo su memoria finita. Este limitado tipo de Turing-integrados es a veces visto como una capacidad umbral separando las computadoras de propósito general de sus predecesores de propósito especial.