Séminaire Histoire et Philosophie des Sciences :

Le 17 septembre 2019 à 17:30 - salle de cours SC-12.01

Présentée par Van Bendegem Jean-Paul - 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.