Après des études de mathématiques et de philosophie, un doctorat d’histoire et de philosophie des mathématiques à l’université Paris 1 Panthéon-Sorbonne, puis des post-docs à l’université McGill (Montréal) et aux Archives Henri-Poincaré (Nancy), je suis actuellement chercheur contractuel à l’École Normale Supérieure (ITEM, équipe Manuscrits Scientifiques) dans le cadre du projet ANR « Bourbaki, nouvelles archives, nouvelles approches ». J’ai été visiting fellow au Center for Philosophy of Science de l’université de Pittsburgh pour le semestre d’automne 2023.

Recherche

Le thème d’ensemble de mes travaux est la manière dont les mathématiques sont exprimées et écrites (notations, terminologie, diagrammes, formes de structuration textuelle, etc.).

Publications

1. Boole’s Late Manuscript ‘On the Nature of Thought’: A Rewriting of the Laws of Thought Without Uninterpretables. History and Philosophy of Logic, 2025. (doi, AAM)
2. Un « ouvrage accompli de la statuaire grecque ». Positionnement, forme et contenu dans la genèse d’un mémoire mathématique de G.-H. Halphen (avec Nicolas Michel). Genesis 60: Sciences exactes au brouillon, 85–101, 2025. (doi)
3. Le fonds George-Henri Halphen à la bibliothèque de l’Institut de France (avec Nicolas Michel). Genesis 60: Sciences exactes au brouillon, 103–112, 2025. (doi)
4. Signs as a Theme in the Philosophy of Mathematical Practice. B. Sriraman (éd.), Handbook of the History and Philosophy of Mathematical Practice, Springer, 2023. (AAM, doi)
5. Informational equivalence but computational differences? Herbert Simon on representations in scientific practice, Minds and Machines, 34(1 supp.):93–116, 2024. (shareLink, AAM, doi)
6. John Venn’s Pluralism Regarding Logical Forms (avec Dirk Schlimm). E. Ficara, J. Franke-Reddig, A.-S. Heinemann, et A. Reichenberger (éds.), Rethinking the History of Logic, Mathematics, and Exact Sciences. Mélanges en l’honneur de Volker Peckhaus. Vol. 2, 407–447, College publications, 2025. (AAM)
7. Are Larger Studies Always Better? Sample Size and Data Pooling Effects in Research Communities (avec Cyrille Imbert). PSA 2022.
8. Are Euclid’s Diagrams ‘Representations’? On an argument by Ken Manders. M. Zack et D. Schlimm (éds.), Research in History and Philosophy of Mathematics. The CSHPM 2019-2020 Volume, Birkhäuser, 2022. (shareLink, doi, AAM)
9. Calculus as Method or Calculus as Rules? Boole and Frege on the aims of a logical calculus. Synthese 199(5–6):11913–11943, 2021. (shareLink, doi)
10. Multiple Readability in Principle and Practice (avec Dirk Schlimm). Logique et analyse 251:231–260, 2020. (AAM, doi)
11. Le rôle des notations dans la découverte de l’analogie des puissances et des différences de Leibniz. Almagest 14(2):256–266, 2023. Conférence de 2017. (doi)
12. Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams. P. Chapman, G. Stapleton, A. Moktefi, S. Perez-Kriz and F. Bellucci (eds.), Diagrammatic Representation and Inference, Springer, 2018, 382–389.

Comptes rendus et autres

1. Review of New Light on George Boole, by D. MacHale and Y. Cohen. Historia Mathematica 51:91–93, 2020. (doi)
2. A conversation with Sun-Joo Shin. APhEx 17, 2018.

Traductions

1. M. Detlefsen, La pureté comme idéal de démonstration, dans M. Detlefsen, Idéaux de preuves. Œuvres choisies (coll. Mathesis), éd. par E. Haffner, D. Rabouin et A. Arana, Vrin, 2024, 185–202. (Trad. de Purity as an Ideal of Proof, P. Mancosu (ed.), The Philosophy of Mathematical Practice, OUP, 2008, 179-197.)
2. P. Mancosu, S. Galvan et R. Zach, Introduction à la théorie de la démonstration, Vrin, Paris, 2022. (Révision de la traduction française.)

Thèse de doctorat

1. Les représentations en mathématiques. Thèse de doctorat (quelques coquilles corrigées, janvier 2019).

Travail éditorial

Depuis 2021, je suis co-éditeur des Annales de la Société canadienne d’histoire et de philosophie des mathématiques. Nous publions un volume d’articles par an.

Volume 2021   ·   Volume 2022   ·   Volume 2023   ·   Volume 2024 (sous presse)

Textes d’exposition

Quelques vieux textes d’exposition, pour le cas où ils pourraient servir:
RCA₀ et l’analyse calculable. Quelques pages sur les liens entre RCA₀ et l’analyse calculable (2013).
Opérades et complexes de graphe. D’après Kontsevich (mémoire de master, 2012).
Cochains. Sur l’homotopie rationnelle, d’après Quillen and Sullivan (mémoire de master, 2011).
Calculabilité en analyse. Quadrature 72:36–40, 2009.

Enseignement

Documents de cours (accès restreint) : en 2022-2023, j’assure les cours de Logique (L3 S6) et de Complétude et indécidabilité (M1 S2) à l’université Paris 1 Panthéon-Sorbonne.