David Waszek

  • Chercheur post-doctorant, CNRS

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 un post-doctorat à l’université McGill (Montréal), je suis actuellement post-doctorant au CNRS, au laboratoire AHP–PReST, dans le cadre du projet ANR CRISP.

Recherche

  1. Are Euclid’s Diagrams ‘Representations’? On an argument by Ken Manders (manuscrit auteur). Maria Zack (ed.), CSHPM Annals, Springer, à paraître en 2021.
  2. Calculus as Method or Calculus as Rules? Boole and Frege on the aims of a logical calculus (avec Dirk Schlimm). Synthese, 2021. (doi)
  3. Multiple Readability in Principle and Practice (avec Dirk Schlimm). Logique et analyse 251:231–260, 2020. (doi)
  4. Informational equivalence but computational differences. Herbert Simon on representations in scientific practice (manuscrit).
  5. Le rôle des notations dans la découverte de l’analogie des puissances et des différences de Leibniz. C. Martinez-Adame et V. Jullien (éds.), Trois rencontres franco-mexicaines en histoire et philosophie des sciences [titre à confirmer], 2022.
  6. 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

  1. Review of New Light on George Boole, by D. MacHale and Y. Cohen. Historia Mathematica 51:91–93, 2020.
  2. 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

En 2021-2022, j’assure un cours d’histoire et philosophie des mathématiques et de la logique dans le cadre du master LoPhiSC (université Paris 1 Panthéon-Sorbonne). Page du cours (accès restreint).