J'ai mis un diagramme commutatif dans le blueprint et j'ai remarqué que cela ne compilait pas”, “Pareil de mon côté”, “Le package tikzcd est la solution”. Ces messages, incompréhensibles pour les non-initiés de la programmation, tombent par dizaines chaque jour sur le forum Zulipchat. Et non, leurs auteurs ne sont pas en train de coder la prochaine appli à la mode. Ils tentent d'enseigner les maths… à un ordinateur ! Une entreprise qui peut sembler curieuse, tant ces machines sont perçues comme étant de parfaits calculateurs. Mais justement, pour qu'elles opèrent juste, il a fallu leur expliquer toutes les étapes nécessaires à la réalisation d'une addition ou d'une soustraction, par exemple - à vous comme à moi, les profs l'ont rabâché : la démonstration est aussi importante que la solution ! Et si préparer une leçon d'arithmétique de base à l'attention des ordis est relativement aisé, aborder des notions plus poussées est une autre paire de manches… Avec ces messages cryptiques, les intervenants sur Zulipchat construisent le cours de maths le plus pointu jamais soumis
Le contenu complet de cet article est réservé aux abonnés. Vous pouvez également acheter Science & Vie n°1294 au format digital. Vous le retrouverez immédiatement dans votre bibliothèque numérique KiosqueMag.
Voir plus