Dans le même genre poussé à l'extrême, il y a l'équipe de Georges Gonthier de chez Microsoft Research qui a prouvé le théorème des quatre couleurs et le théorème de Feit-Thompson en Coq... Deux réussites monstrueuses des mathématiques assistées par ordinateur ! Pas grand chose à voir avec Windows, heureusement.
[^] # Re: un grand contributeur à l'algorithmique répartie
Posté par Perthmâd . En réponse au journal Et le prix Turing revient à .... Évalué à 7.
Dans le même genre poussé à l'extrême, il y a l'équipe de Georges Gonthier de chez Microsoft Research qui a prouvé le théorème des quatre couleurs et le théorème de Feit-Thompson en Coq... Deux réussites monstrueuses des mathématiques assistées par ordinateur ! Pas grand chose à voir avec Windows, heureusement.