Re: Wolfram Alpha claims to be a primary source.

Jon Harrop wrote:
Richard Fateman wrote:
"The standards of correctness for Mathematica are certainly much higher
than for typical mathematical proofs."

You're doing it again. Mathematica is about *money*, not correctness. Any
statements that fall out of the marketing machine are not worth studying:
it is just shop talk. Forget about it.


You are missing the point. Richard Fateman did *not* say that himself. He only said that Wolfram Research claim this,

http://reference.wolfram.com/mathematica/tutorial/TestingAndVerification.html

They do not attempt to justify that claim.


--
I respectfully request that this message is not archived by companies as
unscrupulous as 'Experts Exchange' . In case you are unaware,
'Experts Exchange' take questions posted on the web and try to find
idiots stupid enough to pay for the answers, which were posted freely
by others. They are leeches.
.

Loading