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

1. 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)
2. Informational equivalence but computational differences? Herbert Simon on representations in scientific practice, Minds and Machines, 2023. (shareLink, AAM, doi)

2022

1. 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)
2. Are Larger Studies Always Better? Sample Size and Data Pooling Effects in Research Communities (avec Cyrille Imbert). PSA 2022.

2021

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

1. Multiple Readability in Principle and Practice (avec Dirk Schlimm). Logique et analyse 251:231–260, 2020. (AAM, doi)
2. Review of New Light on George Boole, by D. MacHale and Y. Cohen. Historia Mathematica 51:91–93, 2020. (doi)

2019

1. Le rôle des notations dans la découverte de l’analogie des puissances et des différences de Leibniz. Almagest, numéro spécial éd. par C. Martinez-Adame et V. Jullien, Trois rencontres franco-mexicaines en histoire et philosophie des sciences. (Texte d’une conférence de 2017, publication bloquée depuis 2019, à paraître fin 2023 ou début 2024?).
2. Les représentations en mathématiques. Thèse de doctorat (version corrigée, janvier 2019).

2018

1. 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.
2. A conversation with Sun-Joo Shin. APhEx 17, 2018.

À paraître

1. 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 (2023?).

Manuscrits disponibles sur demande

1. 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)
2. Interpretation and uninterpretability in Boole: A reassessment.
3. Uninterpretables and how to interpret them: Boole’s symbols through the eyes of Venn (avec Dirk Schlimm).
4. Notational differences, exploration and discovery in mathematics.
5. ‘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.

Le volume 2021 est maintenant disponible.

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.