Télécharger le programme
Dernière minute...

Marathon des Sciences
Samedi 3 août 2019
<< Retour au programme général


Transformations de la vérité mathématique

Samedi 3 à 13h - Centre culturel - Fleurance
Transformations de la vérité mathématique Les géométries non euclidiennes (au début du XIXe siècle), le théorème de Gödel (en 1931) et les premières démonstrations vérifiées par un ordinateur (1967) ont chacun après l'autre transformé la notion de vérité mathématique, mais en réaffirmant paradoxalement à chaque fois, son caractère absolu.

Gilles DOWEK

Gilles DOWEK

Gilles DOWEK est chercheur à l'Inria et professeur attaché à l'École normale supérieure de Paris-Saclay. Ses travaux portent sur la formalisation des mathématiques, les systèmes de traitement des démonstrations, la physique du calcul, la sûreté des systèmes aéronautiques et spatiaux, et l'épistémologie et l'éthique de l'informatique. Il est l'auteur de plusieurs livres de médiation.