Some Philosophical Remarks on the Current Definitions of Algorithms

Fiche du document

Auteur

Philippos Papayannopoulos

Date

6 juillet 2022

Type de document

Colloques et conférences

Périmètre

Publications

Langue

Anglais

Identifiants

handle: 10670/1.a9qfy7
hal: hal-03763964

Source

HAL-SHS : philosophie

Collection

Archives ouvertes

Organisation

Centre pour la communication scientifique directe

Licence

info:eu-repo/semantics/OpenAccess

Mots-clés En

"Definitions of algorithms" "Computability" "Numerical Analysis" "Complexity" "Formalization of mathematical concepts"

Sujets proches En

Algorism

Citer ce document

Philippos Papayannopoulos, « Some Philosophical Remarks on the Current Definitions of Algorithms », HAL-SHS : philosophie, ID : 10670/1.a9qfy7

Partage / Export

export

Résumé En

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.

document thumbnail