75 / 92
350
ANS
DE
SCIENCE
75
© Mark Dunn - Alamy Stoc
© famouspeople - Alamy
L'
Automatic Computing Engine
(ACE) est le prototype du premier ordinateur construit au Royaume-Uni, mis au point
en 1950 à partir du projet de calculateur d'Alan Turing.
Alan Turing
(1912-1954)
Développement des sciences de l’information
L’acte de naissance des sciences de l’information et du calcul modernes est
l’invention de la théorie de la calculabilité par Alan Turing en 1936. Dans un
article visionnaire, Turing a introduit ses machines constituées d’un ruban
sur lequel on peut écrire des caractères, d’une tête de lecture/écriture et
d’un mécanisme qui décide s’il faut remplacer le caractère lu par un autre
ou décaler le ruban. Turing a montré que ces machines simplissimes pouvaient
effectuer tous les calculs connus, puis a établi deux résultats fondamentaux :
l’existence de machines universelles capables de calculer à partir d’un programme enregistré sur la bande
au même titre que les données, et l’impossibilité d’établir par calcul si une machine va s’arrêter ou non.
Ainsi, en même temps qu’il définissait la notion de calculabilité, il établissait ses limites. La même année,
Alonzo Church introduisait le λ-calcul, langage logique qui sert toujours de fondement aux langages de
programmation modernes, et l’a montré équivalent à la machine de Turing. Il a émis la thèse que tout
formalisme de calcul effectif à venir leur serait aussi équivalent, ce qui n’a jamais été contredit.
Il a toutefois fallu attendre la fin de la seconde guerre mondiale pour voir la construction des premiers
ordinateurs, immédiatement suivie d’une découverte surprenante et toujours d’actualité : la difficulté