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 27 août 2010 à 15:33, par DanielAugot

  Hop, un lien vers les preuves en informatique

  Attention, cela n’est pas de même nature que le théorème PCP qui relève de la théorie de la complexité. De plus dans ce dernier, seules les preuves de taille polynomiale peuvent être encodées pour être vérifiée de manière probabiliste.

  Amitiés.

  Répondre à ce message