Dans cet épisode, Mme Hourya Benis Sinaceur explore le domaine de la logique formelle et s’attarde sur la figure de Jean Cavaillès auquel elle a consacré de nombreux travaux. Elle défend l’idée que la métamathématique est une mathématique.
Émission avec avec Mme. Hourya Benis Sinaceur, Directrice de recherches émérite au CNRS.
Passage le 4 février 2026
Mme. Hourya Benis Sinaceur : La métamathématique comme mathématique.
Mr. Laamri is a Moroccan mathematician who specializes in nonlinear analysis and its applications to partial differential equations. He is also interested in the ways mathematics is disseminated and pays tribute to the great mathematician Alexander Grothendieck.
