Qui a proposé le concept de machine de Turing ?

Modèle théorique imaginé en 1936, il fonde l'informatique en définissant ce qu'une machine peut calculer.