The theoretical basis for the stored-program computer was laid by Alan Turing in his 1936 paper