Orchid XP v8 <voi### [at] devnull> wrote:
> 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.)

  No dictionary I have tried knows that word.

  Are you sure you don't mean "equivalent"?

-- 
                                                          - Warp

Post a reply to this message