Fact: It is impossible to determine whether two arbitrary expressions 
are equivilent.

Question: Is it possible to determine whether one arbitrary expression 
is equivilent to a second, predetermined, expression?

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

Post a reply to this message

"Invisible" <voi### [at] devnull> wrote in message
news:48b81859$1@news.povray.org...

> Fact: It is impossible to determine whether two arbitrary expressions
> are equivilent.

> Question: Is it possible to determine whether one arbitrary expression
> is equivilent to a second, predetermined, expression?

Of course not. If it's not clear, think of the one arbitrary expression as
expressing equivalency of two arbitrary expressions.

Post a reply to this message

Invisible <voi### [at] devnull> wrote:
> Fact: It is impossible to determine whether two arbitrary expressions 
> are equivilent.

  Define expression.

  (And for that matter, define "equivilent".)

-- 
                                                          - Warp

Post a reply to this message

Warp wrote:
>   (And for that matter, define "equivilent".)

equivilent n.: typo of equivalent.

Post a reply to this message

>> Fact: It is impossible to determine whether two arbitrary expressions 
>> are equivilent.
> 
>   Define expression.
> 
>   (And for that matter, define "equivilent".)

It is impossible to determine whether two arbitrary terms in the untyped 
lambda calculus are extensionally equivilent.

But is it possible to determine if some arbitrary term matches a 
predetermined one? (For example, the Church numeral zero.)

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

Post a reply to this message

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.

-- 
                                                          - Warp

Post a reply to this message

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

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

On 31 Aug 2008 04:41:29 -0400, Warp <war### [at] tagpovrayorg> wrote:

>
>> 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"?

A nod to a blind horse. ;)
I find that in a lot of posts on the internet you have to say to yourself. "Is
that a typo or what did he mean?" Especially when communicating between
different versions of English or generations.
 
"Equivilent" is a phonetic spelling of "equivalent" in certain areas of the UK.
I.e. that is how it is pronounced.
-- 

Regards
     Stephen

Post a reply to this message

Stephen <mcavoysAT@aoldotcom> wrote:
> A nod to a blind horse. ;)
> I find that in a lot of posts on the internet you have to say to yourself. "Is
> that a typo or what did he mean?" Especially when communicating between
> different versions of English or generations.
>  
> "Equivilent" is a phonetic spelling of "equivalent" in certain areas of the UK.
> I.e. that is how it is pronounced.

  How do you pronounce "equivilent"? More precisely, how do you pronounce
the wrongly-written "i" there? Do you pronounce it like in the word "life"?
Or in the word "lit"? Or in the word "partial"? Why?

-- 
                                                          - Warp

Post a reply to this message