Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: WM <wolfgang.mueckenheim@tha.de>
Newsgroups: sci.logic
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
Date: Sat, 14 Dec 2024 09:42:37 +0100
Organization: A noiseless patient Spider
Lines: 20
Message-ID: <vjjgds$3tvsg$2@dont-email.me>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 14 Dec 2024 09:42:37 +0100 (CET)
Injection-Info: dont-email.me; posting-host="b67ed49269f1575d0aac6d4d8c698b63";
	logging-data="4128656"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19jz7ecH1WM2BdcIovRxTdwFo9Km5yKK1c="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:gcLNxSEyQ2Ave2Vxvh88afBtzJw=
Content-Language: en-US
In-Reply-To: <vjjfmj$3tuuh$1@dont-email.me>
Bytes: 1863

On 14.12.2024 09:30, Mikko wrote:
> On 2024-12-13 10:28:44 +0000, WM said:
> 
>> On 13.12.2024 10:46, Mikko wrote:
>>
>>> Between any two intervals there is space and that space contains other
>>> intervals.
>>
>> No. Starting from a point in the complement the cursor will hit a 
>> first interval. This is true for all visible intervals.
> 
> False. From a point that is not a part of an interval no interval is the
> nearest one because another interval is nearer.

IF ALL intervals and their endpoints are existing as invariable points 
on the real line this cannot happen. In potential infinity however 
between any two points new intervals come into being.

Regards, WM