La prochaine séance du colloquium de mathématiques aura lieu le jeudi 21 mars à 16h40, en Amphi B de l’UFR ST.
L’exposé sera donné par Frédéric PATRAS (Université de Nice Sophia-Antipolis), sur le sujet :
Résumé :
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.