Path: ...!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.logic
Subject: Re: Replacement of Cardinality
Date: Wed, 31 Jul 2024 20:09:53 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <20e0e340532aa10bcc86e51eb5d19d006acefb12@i2pn2.org>
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <e55475b3fede49578ff8924bb11ffae6bbd577f3@i2pn2.org>
 <Hvx9pkNBibwnsRP7U8XbISIAywo@jntp>
 <f532ab6ece8e11409c83d9033e1607b0bee97f28@i2pn2.org>
 <9xKV2FrNFAjW0MsxhKvnP9dPB4w@jntp>
 <cec0225a1e6ec21e1bca57b37fff99612e4505c4@i2pn2.org>
 <8G0IFYrPqHdBEH1pzbz9ifVRvd0@jntp>
 <11698e94cb8361b62f1686b64d6351a9720d4d3d@i2pn2.org>
 <nhZZyv1rDmL90pLuaDma-8md3qw@jntp>
 <1b259a91952c93a56ad1e0063a2d7440aed185f2@i2pn2.org>
 <rHIaB-dFODVqSY7-aRnf4ItTyG0@jntp>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 1 Aug 2024 00:09:53 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1033956"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <rHIaB-dFODVqSY7-aRnf4ItTyG0@jntp>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 3599
Lines: 76

On 7/31/24 10:27 AM, WM wrote:
> Le 31/07/2024 à 03:28, Richard Damon a écrit :
>> On 7/30/24 1:37 PM, WM wrote:
>>> Le 30/07/2024 à 03:18, Richard Damon a écrit :
>>>> On 7/29/24 9:11 AM, WM wrote:
>>>
>>>>>> But what number became ω when doubled?
>>>
>>> ω/2
>>
>> And where is that in {1, 2, 3, ... w} ?
> 
> In the midst, far beyond all definable numbers, far beyond ω/10^10.

In other words, outside the Natural Nubmer, all of which are defined and 
definable.

>>
>> The input set was the Natural Numbers and w, 
> 
> ω/10^10 and ω/10 are dark natural numbers.

They may be "dark" but they are not Natural Numbers.

Natural numbers, by their definition, are reachable by a finite number 
of successor operations from 0.

>>>>> If all natural numbers exist, then ω-1 exists.
>>>>
>>>> Why?
>>>
>>> Because otherwise there was a gap below ω.
>>
>> But you combined two different sets, so why can't there be a gap?
> 
> I assume completness.

I guess you definition of "completeness" is incorrect.

If I take the set of all cats, and the set of all doges, can there not 
be a gap between them?

> 
>>> ∀n ∈ ℕ: 1/n - 1/(n+1) > 0. Note the universal quantifier.
>>
>> Right, so we can say that ∀n ∈ ℕ: 1/n > 1/(n+1), so that for every 
>> unit fraction 1/n, there exists another unit fraction smaller than 
>> itself.
> 
> No. My formula says ∀n ∈ ℕ.

Right, for ALL n in ℕ, there exist another number in ℕ that is n+1, and 
that one has an n+2, which has an n+3 and so on continuing without bound.

If you want there to be a n that doesn't have an n+1 in the set, then 
you are not talking about the actual Natural Numbers, because you logic 
system just can't handle them.

That just proves you are using too primative of tools for the task at 
hand, which has been obvious for years.

>>
>> Remember, one property of Natural numbers that ∀n ∈ ℕ: n+1 exists.
> 
> Not for all dark numbers.

Maybe not for dark numbers, but it does for all Natural Numbers, as that 
is part of their DEFINITION.

Of course, if you logic is based on lying about definitions, it isn't 
good for must.

> 
> Regards, WM
> 
>