[FRIAM] recap on Rosen

[Günther Greindl]

> OK.  So RR makes a prohibitive claim ... something like "living systems
> cannot be accurately modeled with a UTM because MR systems cannot be
> realized".  And you are refuting that claim by a counter-claim that MR
> systems _can_ be realized, emphasizing that the recursion theorem is
> crucial to such a realization.
> 
> Do I have it right?

Yes that's basically my claim - RR also mentions his closed efficient 
cause, that's where the rec. theorem comes in: you can code whatever 
behaviour you like and then replicate it indefinitely.

What is _not_ addressed in the (M,R) model is how it comes up in the 
first place (= origin of life); that is where evolution comes in, and a 
machine model is at no disadvantage here, again.

Cheers,
Günther