Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.logic,sci.math
Subject: Re: Replacement of Cardinality
Date: Sat, 17 Aug 2024 10:29:14 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <155cdc8a628d47be1632791227bccf99425b1d5e@i2pn2.org>
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <fcd3f5f1-fd6e-44ac-823d-fa567d5fb9ba@att.net>
 <t_rVz7RU7M3aHZTB1TQJS59Ez0I@jntp>
 <45ad1007-b1a7-49d0-a650-048f02738226@att.net>
 <ZrUpfgO3RQL0qsj_ugH_ng035iM@jntp>
 <e51a19c8-9f22-43ec-a382-b93019b4ce1d@att.net>
 <Aj67svgBqlC6ubyAZ01SM3EN5mc@jntp>
 <9ef8dd8a-69be-44e2-bcf6-ea9c1fb30e21@att.net>
 <LHtSphVaxvF9i9lsFtvEfbB4PS8@jntp>
 <92189533-0c1f-4532-816f-564651cc8bf7@att.net>
 <zzRMVwrDvZCAHeIta8vMnBBxp8E@jntp>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 17 Aug 2024 14:29:14 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2897735"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <zzRMVwrDvZCAHeIta8vMnBBxp8E@jntp>
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2423
Lines: 29

On 8/17/24 9:28 AM, WM wrote:
> Le 16/08/2024 à 19:39, Jim Burns a écrit :
> 
>> no element of ℕᵈᵉᶠ is its upper.end,
>> because
>> for each diminishable k
>> diminishable k+1 disproves by counter.example
>> that k is the upper.end of ℕᵈᵉᶠ
> 
> SBZ(x) starts with 0 at 0 and increases, but at no point x it increases 
> by more than 1 because of
> ∀n ∈ ℕ: 1/n - 1/(n+1) > 0. Therefore there is a smallest unit fractions 
> and vice versa a greatest natnumber.
> What can't you understand?
> 
> Regards, WM

But there is no point (>0) where it has a finite value, so it just isn't 
a defined function for x>0.

Sorry, you just don't understand how math works, because it seems you 
only know counting on your fingers.

The can NOT be a greatest Natural Number because of how they are defined.

If you natnumber are something different, then you need to try to define 
them and work out their properties,

Then tell people what they can do with your fake "natnumbers" that is 
better than the real Natural Numbers.