> 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 ============================================================ FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's College lectures, archives, unsubscribe, maps at http://www.friam.org
