| 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.