Futura-Sciences donne carte blanche à Gilles Dowek. Son dossier : les métamorphoses du calcul. Extrait de l'introduction :

On l’a beaucoup dit, le siècle qui vient de s’achever a été le véritable âge d’or des mathématiques : les mathématiques se sont davantage développées au cours du XXe siècle que pendant l’ensemble des siècles qui l’ont précédé. Il est probable, cependant, que le siècle qui s’ouvre sera tout aussi exceptionnel pour les mathématiques : un siècle au cours duquel elles se métamorphoseront autant, si ce n’est davantage, qu’au XXe siècle. L’un des signes qui nous invitent à le penser est une transformation progressive, depuis le début des années soixante-dix, de ce qui constitue le socle même de la méthode mathématique : la notion de démonstration. Et cette transformation remet sur le devant de la scène un concept mathématique ancien, mais quelque peu négligé : celui de calcul.