La philosophie mathématique de Roger Apéry

Abstract

Pour qui s'intéresse à la philosophie des mathématiques, Roger Apéry incarne le défenseur de la mathématique constructive et l'adversaire résolu du formalisme et du bourbakisme. On sait moins qu'il est aussi l'un des premiers universitaires français à avoir fait la promotion de la théorie des catégories, pourtant hautement structuraliste et souvent jugée comme très formelle. L'objectif principal de notre étude est de préciser les conditions historiques et la teneur philosophique du double enthousiasme d'Apéry, afin de vérifier la cohérence d'une pensée libre, originale et attachante.Abstract: For anybody interested in philosophy of mathematics, Roger Apéry is well known for advocating constructive mathematics and for being a resolute opponent to formalism and Bourbakism. It is less known that he was also one of the first French academics to promote category theory, in spite of its highly structural and formal nature. This study attempts to trace the historical conditions and philosophical content of Apéry's double enthusiasm, in order to check the consistance of a free, original and attaching thought. * Remerciements. Merci à Mme Annie Hélot, conservatrice de la section sciences de la bibliothèque universitaire de Caen, qui m'a signalé l'existence du fonds Apéry et m'a permis de le consulter dans de très bonnes conditions. Merci à François Apéry et à Patrick Peccatte qui m'ont apporté d'intéressants témoignages. Merci à mes collègues et amis caennais Jean-Marc Guerrier, Michel Paugam, Claude Roche, François Kauffmann, Jacques Faisant, François Couchot, Daniel Christy et Gilles Damamme qui ont mis à ma disposition divers documents.

Roger Apéry: Un matemático muy radical

“…Les diverses définitions de la calculabilité tentées par les logiciens se sont révélées équivalentes 4 .…”