Deutsch   English   Français   Italiano  
<vjorjb$12j1k$1@dont-email.me>

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

Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!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: Mon, 16 Dec 2024 11:23:56 +0200
Organization: -
Lines: 20
Message-ID: <vjorjb$12j1k$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> <vjjfmj$3tuuh$1@dont-email.me> <vjjgds$3tvsg$2@dont-email.me> <539edbdf516d69a3f1207687b802be7a86bd3b48@i2pn2.org> <vjk97t$1tms$1@dont-email.me> <c9e28c8c52f4885d550cd9c4083d9cf19331e572@i2pn2.org> <vjku0v$5rcl$2@dont-email.me> <vjmcb9$hl7j$3@dont-email.me> <vjmdic$hn65$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 16 Dec 2024 10:23:56 +0100 (CET)
Injection-Info: dont-email.me; posting-host="af7cde2257a3bafb76deb887837de21d";
	logging-data="1133620"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18ARZKZz1OlRcckqWdvVagP"
User-Agent: Unison/2.2
Cancel-Lock: sha1:oiki547oQrodQHb9Im3t7hd8foE=
Bytes: 1997

On 2024-12-15 11:12:13 +0000, WM said:

> On 15.12.2024 11:51, Mikko wrote:
>> On 2024-12-14 21:40:48 +0000, WM said:
>> 
>>> In a geometry where all points exist, all points can be passed.
>> 
>> Yes but none of them can be passed before passing other points.
> 
> That contradicts the actual existence of all. When other points a re 
> passed, the former has been passed before. Otherwise it would not be 
> the former.

Because the former is passed before the latter is not the next point.
Because a yet another point is passed before the former the former
is not the next point, either. There is no next point.

-- 
Mikko