Warp wrote:
> Orchid XP v8 <voi### [at] devnull> wrote:
>> It is impossible to determine whether two arbitrary terms in the untyped 
>> lambda calculus are extensionally equivilent.
> 
>   You still haven't defined what "equivilent" means.

Two functions are "equivilent" if, given the same arguments, they 
produce the same result. (For all possible arguments.)

-- 
http://blog.orphi.me.uk/
http://www.zazzle.com/MathematicalOrchid*

Post a reply to this message