"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