Résume | La théorie synthétique des probabilités vise à donner un cadre axiomatique abstrait pour la manipulation d'objets probabilistes/nondéterministes. Le principe est de se focaliser sur le comportement des espaces mesurables et noyaux de probabilité vus comme éléments d'une même structure ambiante, plutôt que sur les sigma-algèbres. En m'appuyant sur un article fondateur de Tobias Fritz datant de 2020, je présenterai une théorie du premier ordre sur ce thème. Si le temps le permet, je mentionnerai des liens avec la théorie de la programmation probabiliste. |