24 août 2010

15 messages - Retourner à l'article

Vérifier une preuve : la conférence de Irit Dinur

Tribune
L’une des conférences plénières les plus appréciées par les participants de l’ICM (jusqu’à présent) a été celle de Irit Dinur.
Le 24 août 2010, par Étienne Ghys - 15 commentaires

Voir tous les messages - Retourner à l'article

  • Vérifier une preuve : la conférence de Irit Dinur

    le 2 septembre 2010 à 15:50, par Pierre Lescanne

    Dans premier temps, la formalisation en COQ de la démonstration du théorème de Feit et Thompson qui est une étape vers celui de la classification des groupes finis a bien avancé et je rappelle que John Griggs Thompson a reçu pour cela la médaille Fields en 1970.

    Répondre à ce message
Pour participer à la discussion merci de vous identifier : Si vous n'avez pas d'identifiant, vous pouvez vous inscrire.

Actualités des maths