Re: [sl4] Is there a model for RSI?

From: Peter de Blanc (peter@spaceandgames.com)
Date: Mon Jun 23 2008 - 12:27:43 MDT


J. Andrew Rogers wrote:
> It looked kind of like someone confusing machine complexity with state
> complexity with some ambiguous handling of the complexity of the control
> function, and it still does to me this morning. I could be wrong, I was
> having trouble parsing his point.
>
> The focus should have been on the very first line, since that had no
> ambiguity: Exactly how does a machine output a copy of itself (with or
> without the counter)?

Like this:

((lambda (x y)
   (list x (list (quote quote) x) (+ y 1)))
  (quote
     (lambda (x y)
       (list x (list (quote quote) x) (+ y 1)))) 0)



This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:03 MDT