Si l’on considère que la modélisation d’un phénomène est en partie la réalisation d’un calcul, l’effectuation d’un algorithme, il faut s’interroger sur les fondements de la modélisation en tant que détermination de la calculabilité du modèle. Le présent article expose l’apport crucial de Turing à cette question, et comment se dessinent dans son œuvre les considérations mathématiques quant à l’exécution d’un algorithme, d’un moteur d’inférences si l’on peut dire, ou encore quant à la mise en œuvre formelle de l’objet mathématique qu’est tout modèle formel, ainsi que de ses propriétés mathématiques intrinsèques.