Les métamorphoses du calcul : une étonnante histoire de mathématiques
DOWEK, Gilles
Depuis Euclide, on définit une démonstration comme un raisonnement, construit à l'aide d'axiomes et de règles de déduction. La révolution qui a consisté, depuis les années 1970, à remettre en cause la prééminence du raisonnement sur le calcul, nous a amené à repenser la notion même de démonstration. Elle renouvelle le dialogue des mathématiques avec les sciences de la Nature, comme la physique ou la biologie, et en particulier la vieille question de la déraisonnable efficacité des mathématiques dans ces sciences. Elle nous laisse enfin entrevoir de nouvelles manières de résoudre des problèmes mathématiques, s'affranchissant de certaines limites arbitraires que la technologie du passé a imposé à la taille des démonstrations : les mathématiques sont peut-être en train de partir à la conquête d'espaces jusqu'alors inaccessibles.
<br>Chercheur chez Inria, l'Institut national de recherche en informatique et en automatique, et enseignant à l'École normale supérieure de Paris-Saclay, Gilles Dowek est membre du conseil scientifique de la Société Informatique de France (SIF) et de la Commission de réflexion sur l'éthique de la recherche en sciences et technologies du numérique de l'alliance des sciences et technologiques du numérique (CERNA). Il a à coeur d'expliquer l'informatique et de faire comprendre les questions de société qui se posent au temps du numérique. Auteur au Pommier, du récent Temps des algorithmes (avec Serge Abiteboul), il est également le rédacteur d'une chronique mensuelle dans Pour la science, « Homo sapiens informaticus ».
Accès à la notice sur le site du portail documentaire de Météo-France