[ Forum Index ] [ Information ] [ Meme Media ] [ About Tony ]
Re: Burdening with expectations
Posted by quad on 28th September 2010 at 02:45:43
In response to Burdening with expectations posted by Tony on 14th September 2010 at 15:36:23
- Unless Mathematica has changed completely over the years, one thing that Jordi seems to overlook is that it is designed to be used to expose the step by step logic of mathematical proof,[...]

No, this is not what it was designed for. Quoting right from Wolfram's book "Mathematica: A System for Doing Mathematics by Computer", page vii,

One way to use Mathematica is as a "calculator". You type in a calculation, and Mathematica immediately tries to do it. [...] You can use Mathematica as a language for representing mathematical knowledge. You can take mathematical relations from handbooks and textbooks and enter them almost directly into Mathematica.

In general, the idea he is giving is that "Mathematica does this for you" and doesn't care about intermediate steps. Also see http://reference.wolfram.com/mathematica/tutorial/WhyYouDoNotUsuallyNeedToKnowAboutInternals.html which essentially says that what's going on inside -- steps, details, etc. -- are irrelevant to the end user.

Next Newer Thread
"Mathematica is unscientific" - toby 10:14:38 14-Sep-10
Belated recovery even here - 23:18:19 09-Jan-11
Re: "Mathematica is unscientific" - GingerYeo 02:15:34 06-Nov-10
Be careful what you wish for - Tony 20:21:53 22-Sep-10
One rant deserves another - nif 02:44:10 15-Sep-10
Re: One rant deserves another - toby 01:51:31 17-Sep-10
Re: One rant deserves another - nif 22:18:53 17-Sep-10
Re: One rant deserves another - toby 00:27:39 21-Sep-10
Burdening with expectations - Tony 15:36:23 14-Sep-10
Re: Burdening with expectations - quad 02:45:43 28-Sep-10
Re: Burdening with expectations - toby 02:57:19 28-Sep-10
Re: Burdening with expectations - toby 01:53:54 17-Sep-10
Re: Burdening with expectations - nif 22:24:13 17-Sep-10
Re: Burdening with expectations - toby 00:31:36 21-Sep-10
Next Older Thread