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

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: A finite set of all naturals
Replies: 15   Last Post: Aug 17, 2013 3:10 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 8,833
Registered: 1/6/11
Re: A finite set of all naturals
Posted: Aug 16, 2013 3:33 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

In article <>,
quasi <quasi@null.set> wrote:

> quasi wrote:
> >
> > Or how about the following instead?
> >
> > odd(x) <-> [x*y=2*z] -> Ew[y=2*w]

> to Nam:
> Since you've has already defined various versions of even(x),
> my above definition of odd(x) can be expressed more simply as:
> odd(x) <-> even(x*y) -> even(y)
> Doesn't that qualify as a "positive formula"?
> quasi

I like that one!

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-2018. All Rights Reserved.