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é.
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.
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.