-
Nom Commun -
ÉDUCATION-Enseignements Supérieurs |
SANTÉ-Médecine |
COMMUNICATIONS MÉDIATIQUES-Presse -
Position médiale -
Morphosémantique -
29/02/2016 -
Les Echos -
AUTEUR NON IDENTIFIÉ -
Lien -
Contexte : "Cinquante ans après la parution du « Odd Order Theorem » s' est produit un événement considérable pour l' histoire des sciences : une équipe d' informaticiens-mathématiciens-logiciens ( essentiellement française ) a annoncé , puis détaillé , une vérification par ordinateur de la démonstration de Feit-Thompson . D' autres preuves mathématiques avaient été récemment vérifiées par ordinateur , mais il s' agissait là , et de loin , de la plus difficile et embrouillée . Un travail de titan , six ans , 170.000 lignes de code . En même temps que cette annonce , paraissait un ouvrage très particulier , « Homotopy Type Theory » : 600 pages écrites de façon collective en six mois par 40 scientifiques de tout âge et de toute origine ,"
