Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

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


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

Topic: A finite set of all naturals
Replies: 43   Last Post: Aug 25, 2013 4:38 PM

Advanced Search

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

Posts: 10,451
Registered: 7/15/05
Re: A finite set of all naturals
Posted: Aug 23, 2013 5:03 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Peter Percival wrote:
>Nam Nguyen wrote:
>>
>> I certainly meant "odd(x) can _NOT_ be defined as a
>> positive formula ...".

>
>Prove it.


With Nam's new definition of positive/negative, I think
it's immediately provable (subject to some clarification as
to what a formula is) that odd(x) is a negative formula.

Let even(x) <-> Ey(x=2*y).

Assuming Nam's definition of "formula" supports the claim
that even(x) is a positive formula, then odd(x) must be
a negative formula since odd(x) is equivalent to ~even(x).

So, conceding that, where does he go with it?

quasi


Date Subject Author
8/22/13
Read Re: A finite set of all naturals
namducnguyen
8/22/13
Read Re: A finite set of all naturals
namducnguyen
8/23/13
Read Re: A finite set of all naturals
Peter Percival
8/23/13
Read Re: A finite set of all naturals
quasi
8/23/13
Read Re: A finite set of all naturals
Peter Percival
8/23/13
Read Re: A finite set of all naturals
namducnguyen
8/23/13
Read Re: A finite set of all naturals
Peter Percival
8/24/13
Read Re: A finite set of all naturals
Peter Percival
8/24/13
Read Re: A finite set of all naturals
namducnguyen
8/23/13
Read Re: A finite set of all naturals
Shmuel (Seymour J.) Metz
8/23/13
Read Re: A finite set of all naturals
namducnguyen
8/23/13
Read Re: A finite set of all naturals
Peter Percival
8/23/13
Read Re: A finite set of all naturals
namducnguyen
8/24/13
Read Re: A finite set of all naturals
Peter Percival
8/24/13
Read Re: A finite set of all naturals
namducnguyen
8/24/13
Read Re: A finite set of all naturals
Peter Percival
8/24/13
Read Re: A finite set of all naturals
Shmuel (Seymour J.) Metz
8/25/13
Read Re: A finite set of all naturals
namducnguyen
8/25/13
Read Re: A finite set of all naturals
Peter Percival
8/25/13
Read Re: A finite set of all naturals
fom
8/25/13
Read Re: A finite set of all naturals
Shmuel (Seymour J.) Metz
8/24/13
Read Re: A finite set of all naturals
Shmuel (Seymour J.) Metz
8/24/13
Read Re: A finite set of all naturals
Shmuel (Seymour J.) Metz
8/23/13
Read Re: A finite set of all naturals
tommy1729_
8/23/13
Read Re: A finite set of all naturals
Peter Percival
8/23/13
Read Re: A finite set of all naturals
namducnguyen
8/23/13
Read Re: A finite set of all naturals
Peter Percival
8/23/13
Read Re: A finite set of all naturals
namducnguyen
8/24/13
Read Re: A finite set of all naturals
Peter Percival
8/24/13
Read Re: A finite set of all naturals
namducnguyen
8/24/13
Read Re: A finite set of all naturals
Peter Percival
8/24/13
Read Re: A finite set of all naturals
namducnguyen
8/24/13
Read Re: A finite set of all naturals
Peter Percival
8/24/13
Read Re: A finite set of all naturals
namducnguyen
8/24/13
Read Re: A finite set of all naturals
Peter Percival
8/24/13
Read Re: A finite set of all naturals
fom
8/24/13
Read Re: A finite set of all naturals
Ben Bacarisse
8/24/13
Read Re: A finite set of all naturals
namducnguyen
8/24/13
Read Re: A finite set of all naturals
fom
8/24/13
Read Re: A finite set of all naturals
Peter Percival
8/24/13
Read Re: A finite set of all naturals
fom
8/25/13
Read Re: A finite set of all naturals
Peter Percival
8/23/13
Read Re: A finite set of all naturals
Shmuel (Seymour J.) Metz

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

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.