Les métamorphoses du calcul confinement lui-même ingénieur-chimiste et docteur des

lui-même ingénieur-chimiste et docteur des universités de Cambridge et de Caen

trois regards sur les mathématiques

Existe en version numérique Genre : bande dessinée Public : à partir de 15 ans

résoudre les systèmes linéaires et modéliser des phénomènes aussi divers que la mécanique quantique ou le traitement du signal

/ Joseph-Louis Lagrange / Autour du théorème de Sturm / Des racines au goutte à goutte / Al Khwarizmi / L'équation du beau / François Viète / Quel est le taux effectif d'un emprunt

Les métamorphoses du calcul confinement lui-même ingénieur-chimiste et docteur desNotre avis Gilles Dowek, chercheur l'Inria et professeur l'ENS Paris Saclay, retrace dans ce livre prim du Grand Prix de Philosophie de l'Acadmie franaise 2007 une rvolution silencieuse : depuis les annes 1970, le calcul automatique dispute la dmonstration sa place centrale dans les mathmatiques. Cette mtamorphose profonde redfinit ce qu'est une preuve, renouvelle le dialogue entre maths et sciences naturelles, et ouvre des perspectives indites sur ce