L’objet de cet essai est l’accueil des entités mathématiques dans l’architecture des modes d’existence proposée par Bruno Latour dans le cadre de son ontologie pluraliste du monde moderne [Latour 2012]. Les travaux de Reviel Netz sur l’émergence des mathématiques grecques [Netz 1999] et de Charles Sanders Peirce sur la dimension diagrammatique de l’activité mathématique [Peirce 1933-1958], [Peirce 1976] sont employés pour proposer une réponse dans le cadre d’une conception empirique des mathématiques basée sur la notion d’expérience chère à William James (...) [James 2007] et inspirée par certains aspects de la philosophie de Per Martin-Löf [Martin-Löf 1987]. Cette approche permet de penser la solide certitude dont la démonstration dote les résultats mathématiques tout en invalidant son interprétation comme la marque d’un accès direct à une vérité absolue et transcendante. (shrink)