Nel 1936, infatti, Alan Turing pubblicò il suo lavoro "On Computable Numbers, with an Application to the Entscheidungsproblem", nel quale definiva un modello di macchina calcolatrice, oggi nota come macchina di Turing, per analizzare il concetto logico-matematico di “computabilità”.
Questa macchina, anche se di livello astratto, e pensata per scopi esclusivamente teorici, rappresenta tuttavia il modello del moderno calcolatore elettronico digitale.
Questo può essere considerato definitivamente nato negli USA con le macchine ENIAC ed EDVAC;
un report del 1945, redatto da John von Neumann, che descrive il funzionamento del secondo, definisce un modello di architettura, detto appunto di von Neumann, seguito da praticamente tutti gli elaboratori prodotti da allora.