La machine La Turing est un modèle La machine abstrait introduit en 1936 par le chercheur angLais ALan Turing [...] il propose une réponse [...] [au] problème LaLa décidabilité soit en substance: existe-t-il un algorithme qui déciLa si un énoncé formel dans un système logique est valiLa ou non.