Cinquante ans de problèmes de spectre en logique

En logique, le spectre d’une propriété est l’ensemble des nombres d’éléments des objets finis qui possèdent cette propriété. Depuis les années 1950, la notion de spectre a été étudiée selon plusieurs approches successives. Dans cet exposé, destiné aux non-spécialistes, je présenterai un tour d’horizon des questions principales et des résultats les plus importants du domaine, en insistant sur les liens avec des questions d’informatique fondamentale moderne.