Colloquium en 2026

À la fin des années 1960, Furstenberg a proposé une série de conjectures devenues célèbres, visant à formaliser des phénomènes de rigidité et d’indépendance pour certains systèmes dynamiques classiques, comme la multiplication par un entier sur le cercle. De façon analogue, l’étude des nombres transcendants est dans une large mesure mue par la recherche de tels phénomènes. Dans cet exposé, j'expliquerai comment la théorie des automates finis concourt à la confluence de ces deux domaines.

This talk will address the historical controversy between classical and constructive mathematics and how it has evolved into a fascinating interplay between these two forms of mathematical reasoning. I will argue that classical mathematicians have good reasons to care more deeply about constructive mathematics.