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.independent

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 ]
Peter Percival

Posts: 1,296
Registered: 10/25/10
Re: A finite set of all naturals
Posted: Aug 23, 2013 10:17 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

Nam Nguyen wrote:
> On 23/08/2013 7:51 AM, Peter Percival wrote:
>> quasi wrote:
>>> 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

>>
>> But who's to say that there isn't a positive formula phi with one free
>> variable x such that phi(x) <-> odd(x)?

>
>

>> phi may be taken as a definition of odd.
>
> Sure. If in the language of arithmetic - or L(*), you defined:
>
> odd(x) <-> Ey(x=2*y)
>
> then _this_ odd(x) would be positive as expressed in _both_ languages.


Then why did you write:
> I certainly meant "odd(x) can _NOT_ be defined as a
> positive formula ...".


> That still doesn't "invalidate" the _definitions_ .
>



--
Sorrow in all lands, and grievous omens.
Great anger in the dragon of the hills,
And silent now the earth's green oracles
That will not speak again of innocence.
David Sutton -- Geomancies


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.