Path: ...!Xl.tags.giganews.com!local-4.nntp.ord.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Tue, 07 Jan 2025 19:04:00 +0000
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
 (extra-ordinary)
Newsgroups: sci.math
References: <vg7cp8$9jka$1@dont-email.me>
 <bd7dfdc7-6471-4fe6-b078-0ca739031580@att.net> <vklumc$3htmt$1@dont-email.me>
 <c03cf79d-0572-4b19-ad92-a0d12df53db9@att.net> <vkp0fv$b7ki$2@dont-email.me>
 <b125beff-cb76-4e5a-b8b8-e4c57ff468e9@att.net> <vkr8j0$t59a$1@dont-email.me>
 <98519289-0542-40ce-886e-b50b401ef8cf@att.net> <vksicn$16oaq$7@dont-email.me>
 <8e95dfce-05e7-4d31-b8f0-43bede36dc9b@att.net> <vl1ckt$2b4hr$1@dont-email.me>
 <53d93728-3442-4198-be92-5c9abe8a0a72@att.net> <vl5tds$39tut$1@dont-email.me>
 <9c18a839-9ab4-4778-84f2-481c77444254@att.net> <vl87n4$3qnct$1@dont-email.me>
 <8ef20494f573dc131234363177017bf9d6b647ee@i2pn2.org>
 <vl95ks$3vk27$2@dont-email.me> <vl9ldf$3796$1@dont-email.me>
 <vlaskd$cr0l$2@dont-email.me> <vlc68u$k8so$1@dont-email.me>
 <vldpj7$vlah$7@dont-email.me>
 <a8b010b748782966268688a38b58fe1a9b4cc087@i2pn2.org>
 <vlei6e$14nve$1@dont-email.me> <66868399-5c4b-4816-9a0c-369aaa824553@att.net>
 <vlir7p$24c51$1@dont-email.me> <vlisr9$251u5$1@dont-email.me>
From: Ross Finlayson <ross.a.finlayson@gmail.com>
Date: Tue, 7 Jan 2025 11:03:15 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <vlisr9$251u5$1@dont-email.me>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <NLOdncHDlf495-D6nZ2dnZfqnPWdnZ2d@giganews.com>
Lines: 37
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-BmIbKd82/LOGtzmHu+97FYyEhr65nocAZGLWTAMv0Ddc6eVJkSw5VG0RDo6jZcqt0R0Q4/PGgNv8lx4!z4079hndkqmgEyqF0QnFTsWcMxX1E7Bcl7BQLYnPRyP8FGKhry8Cwu6OC/ky2rXc/6pRt5ZEZ/I=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
Bytes: 3183

On 01/07/2025 01:40 AM, FromTheRafters wrote:
> WM has brought this to us :
>> On 06.01.2025 23:43, Jim Burns wrote:
>>> On 1/5/2025 1:14 PM, WM wrote:
>>
>>>> ℕ cannot be covered by FISONs,
>>>> neither by many nor by their union.
>>>> If ℕ could be covered by FISONs
>>>> then one would be sufficient.
>>>
>>> ℕ is the set of finite.ordinals.
>>> ℕ holds each finite ordinal.
>>> ℕ holds only finite.ordinals.
>>
>>> ℕ| is by definition the smallest transfinite number, larger than every
>> natural number by every visible factor.
>>>
>>> k ∈ ℕ  ⇒  k+1 ∈ ℕ
>>> is true for both the darkᵂᴹ and the visibleᵂᴹ.
>>
>> One exception exists: ω-1.
>
> Which remains undefined.

That's _under_-defined, with regards to
its term, omega, 1, and subtraction,
or just omega and decrement,
or just constant and increment.

Well, now it's sort of defined, ....


The "counting backward from infinity"
is one of Cantor's great ideas,
you saying he can't just define it?