Laboratoire d'Informatique de Grenoble

Abstract

La machine de Turing est souvent conçue comme un des modèles les plus fondamentaux de l’informatique. Mais pourquoi et comment est-ce que cette machine a obtenu cette signification et est-ce qu’il n’y a pas un risque de manquer certaines compréhensions historiques et théoriques lorsque cette signification n'est jamais remise en question ? L’objectif de cet exposé est de revisiter l’histoire de la machine de Turing, son origine et son évolution vers le modèle de base de l'informatique. Je montrerai aussi, par un cas concret, que si on reste trop fixer sur ce modèle on risque d’être aveuglé par des problèmes théoriques qui se posent en percevant les différences fines entre ce modèles et des autres.