Path: ...!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: Thu, 21 Nov 2024 11:21:10 +0200
Organization: -
Lines: 23
Message-ID: <vhmu26$j2uq$1@dont-email.me>
References: <vg7cp8$9jka$1@dont-email.me> <0e67005f-120e-4b3b-a4d2-ec4bbc1c5662@att.net> <vga5mb$st52$1@dont-email.me> <vga7qi$talf$1@dont-email.me> <b7c91a30-bc53-487c-a395-daf023dbb78c@tha.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 21 Nov 2024 10:21:10 +0100 (CET)
Injection-Info: dont-email.me; posting-host="d333dea12437121c1d45e82a4f30cae6";
	logging-data="625626"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18zQ+86MdqevuggpvW1K0eT"
User-Agent: Unison/2.2
Cancel-Lock: sha1:49knEhjx0MmTANliiaU2Te5drrg=
Bytes: 1655

On 2024-11-04 10:47:39 +0000, WM said:

> On 04.11.2024 11:31, Mikko wrote:
>> 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.
> 
> In geometry it has.

Depends on the set of intervals. There is no nearest from Cantor's set.
And "interval" is not a term of geometry.

-- 
Mikko