The Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math

Topic: A Basis for Symbolic Proving
Replies: 8   Last Post: Aug 31, 2009 8:21 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Dik T. Winter

Posts: 7,899
Registered: 12/6/04
Re: A Basis for Symbolic Proving
Posted: Aug 31, 2009 8:21 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

In article <ee103dc1-7867-4670-bace-0ff8acd20b5b@v2g2000vbb.googlegroups.com> M-Theory <scriber77@yahoo.com> writes:
> M-theory wrote:
> Dik T. Winter wrote:

> > In article <351e0132-0b43-4d12-81ef-e9be562c815c@q14g2000vbi.googlegroups.com> M-Theory <scriber77@yahoo.com> writes:
> > > "For every n in p, there exists an element -n in p, such that n + (-
> > > n)
> > > = 0"
> > >
> > > Is this proof valid based only on the information given?

> >
> > No.

>
> Why?


Because there is not enough information given.
--
dik t. winter, cwi, science park 123, 1098 xg amsterdam, nederland, +31205924131
home: bovenover 215, 1025 jn amsterdam, nederland; http://www.cwi.nl/~dik/



Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2017. All Rights Reserved.