Mathématiques et informatique: une nouvelle ère numérique

L'informatique est un système de représentation de l'information. L'algèbre booléenne et l'algorithmique sont les outils qui permettent de numériser (« mettre sous forme de nombres »), représenter et manipuler l'information. La logique formelle comme la sémantique cherchent à préciser ce qui peut être formalisé et expliqué à un ordinateur. La théorie du signal permet de faire circuler des données d'un ordinateur à l'autre. La cryptologie vise à étudier la sécurité de ces données qui transitent. La vérification des programmes s'appuie sur la logique mathématique. De fait, la démonstration automatique, l'expérimentation et la simulation numérique quittent le domaine du rêve pour devenir réalité. Ainsi, l'outil informatique envahit notre quotidien, de la biologie à la finance en passant par l'ingénierie, et bouscule notre vision du monde en soulevant des questions (scientifiques ou éthiques) qui n'avaient jamais été envisagées. Sans les mathématiques, aucun de ces progrès ne serait possible !