Is Life Computable

This paper has two primary aims. The first is to provide an introductory discussion of hyperset theory and its usefulness for modeling complex systems. The second aim is to provide a hyperset analysis of Robert Rosen's metabolism-repair systems and his claim that living things are closed to efficient cause. Consequences of the hyperset models for Rosen's claims concerning computability and life are discussed.

[1]  Vladimir Sazonov,et al.  Querying Hyperset/Web-Like Databases , 2006, Log. J. IGPL.

[2]  D. Carlisle.  Defence mechanism. , 2018, The Health service journal.

[3]  B. Russell.  The Principles of Mathematics , 1938 .

[4]  Agostino Dovier,et al.  From Set to Hyperset Unification , 1999, J. Funct. Log. Program..

[5]  A. Cornish-Bowden,et al.  Organizational invariance and metabolic closure: analysis in terms of (M,R) systems. , 2006, Journal of theoretical biology.

[6]  W. Quine,et al.  Set Theory and Its Logic. , 1965 .

[7]  Agostino Dovier,et al.  Solvable Set/Hyperset Contexts: II. A Goal-Driven Unification Algorithm for the Blended Case , 1999, Applicable Algebra in Engineering, Communication and Computing.

[8]  Alexei Lisitsa,et al.  Linear Ordering on Graphs, Anti-Founded Sets and Polynomial Time Computability , 1999, Theor. Comput. Sci..

[9]  Dominique Chu,et al.  A Category Theoretical Argument against the Possibility of Artificial Life: Robert Rosen's Central Proof Revisited , 2006, Artificial Life.

[10]  J. Barwise,et al.  The Liar: An Essay on Truth and Circularity , 1987 .

[11]  Robert Rosen,et al.  Essays on Life Itself , 1999 .

[12]  N. Boyce.  Life itself , 2018, The Lancet.

[13]  Gonen Ashkenasy,et al.  Boolean logic functions of a synthetic peptide network. , 2004, Journal of the American Chemical Society.

[14]  H. Poincaré,et al.  Les Mathematiques et la Logique. , 1906 .

[15]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.

[16]  P. Martin-Löf.  Notes on constructive mathematics , 1970 .

[17]  Anil Gupta,et al.  Truth and paradox , 1982, J. Philos. Log..

[18]  Donald A. Martin,et al.  Set Theory and Its Logic. , 1966 .

[19]  N. Belnap,et al.  The Revision Theory of Truth , 1993 .