Orchid XP v8 <voi### [at] dev null> wrote:
> 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.)
No dictionary I have tried knows that word.
Are you sure you don't mean "equivalent"?
--
- Warp
Post a reply to this message
|