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


   Cédric Villani       Andrew Wiles

   Nouvelles suivantes  


Nouvelles de 2018

Nouvelles de 2017

Nouvelles de 2016

Nouvelles de 2015

Nouvelles de 2014

Nouvelles de 2013

Nouvelles de 2012