Fiche du document
30 mai 2022
- handle: 10670/1.nuzeyj
- hal: hal-03765211
Mots-clés
"Physical computation" "definitions of algorithms" "locality" "continuity" "analog computation" "scientific representation" "(un)computability in physics" "ill-posed problems"Sujets proches
AlgorismCiter ce document
Philippos Papayannopoulos, « From Algorithms to Computations: Physical Assumptions and Limitations », HAL-SHS : philosophie, ID : 10670/1.nuzeyj
Métriques
Partage / Export
Résumé
The purpose of this talk is to single out some physical assumptions that commonly underpin physical computation, several models of computation (discrete and continuous) as well as the notion of "algorithm" itself. In particular, it is argued that scientific representation is inextricably intertwined with physical computation, and so necessary conditions for the former are also necessary conditions for the latter (and for computation in general). I discuss some physical situations where such conditions are violated and show that uncomputability results arise in such situations as well.