Orateur
Description
Un nombre croissant d'études en philosophie des mathématiques ont été récemment consacrées à l'analyse de segments de la pratique des mathématiques, en reconsidérant des épisodes de son histoire mais aussi en examinant des études de cas contemporaines. Bien entendu, la pratique des mathématiques est multiforme : dans leur travail quotidien, les mathématiciens utilisent de nombreux outils différents, que ce soit pour faire de la recherche et essayer de résoudre des problèmes, ou pour rédiger des preuves et communiquer avec leurs pairs et avec un public plus large. Les diagrammes et autres types de dispositifs visuels sont couramment utilisés dans de nombreux domaines mathématiques, et leur utilisation évolue et change, l'acceptation du raisonnement diagrammatique gagnant du terrain. L'un des intérêts philosophiques de l'étude de la pratique des mathématiques réside précisément dans l'analyse du fonctionnement de ces outils et dans l'évaluation du cadre mathématique permettant leur utilisation et des conséquences théoriques que cette utilisation peut entraîner. Dans ce premier cours, je passerai en revue certaines des études qui se sont intéressées à ce thème ainsi que les questions qui se posent et les solutions proposées.
