Skip to main content

Computational Realizations of Living Systems

Chu, Dominique, Ho, W. (2007) Computational Realizations of Living Systems. Artificial Life, 13 (4). pp. 369-381. ISSN 1064-5462. (doi:10.1162/artl.2007.13.4.369) (KAR id:14540)

Language: English
Download (741kB)
[thumbnail of Computational_Realizations_of.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:


Robert Rosen's central theorem states that organisms are fundamentally different to machines, mainly because they are ''closed with respect to efficient causation''. The proof for this theorem rests on two crucial assumptions. The first is that for a certain class of systems (''mechanisms'') analytic modeling is the inverse of synthetic modeling. the second is that aspects of machines can be modeled using relational models and that these relational models are themsleves refined by at least one analytic model. We show that both assumptions are unjustified. We conclude that these results cast serious doubts on the validity of Rosen's proof.

Item Type: Article
DOI/Identification number: 10.1162/artl.2007.13.4.369
Uncontrolled keywords: closure; (M,R) systems; analytic model; relational model; synthetic model
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Dominique Chu
Date Deposited: 24 Nov 2008 18:04 UTC
Last Modified: 16 Nov 2021 09:52 UTC
Resource URI: (The current URI for this page, for reference purposes)
Chu, Dominique:
  • Depositors only (login required):


Downloads per month over past year