Skip to main content

A Category Theoretical Argument Against the Possibility of Artificial Life

Chu, Dominique, Ho, W. (2006) A Category Theoretical Argument Against the Possibility of Artificial Life. Artificial Life, 12 (4). pp. 117-135. ISSN 1064-5462. (doi:10.1162/106454606775186392) (KAR id:14519)

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


One of Robert Rosen's main contributions to the scientific community is summarized in his book 'Life itself'. There Rosen presents a theoretical framework to define living systems; given this definition, he goes on to show that living systems are not realisable in computational universes. Despite being well known and often cited, Rosen's central proof has so far not been evaluated by the scientific community. In this article we review the essence of Rosen's ideas leading up to his rejection of the possibility of real artificial life in silico. We also evaluate his arguments and point out that some of Rosen's central notions are ill- defined. The conclusion of this article is that Rosen's central proof is wrong.

Item Type: Article
DOI/Identification number: 10.1162/106454606775186392
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 Feb 2021 12:25 UTC
Resource URI: (The current URI for this page, for reference purposes)
Chu, Dominique:
  • Depositors only (login required):


Downloads per month over past year