Vous allez adorer les maths
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é.
À Propos
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.
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.