Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.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, 6 Dec 2024 09:19:22 +0100
Organization: A noiseless patient Spider
Lines: 72
Message-ID: <viuc2a$27gm1$1@dont-email.me>
References: <vg7cp8$9jka$1@dont-email.me> <via83s$jk72$2@dont-email.me>
 <viag8h$lvep$1@dont-email.me> <viaj9q$l91n$1@dont-email.me>
 <vibvfo$10t7o$1@dont-email.me> <vic6m9$11mrq$4@dont-email.me>
 <vicbp2$1316h$1@dont-email.me> <vid4ts$1777k$2@dont-email.me>
 <vidcv3$18pdu$1@dont-email.me> <bdbc0e3d-1db2-4d6a-9f71-368d36d96b40@tha.de>
 <vier32$1madr$1@dont-email.me> <vierv5$1l1ot$2@dont-email.me>
 <viiqfd$2qq41$5@dont-email.me> <vik73d$3a9jm$1@dont-email.me>
 <vikg6c$3c4tu$1@dont-email.me> <9bcc128b-dea8-4397-9963-45c93d1c14c7@att.net>
 <vimvgd$3vv5r$9@dont-email.me> <50c82b03-8aa1-492c-9af3-4cf2673d6516@att.net>
 <vip5mo$p0da$1@dont-email.me> <vipb6l$qfig$1@dont-email.me>
 <viplj0$t1f8$1@dont-email.me> <5a122d22-2b21-4d65-9f5b-4f226eebf9d4@att.net>
 <viq3i2$105iq$1@dont-email.me> <e055ec41-a98d-4917-802f-169575a5b556@att.net>
 <virq3t$1gs07$1@dont-email.me> <c8faf784-348a-42e9-a784-b2337f4e8160@att.net>
 <3af23566-0dfc-4001-b19b-96e5d4110fee@tha.de>
 <ae606e53-0ded-4101-9685-fa33c9a35cb9@att.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 06 Dec 2024 09:19:23 +0100 (CET)
Injection-Info: dont-email.me; posting-host="ff5d4c1746be174aa0911c0a940afba9";
	logging-data="2343617"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+QzMdOed9OuBl8duy/w/SypjINtP9VN/I="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:pBobv8USbEAhd5OO51vR0HwonOU=
Content-Language: en-US
In-Reply-To: <ae606e53-0ded-4101-9685-fa33c9a35cb9@att.net>
Bytes: 4407

On 05.12.2024 23:20, Jim Burns wrote:
> On 12/5/2024 2:30 PM, WM wrote:

Your following exposition is lucid and clear. It was a pleasure for me 
to discuss it!
>>
>> And it is the empty endsegment.
> 
> Depending upon how 'end.segment' is defined,
> {} either is or isn't an end.segment.
> Consider the options.
> 
> ⎛ With {} as an end.segment,
> ⎜ there are more.than.finite.many end.segments,
> ⎜ too many for any finite.cardinal to be
> ⎜ in common with all end segments.
> ⎜ And therefore,
> ⎜ the intersection of all holds no finite cardinal.

Yes.
> ⎜
> ⎜ With {} NOT as an end.segment,

all endsegments hold content.

> ⎜ there STILL are more.than.finite.many end.segments,

Not actually infinitely many however. If all endsegments have content, 
then not all natnumbers are indices, then the indices have an upper bound.

> ⎜ too many for any finite.cardinal to be
> ⎜ in common with all end segments.

Too many for all definable natnumbers. But by assumption of content not 
all natnumbers have become indices.

> ⎜ And therefore,
> ⎝ the intersection of all STILL holds no finite cardinal.

No definable finite cardinal.

> The intersection of all non.empty.end.segments
> of the finite.cardinals,
> which are each infinite non.empty.end.segments,
> is empty.

That is a wrong conclusion because inclusion monotony prevents an empty 
intersection of non-empty endsegments:
∀n ∈ ℕ: E(1)∩E(2)∩...∩E(n) = E(n)
Identical sequences have identical limits.
> 
> Because,
> ⎛ for each finite.cardinal,
> ⎜ there are fewer finite.cardinals before it
> ⎝ than there are finite.cardinals after it.

That is true only for definable or accessible cardinals.
All cardinals however can be exhausted with no remainder:
"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." [G. Cantor, letter to R. Lipschitz (19 Nov 1883)]
None is missing,let alone a natural number.

> Not because
> ( an end.segment is empty.

This argument is wrong if infinite bijections are assumed to exist. 
However "fewer finite.cardinals before it than there are 
finite.cardinals after" is the your only argument.

Regards, WM