Idéaux de preuves : oeuvres choisies. Vol. 1

Le philosophe américain Michael Detlefsen (1948-2019) a développé une réflexion profonde sur les rapports entre philosophie et mathématiques, en particulier chez des mathématiciens comme Dedekind, Hilbert, Poincaré ou Brouwer. Titulaire d'une chaire d'excellence en France de 2007 à 2011, il y a mené un grand programme d'étude des « idéaux de preuves », c'est-à-dire des différentes valeurs à l'oeuvre dans l'appréciation des preuves mathématiques. Ce fut l'occasion pour lui de nouer des liens durables avec la communauté française de philosophie des mathématiques, dans laquelle il joua un rôle structurant. Ce volume, le premier d'un recueil de ses principaux articles, témoigne de cette influence. Il offre au lecteur français la possibilité d'accéder à une oeuvre importante de la philosophie contemporaine des mathématiques.