VOUS ALLEZ ADORER LES MATHS
5 juin 2015
Comment les ordinateurs font voler en éclats les règles fondamentales des mathématiques
Le médaillé Fields de 2002 souhaite repenser les théories des mathématiques qui font aujourd'hui autorité.
Ajouter Atlantico en favori sur GoogleA PROPOS DES AUTEURS
Pierre-Louis Curien
Directeur de Recherche au CNRS
Pierre-Louis Curien est directeur de recherche au CNRS. Ancien élève de l’Ecole Normale Supérieure, et après des études de mathématiques, il a fondé en 1999 le laboratoire Preuves, Programmes et Sytèmes (CNRS et Université Paris Diderot), et dirige maintenant au sein de ce laboratoire une équipe commune INRIA (nommée pi;r2) qui pilote le développement du logiciel Coq et mène des études théoriques autour de ce logiciel.
Populaires
A PROPOS DES AUTEURS
Pierre-Louis Curien
Directeur de Recherche au CNRS
Pierre-Louis Curien est directeur de recherche au CNRS. Ancien élève de l’Ecole Normale Supérieure, et après des études de mathématiques, il a fondé en 1999 le laboratoire Preuves, Programmes et Sytèmes (CNRS et Université Paris Diderot), et dirige maintenant au sein de ce laboratoire une équipe commune INRIA (nommée pi;r2) qui pilote le développement du logiciel Coq et mène des études théoriques autour de ce logiciel.