Cette vision nous semble aujourd’hui bien obsolète. L’émergence de l’informatique nous a contraint à revoir les frontières entre sciences et techniques. Elle a fourni des cadres conceptuels qui permettent de formaliser et de simuler de nombreux phénomènes de la biologie, des sciences humaines et parfois aussi de la physique. Et la biologie et certaines parties des sciences humaines ont conquis le statut de science à part entière.
Cette révolution scientifique qui met l’abstraction et la symbolisation au cœur de la démarche scientifique est sans doute une excellente nouvelle pour les mathématiques, qui voient leur champ d’application s’étendre, mais aussi leurs méthodes se généraliser.
Dans cet exposé, je tenterai de montrer, à l’aide de quelques exemples, qu’un certain nombre de concepts issus des applications des mathématiques à l’informatique peuvent contribuer à diversifier l’enseignement des mathématiques au lycée.
Conférence donnée par Gilles Dowek, INRIA - Ecole Polytechnique - e-mail
Document vidéo captée le 22 octobre 2010 et publié le 10 février 2011. Editeur: Eric Vandendriessche. Toute reproduction pour publication ou à des fins commerciales, de la totalité ou d'une partie de ce document, devra impérativement faire l'objet d'un accord préalable avec l'éditeur (ENS Ulm). Toute reproduction à des fins privées, ou strictement pédagogiques dans le cadre limité d'une formation, de la totalité ou d'une partie de ce film, est autorisée sous réserve de la mention explicite des références éditoriales de l'article.
Bibliographie
Algorihme de Peterson sur Wikipedia
Une deuxième révolution galiléenne, Gilles Dowek
