Modalities of mathematical objectivation
Résumé
Une théorie mathématique ne se réduit pas à un système de concepts. Elle tient à des techniques qui permettent d'établir des enchaînements qui se présentent sous la forme d'une objectivité : une sorte de réalité qui, tout en procédant génétiquement de ces concepts, en est actuellement indépendante et en montre de ce fait les limites et le pouvoir. Le problème d'établir la nature logique de cette objectivité a été un des problèmes les plus classiques de la philosophie des mathématiques et est encore au centre de débats actuels en philosophie des mathématiques. Nos journées ont visé à faire le point de cette discussion en comparant des approches différentes, propres à des chercheurs provenant du monde anglo-saxon et émanant de l'école française.