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 également chercheur
invité dans le groupe d’histoire des mathématiques de l’université de St Andrews.
Recherche
- Signs as a Theme in the Philosophy of Mathematical
Practice (version préliminaire du 13 avril 2023, à paraître dans
le Handbook of the History and Philosophy of Mathematical Practice, Bharath
Sriraman, éd.).
- Informational equivalence but computational differences? Herbert Simon on
representations in scientific practice, Minds and
Machines, 2023. (doi, AAM)
- Are Larger Studies Always Better? Sample Size and Data Pooling Effects in
Research Communities (avec Cyrille Imbert). PSA 2022.
- John Venn’s Pluralism Regarding Logical Forms (avec Dirk Schlimm), à paraître en 2023.
- Are Euclid’s Diagrams ‘Representations’? On an argument by Ken Manders. Maria Zack and Dirk
Schlimm (éds.), Research in History and Philosophy of Mathematics. The CSHPM
2019-2020 Volume, Birkhäuser, 2022.
(doi, AAM)
- Calculus as Method or Calculus as Rules? Boole and Frege on the aims of a logical calculus (avec Dirk Schlimm). Synthese, 2021. (doi)
- Multiple Readability in Principle and Practice (avec Dirk Schlimm). Logique et analyse 251:231–260, 2020. (doi)
- Le rôle des notations dans la découverte de l’analogie des puissances et des
différences de Leibniz. À paraître, C. Martinez-Adame et V. Jullien (éds.), Trois rencontres franco-mexicaines en histoire et philosophie des sciences [titre à confirmer], 2023.
- 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.
Les représentations en mathématiques. Thèse de doctorat soutenue le 16 déc. 2018. (Version corrigée.)
Articles d’exposition et comptes-rendus
- Review of New Light on George Boole, by D. MacHale and Y. Cohen. Historia Mathematica 51:91–93, 2020.
- A conversation with Sun-Joo Shin. APhEx 17, 2018.
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.