The Geometry of Algorithms – GoA
Algorithms take nowadays a central place in the public debate: they structure our social interactions, they modify our work, our means of transport, and also our scientific and medical instruments. But who can say what exactly an algorithm is? Since there is no real consensus among the experts, it is important to give an epistemological foundation to this debate. By giving a precise mathematical representation to the algorithms, it becomes possible to assign them a genuine scientific status. In particular, the use of geometric tools will allow us to distinguish the notion of algorithm from other related and yet different ones, like that of computation or that of program. This analysis will thus open the way to develop an ontology proper to computer science, and to look at the latter as a mathematized theory, in the same way as physics.
Project coordination
Alberto Naibo (Institut d'Histoire et de Philosophie des Sciences et des Techniques)
The author of this summary is the project coordinator, who is responsible for the content of this summary. The ANR declines any responsibility as for its contents.
Partner
IHPST Institut d'Histoire et de Philosophie des Sciences et des Techniques
Help of the ANR 252,024 euros
Beginning and duration of the scientific project:
- 48 Months