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

**References**:**Re: Relational operators on intervals: bug?***From:*Richard Fateman <fateman@cs.berkeley.edu>

**Re: Relational operators on intervals: bug?***From:*Richard Fateman <fateman@cs.berkeley.edu>

**Re: Relational operators on intervals: bug?***From:*Andrzej Kozlowski <akozlowski@gmail.com>