Les métamorphoses du calcul de Gilles Dowek.

Gilles Dowek a reçu le Grand Prix de philosophie 2007 de l’Académie française pour "Les métamorphoses du calcul"

Si, généralement, on fait débuter l’histoire des mathématiques aux Ve siècle avant J.C., son histoire s’avère plus ancienne, et serait même antérieure à l’écriture. Des premiers raisonnements mathématiques à la démonstration automatique utilisée en informatique, Gilles Dowek nous donne quelques éléments pour comprendre l’évolution des mathématiques

Présentation de l'éditeur:
Socle même de la méthode mathématique depuis l’Antiquité grecque, la notion de démonstration s’est profondément transformée depuis le début des années soixante-dix. Plusieurs avancées mathématiques importantes, pas toujours connectées les unes aux autres, remettent ainsi progressivement en cause la prééminence du raisonnement sur le calcul, pour proposer une vision plus équilibrée, dans laquelle l’un et l’autre jouent des rôles complémentaires.

Cette véritable révolution nous amène à repenser le dialogue des mathématiques avec les sciences de la nature. Elle éclaire d’une lumière nouvelle certains concepts philosophiques, comme ceux de jugement analytique et synthétique. Elle nous amène aussi à nous interroger sur les liens entre les mathématiques et l’informatique, et sur la singularité des mathématiques qui est longtemps restée l’unique science à ne pas utiliser d’instruments. Enfin, et c’est certainement le plus prometteur, elle nous laisse entrevoir de nouvelles manières de résoudre des problèmes mathématiques, qui s’affranchissent 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.

Auteur : Gilles Dowek
Collection :
broché, 256 pages (135 x 200) Prix : 23 €
ISBN/EAN : 2746503243 / 9782746503243

Mathématicien, logicien et informaticien, Gilles Dowek est professeur à l’Ecole polytechnique et chercheur au laboratoire d'informatique de l'Ecole polytechnique et à l'Institut National de Recherche en Informatique et en Automatique (INRIA). Auteur de plusieurs ouvrages de vulgarisation, dont deux « Petites Pommes du savoir » et un volume de la collection « le collège de la cité », il a obtenu en 2000 le Prix d’Alembert des lycéens de la Société Mathématique de France.
metamorphoses.mp3