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 à 14:06, par Julien Olivier

  Je ne comprends pas bien votre objection : qu’un ordinateur soit capable de vérifier les preuves des quatre médaillés de cette année ne veut pas dire qu’un programme informatique soit capable de produire ces preuves non ?

  Un prof nous a dit une fois (cela remonte à loin et en plus je n’étais pas très bon donc si c’est une ânerie n’hésitez pas à corriger) : « Théoriquement, un ordinateur est capable d’énumérer tous les théorèmes de la théorie des groupes. Mais si on avait fait tourner cet ordinateur depuis 2000 ans, il n’en serait qu’à 1x1=1 ».

  Ce qu’il faut éviter c’est que les journaux ne publient la preuve P’ qui, j’imagine, serait absolument incompréhensible pour un humain.

  Répondre à ce message