Gérard Berry
Collège de France
http://www-sop.inria.fr/members/Gerard.Berry/
Date(s) : 21/03/2017 iCal
11 h 00 min - 12 h 00 min
Principe de la logique intuitionniste : au lieu de résoudre des équations logiques, se contenter de propager des faits prouvés.
Catégories