Vous êtes ici : Accueil

"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."

Gilles Dowek, Les Métamorphoses du calcul (Grand prix de Philosophie de l’Académie française), édition Le Pommier.

"computer science is no more about computer than astronomy is about telescopes, biology is about microscopes, or chemistry is about beakers and test tubes. Science is not about  tools. It is about how we use them and what we find out when we do"