Preuves mathématiques et technologie

Opinion (avril 2015)

J'ai écrit un court texte (consultable en cliquant ici) en réaction à une chronique de Jean-Philippe Villeneuve dans le dernier Bulletin AMQ (Vol LV no 1, mars 2015). La chronique (et le texte subséquent) s'interrogent sur la valeur d'une preuve assistée par ordinateur.

En référence, je mets notamment des liens vers
• une conférence de Cédric Villani sur La meilleure et la pire des erreurs
de Poincaré
• un documentaire de Simon Singh sur Le dernier théorème de Fermat