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 des preuves sérieuses

    le 25 août 2010 à 00:12, par Pierre Lescanne

    Vous doutez qu’il puisse exister un jour un algorithme qui vérifie des preuves « sérieuses ». Et bien, il y a des gens qui pensent exactement le contraire et ça leur donne une excellente piste de recherche.

    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