Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


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

Topic: Work on Basic Mathematica Stephen!
Replies: 81   Last Post: Jun 4, 2013 5:59 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
David Park

Posts: 1,560
Registered: 5/19/07
Re: Work on Basic Mathematica Stephen!
Posted: May 25, 2013 5:35 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Yes, I believe if Mathematica notebooks are written using reasonable
procedures they will definitely have higher integrity. Hand written or
transcribed documents contain significant levels of error and omission. V.I.
Arnold wrote: "Every working mathematician knows that if one does not
control oneself (best of all by examples), then after some ten pages half of
all the signs in formulae will be wrong and twos will find their way from
denominators into numerators." I believe that Stephen Wolfram wrote
something in the Mathematica Book to the effect that when you do things by
hand you can be sloppy and fix things up as you go along but with
Mathematica you have to be precise and complete from the start. For those of
us not as quick minded as Stephen maybe the sloppiness never does get fixed
up. That's one of the advantages of Mathematica, but perhaps not the most
important advantage.

In explaining methods or presenting proofs or derivations to a reader or
student it IS very useful to be precise and complete from the start. Does
the reader know what the objects are that the discussion is about? Does he
have any experience with them? There are zillions of cases where Mathematica
could be used to generate object examples and present them in various ways
before we started reasoning about them. I'm certain that mathematicians
usually work with concrete examples and become quite familiar with them
before they transcend them for abstract proofs. Suppose you want to teach
contraction of concrete tensor arrays. In the books you will seldom see
examples beyond a couple of matrices, or maybe rarely a 3rd order tensor in
two or three dimensions. They take too much space. What good is an example
if it runs over two or three printed pages? With Mathematica one can easily
generate and manipulate such examples. One could extract or highlight
particular parts of an array to clarify operations. One could do various
examples, which one might eschew in a written document because of the space
requirement. And of course these kind of things are particularly susceptible
to copying and misprint errors.

Does the reader know what the starting point is? Does he know clearly what
is given? Does he know the axioms and tools he can use in doing
calculations, derivations or proofs? Could the reader bring up the axioms in
a separate window to inspect them when needed? Does he have them in an
active form so he could apply them to expressions or see them applied by the
writer?

The criterion for a reasonable procedure for writing notebooks for the
purpose of conveying information to another person is: CALCULATE EVERYTHING.
Do not do calculation by word processing. This requires a hierarchical depth
in your routines. (How much hierarchical depth? Enough to do the job.) You
must be able to work at the various levels of calculation needed in
understanding the material. Mathematica does not always, or even often,
provide hierarchical depth. The Mathematica Integrate routine is a poor tool
if you are teaching integration techniques to calculus students.
Nevertheless, Mathematica has the facilities for providing hierarchical
depth where needed - so just do it.

Mathematica notebooks are better because material can be presented in
understandable steps, with annotation and explanation, and since everything
is calculated and the results presented in various forms, there is a great
deal of self-proofing in the document. Also active routines are provided for
the reader to provide additional checks.

That is higher integrity.


David Park
djmpark@comcast.net
http://home.comcast.net/~djmpark/index.html







From: Richard Fateman [mailto:fateman@cs.berkeley.edu]

Regarding djmpark's vision.. do we believe that notebooks based on
Mathematica will have higher integrity? Possibly lower, at least to the
extent that the author is explicitly dependent on Mathematica, bugs and all,
rather than clear presentation that can be understood and read by other
humans. Would you believe a theorem that was "proved" by Mathematica using
methods that you could not understand and might in fact be secret as well as
erroneous?

A traditional presentation could implicitly be based on Mathematica or other
computer programs, but would have to be refined and endorsed by humans.

Or it could be done entirely by hand. The background might contain an
alternative "proof by computer" or "data files / method to reproduce
results". Or the background and foreground could be interleaved as literate
programming. Evidence to date is that most programmers are unable to write
correct code most of the time.
Demanding that they write literate code is a step beyond correct.





