Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: WM <wolfgang.mueckenheim@tha.de>
Newsgroups: sci.math
Subject: Re: Incompleteness of Cantor's enumeration of the rational numbers
 (extra-ordinary)
Date: Fri, 17 Jan 2025 10:08:19 +0100
Organization: A noiseless patient Spider
Lines: 64
Message-ID: <vmd6m3$3vamp$1@dont-email.me>
References: <vg7cp8$9jka$1@dont-email.me> <vlir7p$24c51$1@dont-email.me>
 <417ff6da-86ee-4b3a-b07a-9c6a8eb31368@att.net> <vllfof$2n0uj$2@dont-email.me>
 <07258ab9-eee1-4aae-902a-ba39247d5942@att.net> <vlmst2$2vjr0$3@dont-email.me>
 <1ebbc233d6bab7878b69cae3eda48c7bbfd07f88@i2pn2.org>
 <vlo5f4$39hil$2@dont-email.me>
 <4c89380adaad983f24d5d6a75842aaabbd1adced@i2pn2.org>
 <vloule$3eqsr$1@dont-email.me>
 <ffffed23878945243684de7f2aa9aaaf29564508@i2pn2.org>
 <vlrej9$2m5k$1@dont-email.me> <d6ed4797-65e8-4004-853c-f07a37af0c11@att.net>
 <vls4j6$7v2k$3@dont-email.me> <494bfd3b-3c70-4d8d-9c70-ce917c15fc22@att.net>
 <vm0okb$16cq0$2@dont-email.me> <bff18686-503a-4b7b-9406-b47796f68b47@att.net>
 <vm15pj$18v7t$1@dont-email.me> <72142d82-0d71-460a-a1be-cadadf78c048@att.net>
 <vm3hrs$1s9ld$2@dont-email.me> <812e64b1-c85c-48ac-a58c-e8955bc02f8c@att.net>
 <vm59g4$2b5ib$1@dont-email.me> <b5040865-50e6-4297-a08c-0072e0a2cb0f@att.net>
 <vm8trc$30hqq$9@dont-email.me> <ec8c4429-b724-4ea6-ad38-80a97cf6b06c@att.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 17 Jan 2025 10:08:20 +0100 (CET)
Injection-Info: dont-email.me; posting-host="a6c73d007ef55a9d756026fd0a4b284b";
	logging-data="4172505"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+oKBnFsUQuqfsQA/dIvlaihGDTgyjtwaw="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:XX6ujeH0KeR5XvA4VziTu8n9t2U=
In-Reply-To: <ec8c4429-b724-4ea6-ad38-80a97cf6b06c@att.net>
Content-Language: en-US
Bytes: 4112

On 16.01.2025 23:22, Jim Burns wrote:
> On 1/15/2025 1:13 PM, WM wrote:
>> On 14.01.2025 19:41, Jim Burns wrote:
>>> On 1/14/2025 4:07 AM, WM wrote:
>>>> On 13.01.2025 20:31, Jim Burns wrote:
> 
>>>>> A step is never from finite to infinite.
>>
>> The dark realm is appears infinite.
> 
> Nowhere,
> among what appears and
> among what doesn't appear,
> is there a step from finite to infinite.

There is a step between the largest number accessed in the system by 
FISONs and its successors, which are dark but may become visible.
But the border is not fixed.
There is a step between the largest number accessible in a system and 
its successors, which are dark and remain dark.
But the border is not sharp

An example is the pocket calculator where all numbers after 
9.999999999*10^99 are dark and remain dark. But already many smaller 
numbers are dark and remain dark.

The domain of visible numbers ends at 10^10.

> Nowhere,
> among what appears and
> among what doesn't appear,
> is there finite ω-1 and infinite (ω-1)+1

So it appears because ω and ω-1 are dark. But if ω is assumed to exist, 
then there is a set cotaining ω elements. From this set one element can 
be subtracted.
> 
> Also, more generally,
> there is no infiniteˢᵉᵗ smaller than ℕ

Therefore ℕ \ {1} is finite. But it appears infinite like all sets which 
cannot be counted by FISONs. All dark numbers larger than ω/n appear 
infinite.
> 
> ⎛ For each finiteᵒʳᵈ k
> ⎜ ∃fₖ one.to.one: ⟦0,k⦆ ⇉ 𝕌

There is no one-to-one outside of the visible domain (except that 
identity mappings are assumed to exist).
> None of those finitesᵒʳᵈ is the size of ℕ

All endsegments following the first sets below

{1} | {2, 3, 4, ...}
{1, 2} | {3, 4, ...}
{1, 2, 3} | {4, ...}
....

appear infinite. The first sets beyond the visible domain of FISONs 
appear infinite but are finite. Only when the endsegments have lost, one 
by one, all elements, the first set is actually infinite.

Regards, WM