Résumé
La phrase « mécanisation des mathématiques » faisait référence à la création de dispositifs artificiels avec l’objectif d’accompagner les mathématicien(ne)s, ou encore de les remplacer. Le séminaire s’est intéressé à la manière dont nous sommes arrivés à une situation où de nombreux mathématicien(ne)s considèrent ce remplacement éventuel comme faisable, voire inévitable, et peut-être même souhaitable. L’intervenant a adopté un point de vue sceptique sur ces développements.
