Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!news.nk.ca!rocksolid2!i2pn2.org!.POSTED!not-for-mail From: joes Newsgroups: sci.math Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers (extra-ordinary) Date: Thu, 5 Dec 2024 12:56:15 -0000 (UTC) Organization: i2pn2 (i2pn.org) Message-ID: References: <87frn50zjp.fsf@bsb.me.uk> <87y10vzo35.fsf@bsb.me.uk> <87ser3zgez.fsf@bsb.me.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Date: Thu, 5 Dec 2024 12:56:15 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1375095"; 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: 2637 Lines: 17 Am Thu, 05 Dec 2024 12:42:17 +0100 schrieb WM: > On 05.12.2024 11:53, joes wrote: >> Am Thu, 05 Dec 2024 09:54:11 +0100 schrieb WM: >>> On 04.12.2024 20:59, Chris M. Thomasson wrote: >>> >>>> Not sure why WM thinks that Cantor Pairing does not work with any >>>> natural number... I think I am not misunderstanding WM here. >>> Take any natnumber you can. Almost all natnumbers are following. >>> Infinitely many of them cannot be "taken" or "given" and cannot be >>> proven to be in any mapping. But Cantor claims that all without any >>> exception can be taken. >> Yes, of course they can? Why shouldn't they? What does it mean to you? > But every number you can take belongs to a vanishing subset of ℕ. What does that have to do with the ability to be "chosen"? -- 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.