Re: logic challenge for Mathematica (and others?)

In article <160820060843581690%edgar@xxxxxxxxxxxxxxxxxxxxxxxxxxx>, G.
A. Edgar <edgar@xxxxxxxxxxxxxxxxxxxxxxxxxxx> wrote:

In[1] := 3+Infinity == 4+Infinity

Out[1] = True

In[2] := 3+{} == 4+{}

Out[2] = True

Oh, [2] is VERY elegant! And mathematically correct...

Of course, it's also true that 3 + (-Infinity) == 4 + (-Infinity).
Curiously, if you try this with ComplexInfinity and DirectedInfinity it
doesn't simplify. Can a Mathematica expert explain this?

--
Ron Bruck

Posted Via Usenet.com Premium Usenet Newsgroup Services
----------------------------------------------------------
** SPEED ** RETENTION ** COMPLETION ** ANONYMITY **
----------------------------------------------------------
http://www.usenet.com
.