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

Article cover

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

Pierre-Louis Curien

0:00min

100%

100%

MOTS-CLES

maths , recherche , théorie

THEMATIQUES

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

1Ces chiffres et graphiques qui soulignent l’incroyable violence de l’effondrement économique allemand

2Des impôts trop lourds et trop complexes : et si les changements attendus par les Français n’avaient finalement pas grand-chose à voir avec les obsessions de Piketty ou de Zucman ?

3Des scientifiques dévoilent à quoi ressembleront les Occidentaux moyens en 2050 et ça fait peur

4Houria Bouteldja (Indigènes de la République) : « Si nous sommes homophobes et antisémites, c’est la faute du colonialisme »

5En Allemagne, la réforme des retraites plonge la coalition de Friedrich Mertz dans la crise

6Le trou de la couche d’ozone a quasi disparu et voila comment le monde y est parvenu

7Les magistrats sont-ils vraiment hors de contrôle… ou le produit de 8 ans de renoncements ET DE NOMINATIONS macronistes ?

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

1Ces chiffres et graphiques qui soulignent l’incroyable violence de l’effondrement économique allemand

2Des impôts trop lourds et trop complexes : et si les changements attendus par les Français n’avaient finalement pas grand-chose à voir avec les obsessions de Piketty ou de Zucman ?

3Des scientifiques dévoilent à quoi ressembleront les Occidentaux moyens en 2050 et ça fait peur

4Houria Bouteldja (Indigènes de la République) : « Si nous sommes homophobes et antisémites, c’est la faute du colonialisme »

5En Allemagne, la réforme des retraites plonge la coalition de Friedrich Mertz dans la crise

6Le trou de la couche d’ozone a quasi disparu et voila comment le monde y est parvenu

7Les magistrats sont-ils vraiment hors de contrôle… ou le produit de 8 ans de renoncements ET DE NOMINATIONS macronistes ?