Search All of the Math Forum:

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

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

Topic: A finite set of all naturals
Replies: 32   Last Post: Aug 15, 2013 4:07 PM

 Messages: [ Previous | Next ]
 Marshall Posts: 1,936 Registered: 8/9/06
Re: A finite set of all naturals
Posted: Aug 13, 2013 12:24 AM

On Monday, August 12, 2013 8:26:40 PM UTC-7, Nam Nguyen wrote:
>
> >>>> Def-03a: even1(x) <-> Ey[x=y+y]
> >>>> Def-03b: even2(x) <-> Ey[x=2*y]
> >>>> Def-03c: even(x) <-> (even1(x) \/ even2(x))

>
> The point is though the essences of the 2 conjectures are drastically
> different: _an odd number can not be defined without addition_ while
> an even number can (as per Def-03b above).

Def-03d: odd(x) <-> !Ey[x=2*y]

Date Subject Author
8/12/13 Ben Bacarisse
8/12/13 Peter Percival
8/12/13 fom
8/12/13 Ben Bacarisse
8/12/13 namducnguyen
8/12/13 namducnguyen
8/12/13 antani
8/12/13 namducnguyen
8/13/13 Marshall
8/13/13 quasi
8/13/13 namducnguyen
8/13/13 quasi
8/13/13 namducnguyen
8/13/13 namducnguyen
8/13/13 quasi
8/13/13 namducnguyen
8/14/13 quasi
8/14/13 namducnguyen
8/14/13 quasi
8/14/13 namducnguyen
8/15/13 namducnguyen
8/15/13 Virgil
8/15/13 namducnguyen
8/15/13 antani
8/13/13 antani
8/13/13 Peter Percival
8/13/13 Ben Bacarisse
8/13/13 namducnguyen
8/14/13 Peter Percival
8/14/13 Shmuel (Seymour J.) Metz