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 24 août 2010 à 16:07, par Ilies Zidane

  Résultat fort intéressant (théoriquement), mais comme vous le dites, je doute qu’il puisse exister un jour un algorithme qui vérifie des preuves « sérieuses ». Une petite question : la construction de P’ est t-elle déterministe ?

  Répondre à ce message