MathGroup Archive 2009

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

Search the Archive

Re: Re: Re: Re: Re: Thoughts on a Wolfram|Alpha

  • To: mathgroup at
  • Subject: [mg102145] Re: [mg102095] Re: [mg102029] Re: [mg102001] Re: [mg101925] Re: Thoughts on a Wolfram|Alpha
  • From: DrMajorBob <btreat1 at>
  • Date: Thu, 30 Jul 2009 05:35:23 -0400 (EDT)
  • References: <>
  • Reply-to: drmajorbob at

I haven't heard anything about the "proof engine", but it sounds both  
interesting... and impossible.

No interest in NKS or Alpha.


On Wed, 29 Jul 2009 04:10:37 -0500, A. B. <functionalcoatings at>  

>> I am sure all, or most of us, support Stephen's grander goals (NKS,  
>> Alpha, and
>> the proof engine)
> Sorry, but I don't. Mathematica for me is just a tool among other similar
> tools. It's an environment for technical computing with another arbitrary
> programming language. I guess (hope) that I am not alone in this  
> situation
> on the list.
> All the best,
> A.B.

DrMajorBob at

  • Prev by Date: Re: Mathematica Animations by High School Students
  • Next by Date: Re: Re: bvdae error when using NDSolve for initial value
  • Previous by thread: Re: Re: Re: Re: Re:
  • Next by thread: Slow start to AstronomicalData[]