![](/i/fill.gif) |
![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
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
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
"Invisible" <voi### [at] dev null> 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
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
Invisible <voi### [at] dev null> 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
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
Warp wrote:
> (And for that matter, define "equivilent".)
equivilent n.: typo of equivalent.
Post a reply to this message
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
>> 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
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
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.
--
- Warp
Post a reply to this message
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
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
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
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
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
On 31 Aug 2008 04:41:29 -0400, Warp <war### [at] tag povray org> 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
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
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
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |
| ![](/i/fill.gif) |
|
![](/i/fill.gif) |
|
![](/i/fill.gif) |
| ![](/i/fill.gif) |