|
NOUS AVONS LU
La révolution des mathématiques
Comment l'ordinateur démontre les théorèmes
Les défis du XXIe siècle
Les Dossiers de La Recherche n° 46, déc.-janv. 2011.
Bon nombre de mathématiciens ne pourraient plus, aujourd'hui, se passer d'ordinateurs. Ceux ci permettent de prospecter des champs inconnus, sont indispensables à certaines démonstrations et vérifient des démonstrations complexes obtenues par des voies plus classiques. Un dossier particulièrement intéressant sur une symbiose exemplaire entre deux disciplines pourtant bien distinctes. On pourra en particulier lire les articles de Gérard Berry : « L'informatique renouvelle les mathématiques » et de Gilles Dowek : « L'inévitable recours à l'informatique ».
___________________
Association EPI
Janvier 2012
|
