Path: ...!eternal-september.org!feeder3.eternal-september.org!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: joes Newsgroups: sci.logic Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Date: Thu, 12 Dec 2024 13:59:02 -0000 (UTC) Organization: i2pn2 (i2pn.org) Message-ID: <62d0f2153c21d03dd687f611484b4a6dc91e00d5@i2pn2.org> References: <0b1bb1a1-40e3-464f-9e3d-a5ac22dfdc6f@tha.de> <95183b4d9c2e32651963bac79965313ad2bfe7e8@i2pn2.org> <33512b63716ac263c16b7d64cd1d77578c8aea9d@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Thu, 12 Dec 2024 13:59:02 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="2469097"; 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: 2588 Lines: 15 Am Tue, 10 Dec 2024 18:01:04 +0100 schrieb WM: > On 10.12.2024 13:19, Richard Damon wrote: > >> The pairing is between TWO sets, not the members of a set with itself. > > The pairing is between the elements. Otherwise you could pair R and Q by > simply claiming it. > "The infinite sequence thus defined has the peculiar property to contain > the positive rational numbers completely, and each of them only once at > a determined place." [Cantor] Note the numbers, not the set. What Richard meant: do not confuse the set being mapped with the one being mapped onto. -- 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.