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 Émergence(s) « Brouillons
mathématiques » dirigé par Emmylou
Haffner. Je suis 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.).
2023
- 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)
- Informational equivalence but computational differences? Herbert Simon on
representations in scientific practice, Minds and
Machines, 2023. (shareLink, AAM, doi)
- 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)
2022
- 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)
- Are Larger Studies Always Better? Sample Size and Data Pooling Effects in
Research Communities (avec Cyrille Imbert).
PSA 2022.
2021
- Calculus as Method or Calculus as Rules? Boole and Frege on the aims of a
logical calculus (avec Dirk Schlimm). Synthese 199(5–6):11913–11943, 2021. (shareLink, doi)
2020
- Multiple Readability in Principle and Practice (avec Dirk Schlimm). Logique et analyse 251:231–260, 2020. (AAM, doi)
- Review of New Light on George Boole, by D. MacHale and Y.
Cohen. Historia Mathematica
51:91–93, 2020. (doi)
Jusqu’en 2019
- Les représentations en mathématiques. Thèse de doctorat (quelques coquilles corrigées, janvier 2019).
- 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.
- A conversation with Sun-Joo Shin. APhEx 17, 2018.
À paraître
- John Venn’s Pluralism Regarding Logical Forms
(avec Dirk Schlimm). E. Ficara,
A.-S. Heinemann et A. Reichenberger (éds.), Revisiting History and
Philosophy of Logic and Mathematics. Mélanges en l’honneur de Volker Peckhaus.
College publications, à paraître (2024?).
- 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). À paraître
dans Genesis, vol. 60.
- Le fonds George-Henri Halphen à la bibliothèque de l’Institut de France (avec
Nicolas Michel). À paraître
dans Genesis, vol. 60.
Manuscrits disponibles sur demande
- Interpretation and uninterpretability in Boole: A reassessment.
- Uninterpretables and how to interpret them: Boole’s symbols through the eyes
of Venn (avec Dirk Schlimm).
- Notational differences, exploration and discovery in mathematics.
- ‘Eine prachtvolle Machine’: Notational innovation and the genesis of the
Schubert calculus. (avec Nicolas Michel)

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
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.