An expression of closure to efficient causation in terms of lambda-calculus - Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques Accéder directement au contenu
Article Dans Une Revue Journal of Theoretical Biology Année : 2009

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

Résumé

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
Fichier principal
Vignette du fichier
PEER_stage2_10.1016%2Fj.jtbi.2008.12.012.pdf (314.14 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00554549 , version 1 (11-01-2011)

Identifiants

Citer

Matteo Mossio, Giuseppe Longo, John Stewart. An expression of closure to efficient causation in terms of lambda-calculus. Journal of Theoretical Biology, 2009, 257 (3), pp.489. ⟨10.1016/j.jtbi.2008.12.012⟩. ⟨hal-00554549⟩
302 Consultations
307 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More