Path: ...!news.misty.com!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: Incompleteness of Cantor's enumeration of the rational numbers
Date: Sun, 15 Dec 2024 16:14:03 -0500
Organization: i2pn2 (i2pn.org)
Message-ID: <75dbeab4f71dd695b4513627f185fcb27c2aaad1@i2pn2.org>
References: <vg7cp8$9jka$1@dont-email.me> <vg7vgh$csek$1@dont-email.me>
 <vg8911$dvd6$1@dont-email.me> <vjgvpc$3bb3f$1@dont-email.me>
 <vjh28r$3b6vi$4@dont-email.me> <vjjfmj$3tuuh$1@dont-email.me>
 <vjjgds$3tvsg$2@dont-email.me>
 <539edbdf516d69a3f1207687b802be7a86bd3b48@i2pn2.org>
 <vjk97t$1tms$1@dont-email.me> <vjmc7h$hl7j$1@dont-email.me>
 <vjmd6c$hn65$2@dont-email.me>
 <cdf0ae2d3923f3b700a619a16975564d95d38370@i2pn2.org>
 <vjnaml$n89f$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 15 Dec 2024 21:14:03 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3034362"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <vjnaml$n89f$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 2421
Lines: 27

On 12/15/24 2:29 PM, WM wrote:
> On 15.12.2024 13:52, Richard Damon wrote:
>> On 12/15/24 6:05 AM, WM wrote:
> 
>>> You believe that only afterwards the first interval comes into being?
>>> That is not the infinity used in set theory.
> 
>> There is no "next", only before or after in dense sets.
>>
>> Next is a property of directly indexed sets
> 
> Next is a geometric property, in particular since the average distance 
> of intervals is infinitely larger than their sizes.
> 
> Regards, WM

Nope. Next is a property of SEQUENCE.

Not sure where you get that the "average" distance of intervals is 
infinitely larger than ther sizes. If you allow skippping over other 
intervals, maybe, but then you are not looking at what you are trying to 
talk about.

To have a "next" point, there needs to be a point for which no other 
point can be between the given one and that one. Since we have more 
points between any two points, we don't have "next".

Your math is using the same error that shows that 0 == 1.