Certes, l'épistémologie se distingue de toutes les réflexions d'ordre éthique ou politique qui interrogent la science et entendent contribuer à la réponse individuelle et collective à la question pratique « Que faire de la science ? ». Elle ne prétend pas travailler à la constitution d'une « conscience » de la science. Mais, en mathématique comme ailleurs, cette restriction préliminaire ne suffit pas à définir ce qu'elle doit être, quelle est sa tâche, comment elle peut prétendre accompagner la science de façon intéressante.
À quoi sert l'épistémologie ? C'est sans doute, de toute manière, ce qui intrigue le plus le public étranger à cette démarche, qui ne comprend pas bien a priori pourquoi le savoir positif, en l'occurrence la mathématique, n'est pas suffisant, pourquoi une partie de l'énergie de l'intellect humain se fixe sur des problèmes qui se situent un peu à côté de la mathématique sans l'oublier, et qui rencontrent généralement la philosophie, dont l'utilité n'est sans doute pas claire pour la plupart.
À cette vaste question, la réponse ne pourrait être la même pour toutes les variétés d'épistémologie de la mathématique envisagées dans l'article qui suit.
Une première remarque est que l'intérêt pour les questions d'épistémologie de la mathématique vient naturellement aux mathématiciens et aux logiciens eux-mêmes, ce qui semble démontrer qu'il n'y a rien d'artificiel ou de contraire à l'élan scientifique dans ces interrogations. Brouwer, Hilbert, Hermann Weyl (1885-1955), Russell, Frege, Jaakko Hintikka (né en 1929), Martin-Löf, Thom, parmi bien d'autres, sont tous des gens qui ont suivi un chemin épistémologique au sens large à partir de leur pratique – illustre – de la science mathématique ou logique.
Une seconde remarque, connexe, est que l'on ne peut pas, en général, priver l'homme d'un désir de comprendre de quoi il retourne dans ce qu'il fait, désir qui ne se réduit pas à celui d'obtenir des vérités positives. Non seulement ce désir est incoercible, et cor […]
… pour nos abonnés, l'article se prolonge sur 4 pages…
