Séminaire Histoire et Philosophie des Sciences
mardi 17 septembre 2019 à 17:30 - salle de cours SC-12.01
Jean-Paul Van Bendegem (Vrije Universiteit Brussel)
Une nouvelle philosophie pour les pratiques mathématiques
En 1976 Proofs and Refutations d'Imre Lakatos est publié et une nouvelle vague dans la philosophie des mathématiques s'annonce. On se rend compte que les pratiques mathématiques concernent plus que les preuves mathématiques mais aussi la "quête" qui aboutit à une preuve, les calculations, les essais, les "explorations",..., sans oublier la situation sociale dans laquelle se trouve un(e) mathématicien(ne). Les preuves elles-mêmes deviennent des objets de recherche complexes. On discute de la beauté, la force explicative, la profondeur,... d'une preuve. Mettant ensemble tous ces éléments, on ne peut que se poser la question quelles sont les implications pour la philosophie des mathématiques. On peut bien s'imaginer que les idées de certitude et nécessité dans la pensée mathématique reçoivent une nouvelle interprétation, qui rend les mathématiques plus mystérieuses que jamais.