ANR GoA – La géométrie des algorithmes

Description scientifique. Les algorithmes occupent aujourd'hui une place centrale dans le débat public : ils structurent nos interactions sociales et modifient notre façon de travailler, de nous déplacer, ainsi que nos instruments scientifiques et médicaux. Mais qui peut dire exactement ce qu'est un algorithme ? Parce qu'il n'existe aucun consensus parmi les experts, il importe de chercher à donner un fondement épistémologique solide au débat. C'est en effet en leur donnant une représentation mathématique précise que nous pourrons assigner un statut scientifique aux algorithmes. En particulier, l'utilisation des instruments de la géométrie permettra de distinguer la notion d’algorithme de notions voisines et pourtant différentes, comme celle de calcul ou de programme. Une telle analyse permettra ainsi de développer une ontologie propre à l'informatique et de faire de cette dernière une théorie mathématisée, au même titre que la physique.