© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Computational realizations of living systems
D Chu and W Ho
Artificial Life, 13(4):182-196, October 2007.Abstract
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.
Download publication 723 kbytes (PDF)Bibtex Record
@article{2685,
author = {D Chu and W Ho},
title = {Computational Realizations of Living Systems},
month = {October},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2007/2685},
publication_type = {article},
submission_id = {14986_1206620148},
journal = {Artificial Life},
volume = {13},
number = {4},
}