Théorème d’incomplétude de Gödel

Carte non disponible

Date/heure
Date(s) - 23/05/2018
11 h 00 min - 12 h 30 min

Catégories Pas de Catégories


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

 

à 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).

[bleu]PROGRAMME[/bleu]

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



https://conf-mpci-2018.lis-lab.fr/?page_id=54

Olivier CHABROL
Posts created 14

Articles similaires

Commencez à saisir votre recherche ci-dessus et pressez Entrée pour rechercher. ESC pour annuler.

Retour en haut
Secured By miniOrange