Some Philosophical Remarks on the Current Definitions of Algorithms

Philippos Papayannopoulos (1)

1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

There has been a resurgent interest in formalizing the notion of 'algorithm'. In this paper, I discuss the relation between algorithms and computations, point to some tensions inherent in our informal concept of an algorithm, and discuss some trade-offs between competing desiderata for any proposed formal definition.

Mots clés: "Definitions of algorithms"; "Computability"; "Numerical Analysis"; "Complexity"; "Formalization of mathematical concepts"

Domaines: Philosophie; Logique [math.LO]; Informatique [cs]

Philippos Papayannopoulos. Some Philosophical Remarks on the Current Definitions of Algorithms. 13th Panhellenic Logic Symposium, Jul 2022, Volos, Greece. ⟨hal-03763964⟩