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

Pierre-Louis Curien

0:00min

100%

MOTS-CLES

maths , recherche , théorie

THEMATIQUES

Science

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

1L’Europe, cette championne auto proclamée de la transition énergétique qui fait pourtant nettement moins bien que des puissances accusées d’être des attentats à la planète

23I/ATLAS : une mystérieuse accélération de l’objet stellaire fonçant vers la Terre fait dire à un astronome de Harvard qu’il s’agit… d’extra-terrestres

3L’Allemagne prévoit des contrôles médicaux pour tous les hommes en âge d’être appelés sous les drapeaux

4Laeticia Hallyday se sucre un milliardaire, Jennifer Aniston retape un coach; Madonna surkiffe Rosalía, Katy Perry sparatomise Orlando Bloom; Rihanna & A$AP Rocky se fourrent à Paris, Charlene frandouille à Monaco, Marlene Schiappa instaposte son 3ème

5Les entreprises, grandes bénéficiaires d’un système fiscal injuste ? Tous les chiffres pour comprendre pourquoi c’est… 100% FAUX

6Donald Trump fait fuir une partie des universitaires américains vers l’Europe mais vers où exactement ?

7Dette publique : la France, future « ruine fumante », craint le patron de Bpifrance

A PROPOS DES AUTEURS

Pierre-Louis Curien

Directeur de Recherche au CNRS

Populaires

1L’Europe, cette championne auto proclamée de la transition énergétique qui fait pourtant nettement moins bien que des puissances accusées d’être des attentats à la planète

23I/ATLAS : une mystérieuse accélération de l’objet stellaire fonçant vers la Terre fait dire à un astronome de Harvard qu’il s’agit… d’extra-terrestres

3L’Allemagne prévoit des contrôles médicaux pour tous les hommes en âge d’être appelés sous les drapeaux

5Les entreprises, grandes bénéficiaires d’un système fiscal injuste ? Tous les chiffres pour comprendre pourquoi c’est… 100% FAUX

6Donald Trump fait fuir une partie des universitaires américains vers l’Europe mais vers où exactement ?

7Dette publique : la France, future « ruine fumante », craint le patron de Bpifrance