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*
