L’informatique a la fâcheuse réputation d’être la science des ordinateurs. Quelle que soit sa spécialité, un « informaticien » sera toujours appelé à réparer l’ordinateur de son beau-frère. Sa discipline ne porte-t-elle pas le nom anglais de computer science ? 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.

Lire l'article de Baptiste Mélès sur Images des maths