
Re: A finite set of all naturals
Posted:
Aug 24, 2013 3:46 PM


Jim Burns <burns.87@osu.edu> writes:
> On 8/24/2013 11:29 AM, Ben Bacarisse wrote: >> Jim Burns <burns.87@osu.edu> writes: >> >>> On 8/23/2013 4:31 PM, Ben Bacarisse wrote: >>>> Nam Nguyen <namducnguyen@shaw.ca> writes: >>>>> On 23/08/2013 1:46 PM, Ben Bacarisse wrote: > >>>>>> The example I gave (odd(x) <> Ey[Sx=2*y]) is clearly positive >>>>>> according to the definition he gave. >>>>> >>>>> But by the same token, I've defined odd(x) in _two different_ classes >>>>> of languages: one in which odd(x) is positive, one in which odd(x) >>>>> is negative. >>>>> >>>>> End of the story. >>>> >>>> Really? The original claim was that odd could not be (positively) >>>> defined without addition in the context of ordinary Peano arithmetic, >>>> whereas even could be. Then you changed that to "using only >>>> multiplication". Then you changed the definition of a positive formula >>>> twice. Now you are saying your claim is correct provided you get to >>>> choose the language  which, as far as I can tell, you have not yet >>>> specified? You thew in a reference to L(*), but your even predicate >>>> uses 2. Maybe you meant L(*,S,0)? Who knows? >>>> >>>> Remind me of this shifting quicksand the next time you make any claim! >>> >>> Not all of Nam's writing is quicksand. >>> >>> His conclusion, that even(x) is positive and odd(x) is negative, >>> remains rocksolid, while the way he reaches that conclusion, >>> what the conclusion means, and even the language in which >>> the conclusion is written all flow like water, not quicksand. >> >> Blimey, you understand the claim? > > I don't see why you think (that I think) I understand the claim. > Is this some of that "humor" I hear about? > > I know what the claim is and so do you. I think I may have some > insight into Nam himself. I offered that possible insight.
I suspect I've just misread the tone of your message and you are saying that he starts from a conviction that can never be shaken and hammers everything else into place round it.
<snip>  Ben.

