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,sci.math
Subject: Re: Replacement of Cardinality
Date: Fri, 2 Aug 2024 12:24:50 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <e7f793fb1fd82c90442679bfbcd2a334f10b7b13@i2pn2.org>
References: <hsRF8g6ZiIZRPFaWbZaL2jR1IiU@jntp>
 <11698e94cb8361b62f1686b64d6351a9720d4d3d@i2pn2.org>
 <nhZZyv1rDmL90pLuaDma-8md3qw@jntp>
 <1b259a91952c93a56ad1e0063a2d7440aed185f2@i2pn2.org>
 <rHIaB-dFODVqSY7-aRnf4ItTyG0@jntp>
 <20e0e340532aa10bcc86e51eb5d19d006acefb12@i2pn2.org>
 <el_h_RPLN1ZVr_KeaLK-R-0CPpY@jntp>
 <411a6d693f5dac5ec7cf51a239a9570ac5ce7bd4@i2pn2.org>
 <9ynqddb0aIxRIgzLd8YZuWqFJQQ@jntp>
 <e12da78fd53e95ae8b54c4b0f100c10542acfa1a@i2pn2.org>
 <-e7H52W39rR5zxvT-LWQK-OpG5Y@jntp>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 2 Aug 2024 16:24:50 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1215790"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <-e7H52W39rR5zxvT-LWQK-OpG5Y@jntp>
Content-Language: en-US
Bytes: 2866
Lines: 37

On 8/2/24 12:05 PM, WM wrote:
> Le 02/08/2024 à 17:59, Richard Damon a écrit :
>> On 8/2/24 7:38 AM, WM wrote:
>>> Le 01/08/2024 à 18:04, joes a écrit :
>>>> Am Thu, 01 Aug 2024 12:27:27 +0000 schrieb WM:
>>>
>>>>> separated from 0 by any eps. Therefore your claim is wrong.
>>>> No. There is ALWAYS an epsilon.
>>>
>>> Failing to separate almost all unit fractions.
>>> Don't claim the contrary. Define (separate by an eps from 0) all unit 
>>> fractions. Fail.
>>>>
>> Improperly revesing the conditionals.
> 
> Not at all! Recognizing that eps must be chosen. You cannot choose a eps 
> that separates more than few unit fractions. That is why most cranks 
> claim ∀x > 0:  NUF(x) ≥ ℵ₀. It holds or all x that can be chosen. How 
> should there be always an epsilon smaller than every x > 0 which fails? ? ?
> 
> Regards, WM

But you have the condition backwards.

The claim is that there is a finite difference that seperates any two 
specific unit fractions,

Not that there is a single finite difference that seperates any two 
arbirtry unit fractions.

Not understanding the order of the arguement just blow your logic up.

For your example, for any x, there is an eps = 1/(ceil(1/x)+1) that 
provides a unit fraction smaller than x, and thus NUF(x) can not be 1 
for any finite x.

The fact that we get a different eps for every x is not a problem, it is 
just a property of the unbounded nature of the numbers we are using.