Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

An expression of closure to efficient causation in terms of lambda-calculus 1

Abstract : In this paper, we propose a mathematical expression of closure to efficient causation in terms of λ-calculus; we argue that this opens up the perspective of developing principled computer simulations of systems closed to efficient causation in an appropriate programming language. An important implication of our formulation is that, by exhibiting an expression in λ-calculus, which is a paradigmatic formalism for computability and programming, we show that there are no conceptual or principled problems in realizing a computer simulation or model of closure to efficient causation. We conclude with a brief discussion of the question whether closure to efficient causation captures all relevant properties of living systems. We suggest that it might not be the case, and that more complex definitions could indeed create some obstacles to computability.
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal-ens.archives-ouvertes.fr/hal-03319959
Contributeur : Usr 3608 République Des Savoirs <>
Soumis le : vendredi 13 août 2021 - 15:16:44
Dernière modification le : samedi 14 août 2021 - 03:28:27

Fichier

2021_08_13_comp-closure.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Matteo Mossio, Giuseppe Longo, John Stewart. An expression of closure to efficient causation in terms of lambda-calculus 1. Journal of Theoretical Biology, Elsevier, 2009, 257 (3), pp.489-498. ⟨10.1016/j.jtbi.2008.12.012⟩. ⟨hal-03319959⟩

Partager

Métriques

Consultations de la notice

50

Téléchargements de fichiers

17