Orchid XP v7 wrote:
>>> The fixed-point operator confounds me. I really don't get it...
>>>
>> What exactly don't you get, the operator, the theorem or why it is 
>> important?
> 
>  From what little I understand, the fixed point operator takes an 
> arbitrary function and finds its "least fixed point". I don't really 
> understand how that can be possible...
> 
If we are still talking about lambda calculus, take the Y operator, that 
one is pretty obvious, I would think. (not sure about the 'least', but I 
have dislocated my 'Barendrecht' and it is time to get some sleep.

Post a reply to this message