Les métamorphoses du calcul

Socle même de la méthode math­é­ma­tique depuis l’Antiquité grecque, la notion de démon­stra­tion s’est pro­fondé­ment trans­for­mée depuis le début des années soixante-dix.

Plusieurs avancées math­é­ma­tiques impor­tantes, non tou­jours con­nec­tées les unes aux autres, remet­tent ain­si pro­gres­sive­ment en cause la préémi­nence du raison­nement sur le cal­cul, pour pro­pos­er une vision plus équili­brée, dans laque­lle l’un et l’autre jouent des rôles complémentaires.

Cette véri­ta­ble révo­lu­tion nous amène à repenser le dia­logue des math­é­ma­tiques avec les sci­ences de la nature. Elle éclaire d’une lumière nou­velle cer­tains con­cepts philosophiques, comme celui du juge­ment ana­ly­tique et syn­thé­tique. Elle nous amène aus­si à nous inter­roger sur les liens entre les math­é­ma­tiques et l’informatique, et sur la sin­gu­lar­ité des math­é­ma­tiques qui est longtemps restée l’unique sci­ence à ne pas utilis­er d’instruments.

Enfin, et c’est cer­taine­ment le plus promet­teur, elle nous laisse entrevoir de nou­velles manières de résoudre des prob­lèmes math­é­ma­tiques, qui s’affranchissent de cer­taines lim­ites arbi­traires que la tech­nolo­gie du passé a imposées à la taille des démon­stra­tions : les math­é­ma­tiques sont peut-être en train de par­tir à la con­quête d’espaces jusqu’alors inaccessibles.

---

Articles similaires :

Hon­oré d’Estienne d’Orves Dic­tio­n­naire de stratégie Le général Paul Vau­thi­er, 1885–1979, penseur militaire Le Drag­on de l’Est Sou­venirs des années 1939–1945 La légende du réel et de la vie