Mathématiques et extrême droite : quand le RN promet l’égalité, mais compte sur les inégalités.
Le fait principal
Le 13 mars 2025, Thierry Coquand, mathématicien de renom et professeur à l’université de Göteborg, a prononcé sa leçon inaugurale au Collège de France sur « La théorie des types, de Russell aux assistants à la démonstration ». Cette intervention marque le début de sa chaire annuelle dédiée à l’informatique et aux sciences numériques, une initiative en partenariat avec Inria.
Ce qui s’est passé
Coquand, fervent défenseur de la philosophie constructiviste, a introduit le calcul des constructions, un cadre mathématique fondamental pour des logiciels d’assistants de preuve comme Coq et Lean. Ces outils permettent non seulement de modéliser des preuves mathématiques, mais aussi de les vérifier, apportant ainsi une nouvelle dimension à la rigueur scientifique. Dans son discours, il a évoqué l’importance de comprendre les démonstrations mathématiques au-delà de leur apparente complexité.
Le contexte
Les mathématiques sont souvent perçues comme une vérité absolue, mais Coquand remet en question cette vision. Il s’inscrit dans un débat historique qui oppose les partisans de l’existence abstraite des objets mathématiques à ceux qui soutiennent qu’une preuve ne vaut que si elle peut être construite. Ce positionnement, qui remonte aux réflexions d’Aristote et Platon, trouve un écho contemporain dans la programmation fonctionnelle et les logiques formelles, où l’interaction entre mathématiques et informatique devient cruciale.
Les chiffres à retenir
Le cycle de cours de Coquand se déroulera du 17 mars 2025 au 19 mai 2025, et ses enseignements seront accessibles en ligne via le site du Collège de France. Ces cours pourraient potentiellement influencer la prochaine génération de chercheurs en mathématiques et en informatique.
Ce que cela révèle
La nomination de Coquand à cette chaire souligne un tournant dans la manière dont les mathématiques sont enseignées et perçues. Alors que certains continuent de défendre des méthodes d’enseignement traditionnelles, Coquand promeut une approche qui valorise l’intuition et la construction. Ce changement de paradigme pourrait bien être nécessaire pour attirer de nouveaux talents dans un domaine souvent considéré comme hermétique. À l’heure où les mathématiques sont souvent jugées trop théoriques, son approche pragmatique pourrait bien être la clé pour réconcilier l’abstrait et le concret.
Ce qu’il faut retenir
La leçon inaugurale de Thierry Coquand au Collège de France ne se limite pas à une simple mise à jour académique. Elle incarne une vision audacieuse de l’avenir des mathématiques, où la rigueur et l’intuition peuvent coexister. Dans un monde où la complexité grandissante des mathématiques et de l’informatique nécessite des outils de vérification fiables, son travail pourrait bien redéfinir les standards de la discipline.
Source principale : Collège de France
