Deutsch   English   Français   Italiano  
<539edbdf516d69a3f1207687b802be7a86bd3b48@i2pn2.org>

View for Bookmarking (what is this?)
Look up another Usenet article

Path: ...!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.org>
Newsgroups: sci.logic
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
Date: Sat, 14 Dec 2024 11:06:46 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <539edbdf516d69a3f1207687b802be7a86bd3b48@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 14 Dec 2024 11:06:46 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2789670"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 1966
Lines: 18

Am Sat, 14 Dec 2024 09:42:37 +0100 schrieb WM:
> 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.
They are ALREADY there. 

-- 
Am Sat, 20 Jul 2024 12:35:31 +0000 schrieb WM in sci.math:
It is not guaranteed that n+1 exists for every n.