![[La généralité, page 19 de la Begriffsschrift de Gottlob Frege, 1879]](http://epiphymaths.univ-fcomte.fr/phicogmaths/patras/frege-000.png)
Expression de la généralité dans la Begriffsschrift de Gottlob Frege, 1879.
Que peut apporter la philosophie des mathématiques aux « mathématiciens au travail » ? Plusieurs choses sans doute: ainsi, une meilleure compréhension de leur pratique, de la nature des objets qu’ils considèrent, de ce qu’est leur discipline et des objectifs qu’elle poursuit. Autant de questions assez fondamentales qu’on néglige trop souvent de poser et dont le traitement passe par l’utilisation d’outils conceptuels et de méthodes assez variées. L’exposé en donnera quelques exemples, de Frege à Husserl en passant par Grothendieck et la philosophie de la pratique mathématique contemporaine.