MathGroup Archive 2010

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: More /.{I->-1} craziness. Schools

  • To: mathgroup at
  • Subject: [mg106940] Re: More /.{I->-1} craziness. Schools
  • From: Richard Fateman <fateman at>
  • Date: Fri, 29 Jan 2010 07:45:13 -0500 (EST)
  • References: <hjbvc0$2tp$> <hjeqh1$g3c$> <hjh877$r4r$> <> <> <op.u67uiib3tgfoz2@bobbys-imac.local> <hjrf98$n1e$>

Daniel Lichtblau wrote:

> One implication is that a "zero" of sufficiently low (as in bad) 
> accuracy can be regarded as 1, or -1, or Pi, if those values happen to 
> fall within the accuracy (which I refer to as fuzz).
> The other inequalities follow from the preservation of trichotomy. For 
> explicitly real values we regard that as important. mathematica makes no 
> pretense that Equal is transitive and I do not see any way to do that 
> and also have useful approximate arithmetic.

If you insist on equality meaning "overlap", then maybe you should give 
up on trichotomy for fuzz-balls, since its preservation leads to 
nonsense.  That is, if x==0 and x==1 and x==2, on the grounds that the 
fuzzball for x includes 0,1,2,  and x might "possibly be equal" to 0, 1, 
or 2, then doesn't it follow that x<1 and x>1 are also "possible", and 
therefore these are true too?

In the interval arithmetic world these would be called 'possibly equal',
'possibly greater than' 'possibly less than'  etc.
As opposed to the more usual  'certainly equal' etc.


  • Prev by Date: Re: Re: License terms for free Mathematica Player
  • Next by Date: Re: Can Mathematica interpolate non-uniform scatter data?
  • Previous by thread: Re: Re: Re: More /.{I->-1} craziness. Schools
  • Next by thread: Intervals. Was Re: More /.{I->-1} craziness. Schools are conservative.