Alan Turing define la máquina universal de computación
En “On Computable Numbers, with an Application to the Entscheidungsproblem”, Alan Turing introduce una máquina abstracta capaz de leer, escribir y seguir cualquier instrucción codificada en cinta: la “máquina universal”. El trabajo resolvía un problema formal de lógica matemática, pero su legado es haber mostrado que una sola máquina, cambiando de programa, puede computar cualquier cosa que sea computable.