Enquête sur les modes d’existence des êtres mathématiques

Résumé Fr En

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.

‪This essay inquires how mathematical beings could be inserted into the architecture of modes of existence proposed by Bruno Latour in the framework of his pluralist and renewed ontology of the modern world [Latour 2012]. An answer to this question is put forward with the aid of the work of Reviel Netz on the emergence of Greek mathematics [Netz 1999], and of Charles Sanders Peirce on the diagrammatic dimension of mathematical practice [Peirce 1933-1958], [Peirce 1976], in the framework of an empiric conception of mathematics based on the notion of experience according to William James [James 2007], and inspired by certain aspects of Per Martin-Löf’s philosophy [Martin-Löf 1987]. It provides a way of describing the firm certainty with which proofs endow theorems, while invalidating the interpretation of this certainty as the mark of a direct access to an absolute and transcendental truth.‪