15 novembre 2022 : Conférence HiPhis – Preuves diagrammatiques – anciens et nouveaux enjeux
Mardi 15 novembre 2022de17h30à 19h30,UM Faculté des Sciences, salle de coursSC-10.01, entrée libre
(campus Triolet, bâtiment 10, Place Eugène-Bataillon)
Preuves diagrammatiques – anciens et nouveaux enjeux
Valeria Giardino
Philosophe des mathématiques, Chercheuse CNRS à l’Institut Jean-Nicod CNRS/ENS/EHESS, École Normale Supérieure, Paris
Résumé :
Dans cet exposé, nous analyserons la notion de preuve diagrammatique et sa validité dans le contexte de la pratique des mathématiques. Nous préciserons tout d’abord ce qu’est une « preuve diagrammatique » puis nous présenterons les arguments philosophiques qui ont été avancés à la fin du XIXesiècle et au début du XXecontre sa validité. Nous donnerons ensuite les raisons qui porteraient à les réviser. Dans un deuxième temps, nous montrerons que la pratique des mathématiques implique un « trafic d’hétérogénéité »(trafficking in heterogeneity), pour reprendre le terme utilisé par Emily Grosholz dans sa critique à la tradition en logique inspirée par Russell et Carnap. Finalement, nous examinerons quelques exemples de preuves diagrammatiques à la fois en géométrie euclidienne et en mathématiques contemporaines qui ont été discutées dans la littérature. Pour conclure, nous considérerons les conséquences pour une philosophie de la pratique des mathématiques d’accepter les preuves diagrammatiques comme des preuves valides.
