Re: Command Possible?

*To*: mathgroup at smc.vnet.net*Subject*: [mg127926] Re: Command Possible?*From*: Murray Eisenberg <murray at math.umass.edu>*Date*: Sun, 2 Sep 2012 04:34:02 -0400 (EDT)*Delivered-to*: l-mathgroup@mail-archive0.wolfram.com*Delivered-to*: l-mathgroup@wolfram.com*Delivered-to*: mathgroup-newout@smc.vnet.net*Delivered-to*: mathgroup-newsend@smc.vnet.net*References*: <20120901062806.D256E6872@smc.vnet.net>

Proof systems have certainly been attempted in add-on applications for Mathematica. E.g., "Theorema": http://www.risc.jku.at/research/theorema/software/ On Sep 1, 2012, at 2:28 AM, amzoti <amzoti at gmail.com> 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 math.umass.edu 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

**References**:**Mathematica Prove[...] Command Possible?***From:*amzoti <amzoti@gmail.com>