MathGroup Archive 2012

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

Search the Archive

Re: Relational operators on intervals: bug?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg128682] Re: Relational operators on intervals: bug?
  • From: Richard Fateman <fateman at cs.berkeley.edu>
  • Date: Sat, 17 Nov 2012 03:47:15 -0500 (EST)
  • Delivered-to: l-mathgroup@mail-archive0.wolfram.com
  • Delivered-to: l-mathgroup@wolfram.com
  • Delivered-to: mathgroup-newout@smc.vnet.net
  • Delivered-to: mathgroup-newsend@smc.vnet.net
  • References: <k7p3j3$ca3$1@smc.vnet.net> <20121112080708.39931690E@smc.vnet.net> <k7skt2$ku3$1@smc.vnet.net> <20121114062826.C02FC69AC@smc.vnet.net> <6F6D7B27-201F-4AC9-9553-809ABA30A7CE@mimuw.edu.pl> <9488D537-DAE3-45F6-A088-38486CB999AB@math.umass.edu> <20121115085735.202336A1D@smc.vnet.net> <3AA0624E-54D6-4BBD-8320-A47ED2838A75@mimuw.edu.pl> <35B2F1DE-B13C-46E1-A273-411A927047B8@math.umass.edu> <k84p57$gb2$1@smc.vnet.net>

On 11/15/2012 11:14 PM, Andrzej Kozlowski wrote:

  The language of Mathematica is a formal language and however intuitive 
it may seem

(it does seem so to me) the basic principle of such a language is 
"everything is forbidden

unless explicitly allowed" rather than the opposite.


Nonsense.

The semantics of Mathematica is not formally defined, and its apparent 
intent is to do as much mathematics as can be automated. The exclusion 
of certain operations on certain operands may change without notice in
the documentation.

If your statement is meant to be read as "unless explicitly allowed
[by the proprietary and secret source code]", then it is vacuous.
Of course the programs do only what the program do;
this is true of any programs whatsoever.

Actually, the syntax of Mathematica is not formally defined either,
but at least that doesn't change so often.

RJF




  • Prev by Date: Re: The risks of Sphere export
  • Next by Date: Re: Euclidean distance of all pairwise combinations (redundants)
  • Previous by thread: Re: Relational operators on intervals: bug?
  • Next by thread: Re: Relational operators on intervals: bug?