Re: Bug Report - Two numerical values for a same variable

*To*: mathgroup at smc.vnet.net*Subject*: [mg54439] Re: Bug Report - Two numerical values for a same variable*From*: Andrzej Kozlowski <akoz at mimuw.edu.pl>*Date*: Sun, 20 Feb 2005 00:10:18 -0500 (EST)*References*: <00ed01c512b0$2f242850$6400a8c0@Main> <curpbn$r28$1@smc.vnet.net> <200502150438.XAA29728@smc.vnet.net> <200502161936.OAA19223@smc.vnet.net> <bc260b75189ab899a75c3a5c65dc0bcf@gmail.com> <4214B60F.2050207@math.umass.edu> <7264774360d595ba92f3e713df810465@mimuw.edu.pl> <cv6ru9$6jj$1@smc.vnet.net> <42177C45.5090205@cs.berkeley.edu> <a5427d79c9fda3403abd8d2423f334e0@mimuw.edu.pl> <4217997B.4080102@cs.berkeley.edu>*Sender*: owner-wri-mathgroup at wolfram.com

On 19 Feb 2005, at 20:54, Richard Fateman wrote: > I suspect that Mathematica's routines for testing for membership in > domains like Reals etc. are pretty good. I don't, however, expect it > to understand anything. Just symbolic manipulation. That's different. > Well, if you really know any people who think that computer programs "understand" anything than you move in curious circles. But just a moment, who was it who wrote: > The fact that these are stand-ins for well-known mathematically real > quantities is irrelevant to Mathematica, since it only understands Real, > and Real is a subset of mathematical real. > Understands? Andrzej Kozlowski

**References**:**Re: Bug Report - Two numerical values for a same variable***From:*Scott Hemphill <hemphill@hemphills.net>

**Re: Re: Bug Report - Two numerical values for a same variable***From:*Murray Eisenberg <murray@math.umass.edu>