Date Subject Author
5/12/13
Read Work on Basic Mathematica Stephen!
David Park
5/13/13
Read Re: Work on Basic Mathematica Stephen!
psycho_dad
5/13/13
Read Re: Work on Basic Mathematica Stephen!
psycho_dad
5/14/13
Read Re: Work on Basic Mathematica Stephen!
Nasser Abbasi
5/15/13
Read Re: Work on Basic Mathematica Stephen!
szhorvat@gmail.com
5/16/13
Read Re: Work on Basic Mathematica Stephen!
szhorvat@gmail.com
5/16/13
Read Re: Work on Basic Mathematica Stephen!
Dr. Peter Klamser
5/17/13
Read Re: Work on Basic Mathematica Stephen!
Andrzej Kozlowski
5/17/13
Read Re: Work on Basic Mathematica Stephen!
Murray Eisenberg
5/17/13
Read Re: Work on Basic Mathematica Stephen!
Dr. Peter Klamser
5/18/13
Read Re: Work on Basic Mathematica Stephen!
Dr. Peter Klamser
5/19/13
Read Re: Work on Basic Mathematica Stephen!
Murray Eisenberg
5/19/13
Read Re: Work on Basic Mathematica Stephen!
paulmchale7@gmail.com
5/19/13
Read Re: Work on Basic Mathematica Stephen!
paulmchale7@gmail.com
5/23/13
Read Re: Work on Basic Mathematica Stephen!
szhorvat@gmail.com
5/24/13
Read Re: Work on Basic Mathematica Stephen!
David Park
5/20/13
Read Re: Work on Basic Mathematica Stephen!
Ingolf Dahl
5/20/13
Read Re: Work on Basic Mathematica Stephen!
David Annetts
5/22/13
Read Re: Work on Basic Mathematica Stephen!
mathgroup
5/23/13
Read expanding the use of symbolic computation in engineering .. was Re:
Richard Fateman
5/24/13
Read Re: expanding the use of symbolic computation in engineering .. was Re:
W. Craig Carter
5/23/13
Read Re: Work on Basic Mathematica Stephen!
David Park
5/23/13
Read Re: Work on Basic Mathematica Stephen!
mathgroup
5/24/13
Read Re: Work on Basic Mathematica Stephen!
Richard Fateman
5/25/13
Read Re: Work on Basic Mathematica Stephen!
David Park
5/25/13
Read Re: Work on Basic Mathematica Stephen!
Richard Fateman
5/25/13
Read Re: Work on Basic Mathematica Stephen!
David Park
5/28/13
Read Re: Work on Basic Mathematica Stephen!
Alexei Boulbitch
5/28/13
Read Re: Work on Basic Mathematica Stephen!
Alexei Boulbitch
6/4/13
Read Re: Work on Basic Mathematica Stephen!
Bill Rowe
5/24/13
Read Re: Work on Basic Mathematica Stephen!
David Park
5/27/13
Read Re: Warsaw Univ. course, was Re: Work on Basic Mathematica Stephen!
Noqsi
5/28/13
Read Re: Warsaw Univ. course, was Re: Work on Basic Mathematica Stephen!
Richard Fateman
5/31/13
Read Re: Warsaw Univ. course, was Re: Work on Basic Mathematica Stephen!
David Bailey
6/1/13
Read Re: Warsaw Univ. course, was Re: Work on Basic Mathematica Stephen!
Richard Fateman
6/2/13
Read Re: Warsaw Univ. course, was Re: Work on Basic Mathematica Stephen!
David Bailey
6/3/13
Read Re: Warsaw Univ. course, was Re: Work on Basic Mathematica Stephen!
Richard Fateman
6/3/13
Read Re: Warsaw Univ. course, was Re: Work on Basic Mathematica Stephen!
David Bailey
6/4/13
Read Re: Warsaw Univ. course, was Re: Work on Basic Mathematica Stephen!
Andrzej Kozlowski
5/29/13
Read Re: Warsaw Univ. course, was Re: Work on Basic Mathematica Stephen!
fd
5/30/13
Read Applying Mathematica to practical problems
Noqsi
5/31/13
Read Re: Applying Mathematica to practical problems
Richard Fateman
5/31/13
Read Re: Applying Mathematica to practical problems
Kevin J. McCann
5/31/13
Read Re: Applying Mathematica to practical problems
Andrzej Kozlowski
6/1/13
Read Re: Applying Mathematica to practical problems
Richard Fateman
6/1/13
Read Re: Applying Mathematica to practical problems
Richard Fateman
6/2/13
Read Re: Applying Mathematica to practical problems
Andrzej Kozlowski
6/3/13
Read Re: Applying Mathematica to practical problems
Richard Fateman
6/3/13
Read Re: Applying Mathematica to practical problems
Andrzej Kozlowski
6/1/13
Read Mathematica numerics and... Re: Applying Mathematica to practical problems
Daniel Lichtblau
6/2/13
Read Interval vs default, was Re: Mathematica numerics and... Re: Applying
Richard Fateman
6/2/13
Read Re: Applying Mathematica to practical problems
James Stein
6/3/13
Read Re: Applying Mathematica to practical problems
waku
6/3/13
Read Re: Interval vs default, was Re: Mathematica numerics and... Re: Applying
Daniel Lichtblau
5/27/13
Read Re: Work on Basic Mathematica Stephen!
Noqsi
6/2/13
Read Re: Work on Basic Mathematica Stephen!
David Bailey
5/28/13
Read Re: Work on Basic Mathematica Stephen!
fd
5/31/13
Read Re: Work on Basic Mathematica Stephen!
David Bailey
5/28/13
Read Re: Work on Basic Mathematica Stephen!
fd
6/2/13
Read Re: Applying Mathematica to practical problems
Mark McClure
6/3/13
Read Re: Applying Mathematica to practical problems
Richard Fateman
6/3/13
Read Re: Applying Mathematica to practical problems
Joseph Gwinn
6/3/13
Read Re: Warsaw Univ. course, was Re: Work on Basic
lshifr@gmail.com
6/3/13
Read Re: Warsaw Univ. course, was Re: Work on Basic
lshifr@gmail.com

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

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.