Léhonard Euler (1707-1783) est le mathématicien le plus productif de tous les temps. Il nous a laissé 30 000 pages manuscrite + 2 500 pages de correspondance soit près de 900 livres et articles sur des domaines très variés des mathématiques. Dans ses 17 dernières années; il a plus écrit que dans les reste de sa carrière démentant ainsi les propos que tiendra plus tard le mathématicien Godfrey Harold Hardy selon lesquels un mathématicien produit l'essentiel de son travail jeune.
Le Darmout College s'est lancé dans la numérisation de cette oeuvre sont certains passages sont hélas déteriroré et permet la lecture dans le texte original (principalement en latin) d'un partie des articles plus de quelques traductions :
http://math.dartmouth.edu/~euler/
Il y a quelques jours, a été annoncé l'achèvement de la description d'un objet mathématique,
E8, un
groupe de Lie, structure inventée (ou découverte si on est platonicien) il y a 120 ans par le mathématicien
Sophus Lie. Voir à ce sujet
l'article du Monde de 20 mars 2007.
L'originalité de cette avancée mathématique est qu'elle repose sur l'utilisation de plusieurs jours de calcul d'un super-ordinateur et que le résultat est une matrice comportant plus de 200 milliard d'entrées polynomiales (voir
The E8 calculation).
Mais quel peut être l'intérêt d'une telle description, inaccessible dans son intégralité à tout homme (60 Goctets de données compressées) ?
Continuer à lire "Démonstration et construction mathématique par ordinateur"
