MathGroup Archive 2013

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Work on Basic Mathematica Stephen!

  • To: mathgroup at smc.vnet.net
  • Subject: [mg130926] Re: Work on Basic Mathematica Stephen!
  • From: "djmpark" <djmpark at comcast.net>
  • Date: Sat, 25 May 2013 05:42:39 -0400 (EDT)
  • Delivered-to: l-mathgroup@mail-archive0.wolfram.com
  • Delivered-to: l-mathgroup@wolfram.com
  • Delivered-to: mathgroup-outx@smc.vnet.net
  • Delivered-to: mathgroup-newsendx@smc.vnet.net
  • References: <kmngb2$3rv$1@smc.vnet.net> <20130519095011.606CD6A14@smc.vnet.net> <28778561.83848.1369203793332.JavaMail.root@m06> <000101ce56f8$aa8600f0$ff9202d0$@comcast.net> <knki33$if1$1@smc.vnet.net> <11024021.22507.1369391283842.JavaMail.root@m06> <000001ce58a1$237f3040$6a7d90c0$@comcast.net> <17079775.34598.1369420380724.JavaMail.root@m06>

I didn't say anything at all about a "proof by Mathematica". Mathematica is
just a writing and communication medium and it's far better and has higher
integrity than anything you know how to use.

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


From: Richard Fateman [mailto:fateman at eecs.berkeley.edu] 


On 5/24/2013 10:07 AM, djmpark wrote:
> Yes, I believe if Mathematica notebooks are written using reasonable 
> procedures they will definitely have higher integrity
<snip>
>   That's one of the advantages of Mathematica, but perhaps not the 
> most important advantage.
there is an interesting and controversial article by  Demillo and Lipton on
Social Processes and Proofs.. easily found on the web, but also see the
rejoinders etc.

Can you imagine the reception of you running down the hall to show your
academic colleagues or co-researchers your "proof by Mathematica"?

(note: not "result from Mathematica"  but proof.)

Personally I would especially hesitate to believe any numerical result that
was not entirely done by computation in integers.

I have no particular issue with an appendix, carefully annotated etc that
allows one to reproduce a computation.  Mathematica's rule-based paradigm
might be less readable than some other schemes.

RJF




  • Prev by Date: Re: Work on Basic Mathematica Stephen!
  • Next by Date: Re: How eigenvectors are normalized
  • Previous by thread: Re: Work on Basic Mathematica Stephen!
  • Next by thread: Re: Warsaw Univ. course, was Re: Work on Basic Mathematica Stephen!