Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
Date: Sat, 14 Dec 2024 10:30:11 +0200
Organization: -
Lines: 19
Message-ID: <vjjfmj$3tuuh$1@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 14 Dec 2024 09:30:12 +0100 (CET)
Injection-Info: dont-email.me; posting-host="7b068bf81981cfd4109a3b908ca6ac31";
	logging-data="4127697"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19YzeE8zoZhA5akyF0j+U/C"
User-Agent: Unison/2.2
Cancel-Lock: sha1:KeVZvCD8h4R/X4aduXtUku8Yucg=
Bytes: 1542

On 2024-12-13 10:28:44 +0000, WM said:

> On 13.12.2024 10:46, Mikko wrote:
> 
>> Between any two intevals 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.

Note that altough you is a nearest interval you have never presented
an example.

-- 
Mikko