MathGroup Archive 2012

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

Search the Archive

Re: Command Possible?

  • To: mathgroup at
  • Subject: [mg127926] Re: Command Possible?
  • From: Murray Eisenberg <murray at>
  • Date: Sun, 2 Sep 2012 04:34:02 -0400 (EDT)
  • Delivered-to:
  • Delivered-to:
  • Delivered-to:
  • Delivered-to:
  • References: <>

Proof systems have certainly been attempted in add-on applications for Mathematica. E.g., "Theorema":

On Sep 1, 2012, at 2:28 AM, amzoti <amzoti at> wrote:

> Hello,
> I have always been curious if Mathematica has ever considered a Prove command?
> The reason one could ask such is question is simple, who would have ever thought that CASs would get to where they are in such a relatively short period of time.
> Certainly, this is a tall order, but the richness we already see in Mathematica leads one to believe that this can be a new area for CAS development.
> Some easy examples could be Prove[ Sqrt[2], Irrational], Prove[Exp[x], Transcendental], Prove[Sum[i, {i, 1, n}]== n(n+1)/2]...
> Certainly, there would be many limitations with proofs in some branches of Mathematics. I suppose getting to meatier proofs is problematic in itself, but maybe a certain rigor in defining the problem can be mapped out that follows how we set problems up today (as there is a pretty consistent way to specifying problems that most mathematicians adhere to).
> Anyway, why has this not been attempted (as a comparison, I have seen like DC Proof)? In the end, maybe it is just not a goal for a CAS.
> Thanks for your time.

Murray Eisenberg                                     
murray at
Mathematics & Statistics Dept.      
Lederle Graduate Research Tower      phone 413 549-1020 (H)
University of Massachusetts                  413 545-2859 (W)
710 North Pleasant Street                      fax   413 545-1801
Amherst, MA 01003-9305

  • Prev by Date: Re: split the sublists into parts according to some rules
  • Next by Date: Re: Getting the Derivative of an HoldForm Expression
  • Previous by thread: Mathematica Prove[...] Command Possible?
  • Next by thread: Re: Command Possible?