logo site
Institut de Mathématiques de Marseille, UMR 7373
Slogan du site
Descriptif du site
Dans le cadre du 4ème cycle de conférences MPCI, Laurent Regnier donnera un exposé sur le "Théorème d’incomplétude de Gödel", le mercredi 23 mai 2018, à 11h
Article mis en ligne le 14 mai 2018

par Lozingot Eric

à la Médiathèque de l’École Centrale de Marseille.

-
Site web : L’INFORMATIQUE AU COEUR DES SCIENCES
Quatrième cycle de conférences MPCI – Marseille, 22 et 23 mai 2018
-
Journée du Mercredi 23 mai : « Informatique et Société, Mathématiques, Modélisation »
-
Lieu : médiathèque de l’École Centrale Marseille (voir plan).
-
PROGRAMME
- 9h30 : Informatique et Société par Gilles Dowek (Inria, ENS Paris-Saclay)
- 11h : Le théorème d’incomplétude de Gödel par Laurent Régnier (I2M, Aix-Marseille Université)
- 12h30 : déjeuner
- 14h : La mécanisation du raisonnement mathématique par Laurent Thery (Inria)
- 15h30 : La modélisation des instruments de musique en acoustique par Christophe Vergez (LMA)
- 17h : fin de la journée
-
-
-