Machine de Turing
Un modèle abstrait définit ce qui est calculable. L’informatique existe comme théorie avant d’exister comme machine.
Contexte
Hilbert avait demandé s’il existe une procédure mécanique capable de décider de la vérité de tout énoncé mathématique. Pour répondre non, Turing doit d’abord définir ce qu’est une procédure mécanique : il invente pour cela une machine abstraite, ruban et règles, qui n’existe pas.
Chronologie
- 1928Hilbert pose le problème de la décision
- 1936Turing publie « On Computable Numbers »
- 1939-1945Il travaille au décryptage d’Enigma à Bletchley Park
- 1950Article sur l’intelligence des machines et son test
- 1954Sa mort, deux ans après sa condamnation pour homosexualité
Acteurs
- Alan Turing
- Définit la calculabilité avant qu’aucun ordinateur n’existe
- Alonzo Church
- Parvient au même résultat par une autre voie la même année
- Bletchley Park
- Applique ces idées au décryptage pendant la guerre
En chiffres
année de l’article fondateur, neuf ans avant le premier ordinateur électronique
1936
raccourcissement estimé de la guerre attribué au décryptage
≈ 2 ans
Conséquences
- La notion d’algorithme reçoit une définition précise, sur laquelle repose toute l’informatique théorique.
- L’universalité de la machine explique qu’un même appareil puisse tout calculer, du tableur au jeu vidéo.
- Le test de Turing structure encore le débat public sur l’intelligence artificielle.
À retenir
L’informatique a d’abord existé comme démonstration mathématique — la machine n’est venue que neuf ans plus tard.
Source
Fiche rédigée pour Mundograph à partir des sources listées dans Sources et méthode. Les coordonnées sont celles du lieu principal ; le pays est celui des frontières d’aujourd’hui.