Related Experiment Video
Updated: Jul 12, 2026

Closed-loop Neuro-robotic Experiments to Test Computational Properties of Neuronal Networks
Published on: March 2, 2015
Computational realizations of living systems.
1Computing Laboratory, University of Kent, Canterbury CT2 7NF, United Kingdom. D.F.Chu@kent.ac.uk
This study challenges Robert Rosen's theorem, which distinguishes organisms from machines. The research questions the core assumptions used to prove that organisms are "closed with respect to efficient causation," impacting theoretical biology.
Area of Science:
- Theoretical biology
- Systems theory
- Philosophy of science
Background:
- Robert Rosen's central theorem posits a fundamental difference between organisms and machines based on "efficient causation."
- The theorem's proof relies on specific assumptions regarding modeling techniques (analytic vs. synthetic) and relational models for machines.
Purpose of the Study:
- To critically evaluate the assumptions underpinning Robert Rosen's proof for his central theorem.
- To determine if the assumptions regarding modeling and relational systems are valid for distinguishing organisms from machines.
Main Methods:
- Analysis of the logical structure of Rosen's proof.
- Examination of the relationship between analytic and synthetic modeling.
- Assessment of the applicability of relational models to machine systems.
Main Results:
- Both crucial assumptions of Rosen's proof were found to be unjustified.
- The inverse relationship between analytic and synthetic modeling for mechanisms is not universally valid.
- The refinement of relational models for machines by analytic models is also questionable.
Conclusions:
- The findings cast significant doubt on the validity of Robert Rosen's proof for his central theorem.
- The theoretical distinction between organisms and machines, as argued by Rosen, may require re-evaluation.
- This challenges foundational concepts in theoretical biology and systems science.
Related Concept Videos
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
Cyclic Processes And Isolated Systems
In the case of a non-isolated system, the change in the internal energy is zero only if the process is cyclic. A thermodynamic process is considered cyclic if the system undergoes a series of changes and returns to its initial state.
Consider a cyclic process that returns to its initial state, undergoing a four-step process. The heat transfer along each path...
Classification of Systems-I
Homogeneity dictates that if an input x(t) is multiplied by a constant c, the output y(t) is multiplied by the same constant. Mathematically, this is expressed as:
Synthetic Biology
Golden rice
Golden rice is a genetically modified...
Control Systems
At the heart...
Mechanistic Models: Overview of Compartment Models

