Les liens entre les mathématiques et l'informatique sont très nombreux et anciens. Les fondateurs de l'informatique sont généralement considérés comme des mathématiciens. Il suffit de faire discuter un mathématicien avec un informaticien pour se rendre compte qu'ils parlent presque de la même chose, mais pas du même point de vue. Évidemment tout est dans le « presque » ! Parce qu'avec les nombreux développements récents, l'informatique est devenue une discipline à part entière, qui reste sœur des mathématiques (qu'elles soient appliquées ou théoriques).
Philosophe, astronome et mathématicienne grecque d’Alexandrie. Elle est l’une des premières mathématiciennes connues. Elle a en particulier amélioré les méthodes permettant de calculer le déplacement du soleil au cours d’une journée. On lui attribue également un écrit permettant la construction d’un astrolabe, instrument utilisé pour calculer la date et l’heure en se basant sur les positions des étoiles et des planètes, ou inversement de prédire la position des planètes. Bref, avec Hypatie d’Alexandrie, une première machine à calculer est construite
Mathématicien britannique. Il avait pour ambition de mettre en équation les concepts et les idées. À l’origine de la logique moderne, qu’il voulait rendre autonome de la philosophie, il crée l’algèbre qui porte son nom et qui n’accepte que deux valeurs : 0 et 1. Cela vous rappelle quelque chose ? Bref, avec George Boole, on devient binaire !
Mathématicien américain. Il est à l’origine des fondements de l’informatique théorique. L’une de ses contributions est la définition de l’idée de fonction et d’application au sens mathématique. Il a introduit un système formel, une modélisation mathématique, appelé le lambda-calcul, qui permet notamment de modéliser des fonctions qui s’appliquent sur des fonctions, ou de considérer les fonctions comme des variables. Bref, avec Alonzo Church, on comprend mieux ce qu’est le calcul !
Mathématicien américain. Il est à l’origine des fondements de l’informatique théorique. L’une de ses contributions est la définition de l’idée de fonction et d’application au sens mathématique. Il a introduit un système formel, une modélisation mathématique, appelé le lambda-calcul, qui permet notamment de modéliser des fonctions qui s’appliquent sur des fonctions, ou de considérer les fonctions comme des variables. Bref, avec Alonzo Church, on comprend mieux ce qu’est le calcul !
Physicienne et mathématicienne belge. Tout le monde n’a pas la chance d’avoir une théorie qui porte son nom. Eh bien, c’est le cas d’Ingrid Daubechies. Les ‘ondelettes de Daubechies’ interviennent dans le standard JPG, format utilisé pour encoder les images. La théorie des ondelettes s’intéresse aux fonctions qui correspondent à de petites oscillations (d’où leur nom). Elle est appliquée dans l’imagerie médicale, en physique et même dans le cinéma numérique. Bref, avec Ingrid Daubechies, nos photos sont en JPG !
Informaticienne française. Initialement spécialiste de la programmation automatique des robots, elle a rapidement ouvert ses problématiques de recherche au médical en intégrant la robotique aux gestes médicaux. Il s’agit de passer de l’analyse mathématique d’une image à un geste robotisé piloté par un chirurgien. La science-fiction devient réalité ! Bref, avec Jocelyne Troccaz, les gestes chirurgicaux sont augmentés !