Computer Science Without Computers
L’informatique sans ordinateur
Résumé
L’informatique a la fâcheuse réputation d’être la science des ordinateurs. Nous montrerons ici, à l’inverse, qu’une part non négligeable des concepts et méthodes de la discipline informatique est indépendante du monde des ordinateurs. Nous verrons ainsi qu’on peut faire fonctionner Internet avec des pigeons voyageurs, que l’algorithmique peut accélérer la recherche d’un mot dans le dictionnaire, qu’il est parfois utile de faire de la programmation sur papier. Par ces exemples, nous entendons montrer que l’informatique est, comme la logique et les mathématiques, plus qu’une simple technique : c’est une discipline formelle, c’est-à-dire qu’elle peut indifféremment s’appliquer à des supports matériels très différents, l’ordinateur n’étant qu’un cas particulier.