Le 28 mai 1936, Alan Turing, 23 ans, soumet à la London Mathematical Society un article de 36 pages — « On Computable Numbers, with an Application to the Entscheidungsproblem » — dans lequel il définit une machine abstraite capable d'exécuter tout algorithme concevable. Ce faisant, il prouve l'existence de problèmes mathématiques qu'aucune procédure mécanique ne peut résoudre et pose les fondations théoriques de l'informatique.