The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » Inactive » comp.soft-sys.math.mathematica

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Relational operators on intervals: bug?
Replies: 21   Last Post: Nov 17, 2012 3:51 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Richard Fateman

Posts: 1,539
Registered: 12/7/04
Re: Relational operators on intervals: bug?
Posted: Nov 17, 2012 3:51 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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.


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.


Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.