Comment les ordinateurs font voler en éclats les règles fondamentales des mathématiques

Pierre-Louis Curien

0:00min

100%

0:00min

Le médaillé Fields de 2002 souhaite repenser les théories des mathématiques qui font aujourd'hui autorité.

MOTS-CLES

Maths , Recherche , Théorie

THEMATIQUES

Société, Science

À 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

1Bruxelles : "Molenbeek, aimez-la voilée ou quittez-là !"

2Immigration : la Cour de justice européenne « castre » encore un peu plus la souveraineté des États de l’UE

1€ le premier mois Je m'abonne 12€/mois ensuite.
Annulez ou mettez en pause à tout moment.

3Et si le refus par François Bayrou d’assumer toute responsabilité dans l’état des finances publiques était surtout un aveu d’impuissance de l’Etat

4Rentrée scolaire : l’école est-elle suffisamment organisée pour faire face au nombre d’élèves issus de l’immigration dans les classes ?

5Et combien coûterait une nouvelle dissolution à la France ?

6Impôts sur les plus riches : petits retours d’expérience venus de Norvège, d’Espagne et du Royaume-Uni

7Martin Gurri : "La France s’entretient d’illusions sur un déclin en douceur mais se trouve en réalité au bord du précipice"