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: [mg130925] Re: Work on Basic Mathematica Stephen!
  • From: Richard Fateman <fateman at eecs.berkeley.edu>
  • Date: Sat, 25 May 2013 05:42:19 -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>

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: Work on Basic Mathematica Stephen!
  • Previous by thread: Re: Work on Basic Mathematica Stephen!
  • Next by thread: Re: Work on Basic Mathematica Stephen!