Al 1936 l'anglès Aln M Turing va especificar un ordinador abstracte que pugués fer qualsevol càlcul humà, aquestes idees s'incorporen anys després a les màquines de càlcul general, també va servir per veure les capacitats i les limitacions dels ordinadors.