Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder2.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: Mon, 4 Nov 2024 12:31:46 +0200
Organization: -
Lines: 18
Message-ID: <vga7qi$talf$1@dont-email.me>
References: <vg7cp8$9jka$1@dont-email.me> <0e67005f-120e-4b3b-a4d2-ec4bbc1c5662@att.net> <vga5mb$st52$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 04 Nov 2024 11:31:46 +0100 (CET)
Injection-Info: dont-email.me; posting-host="cf86f1da6ec068d5f0591867c281ef2e";
	logging-data="961199"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18e8mJCPHGdT+Nl0CULY5We"
User-Agent: Unison/2.2
Cancel-Lock: sha1:qUdNn56nnZEiMVO/y8hpWE60oYw=
Bytes: 1602

On 2024-11-04 09:55:24 +0000, WM said:

> On 03.11.2024 23:18, Jim Burns wrote:
> 
>> There aren't any neighboring intervals.
>> Any two intervals have intervals between them.
> 
> That is wrong. The measure outside of the intervals is infinite. Hence 
> there exists a point outside. This point has two nearest intervals

No, it hasn't. Between that point an an interval there are rational
numbers and therefore other intervals, at least some of which do not
cover the point and don't overlap with the interval. Therefore the
point has no nearest interval.

-- 
Mikko