MathGroup Archive: July 2009 [00756]

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

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

To: mathgroup at smc.vnet.net
Subject: [mg102145] Re: [mg102095] Re: [mg102029] Re: [mg102001] Re: [mg101925] Re: Thoughts on a Wolfram|Alpha
From: DrMajorBob <btreat1 at austin.rr.com>
Date: Thu, 30 Jul 2009 05:35:23 -0400 (EDT)
References: <200907290910.FAA19679@smc.vnet.net>
Reply-to: drmajorbob at bigfoot.com

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

No interest in NKS or Alpha.

Bobby

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

>> 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 bigfoot.com

References:
- Re: Re: Re: Re: Re:
  - From: "A. B." <functionalcoatings@gmail.com>

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[]