Gilles Dowek

Résumé de l’article

A travers une histoire de protocoles d’ouverture et fermeture des portes de vaisseaux spatiaux de diverses générations, Gilles Dowek illustre le « problème de l’exclusion mutuelle » et présente la notion d’algorithme, en particulier le protocole de la 3ème génération qui garantit l’absence de blocage et qui n’a été résolu qu’en 1981 par Peterson. Il insiste sur l’importance de « mathématiser » (formaliser, modéliser, .etc.) les problèmes et situations pour éviter les « situations de blocage ». Il présente quelques algorithmes mathématiques classiques (triangle de Pascal, Pivot de Gauss, etc.). En conclusion, si résoudre un problème se fait souvent à travers une équation différentielle, la première étape, l’analyse du problème peut se faire par l’algorithmique, formidable outil de mathématisation du réel.

Plan de l’article

• 1. Une histoire avec deux portes
• 2. La morale de l’histoire

Lire l’article en ligne
Télécharger l’article en pdf dans son intégralité
<redacteur|auteur=500>