Warp wrote:
> Orchid XP v8 <voi### [at] dev null> 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
|