Projet ANR dans le cadre des JCJC

Qu'est-ce qu'un programme informatique? À cette simple question, centrale en informatique, il n'existe pas une réponse unique, ni dans l'industrie, ni dans la recherche scientifique. Néanmoins, les réponses qu'on formule affectent des problèmes très réels comme p.e. le problème de la responsabilité s'il y a une défaillance de logiciel. On trouve plutôt une diversité d'interprétations du terme “programme”, implicites ou explicites, dans les pratiques pertinentes qui sont déterminées à partir des formulations, méthodes et solutions des problèmes particuliers dans ces mêmes pratiques (et vice versa). L'ambition de PROGRAMme est de développer une analyse cohérente et une conception pluraliste du terme “programme”, en combinant des études historiques avec des analyses philosophiques. Cette double méthode permet de retracer les significations du terme au long de son histoire. Elle permet aussi d'identifier et d'élucider ses différents sens dans et les pratiques qui le sous-tendent. Les éléments fondamentaux de ce terme pourront ainsi être reconstruits, avec l'ambition d'en libérer, et non d'en restreindre ses significations. Le projet a donc besoin de compétences historiques, philosophiques et informatiques et cette interdisciplinarité en est un défi considérable.

What is a computer program ? This seemingly simple question, which lies at the heart of computer science, has no simple answer today, neither in academia nor in industry. Nonetheless, the responses one gives to it affect very real problems, such as the issue of responsibility when a given piece of software fails. The aim of this project is to revisit that fundamental question from a more historical and philosophical angle. The project starts from a basic characterization of "program" along three different "modalities": a physical, a formal and a socio­technical modality. Any program is rooted in these three modalities and any understanding of "program" needs to incorporate them. This project wants to understand what a “program” is by focusing on the formal modality (mathematical, logical and linguistic properties), how it accommodates the two other modalities and how they come together in a programming practice.