Path: ...!news.snarked.org!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: Sun, 1 Dec 2024 18:03:54 +0100
Organization: A noiseless patient Spider
Lines: 26
Message-ID: <vii4ts$2l59o$1@dont-email.me>
References: <vg7cp8$9jka$1@dont-email.me>
 <4a810760-86a1-44bb-a191-28f70e0b361b@att.net> <vi6uc3$3v0dn$4@dont-email.me>
 <b2d7ee1f-33ab-44b6-ac90-558ac2f768a7@att.net> <vi7tnf$4oqa$1@dont-email.me>
 <23311c1a-1487-4ee4-a822-cd965bd024a0@att.net>
 <e9eb6455-ed0e-43f6-9a53-61aa3757d22d@tha.de>
 <71758f338eb239b7419418f49dfd8177c59d778b@i2pn2.org>
 <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> <vieudg$1n4rv$1@dont-email.me>
 <vievt2$1n9et$1@dont-email.me>
 <9510dd5dbc6edac4b3f35491638b7f27b25e6c43@i2pn2.org>
 <vifhhj$1rcah$2@dont-email.me>
 <09f402dd7ae9238423a75667c8cf2bba9552d728@i2pn2.org>
 <vifnvp$1rcah$4@dont-email.me>
 <2c8b9225d2abecd97de55f51d1ad6f08ec5a9b5c@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 01 Dec 2024 18:03:56 +0100 (CET)
Injection-Info: dont-email.me; posting-host="bdab62a6c4daff67ae482dfa87ea39c2";
	logging-data="2790712"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+dUt4sU5/GaYrGCx0rCfgKx/A/9t1g4V0="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:rGokd+aC9rTvRtPHQpaJdB2fu8g=
Content-Language: en-US
In-Reply-To: <2c8b9225d2abecd97de55f51d1ad6f08ec5a9b5c@i2pn2.org>
Bytes: 2976

On 01.12.2024 12:59, joes wrote:
> Am Sat, 30 Nov 2024 20:10:49 +0100 schrieb WM:

>> There is an infinite sequence of endsegments E(1), E(2), E(3), ... and
>> an infinite sequence of their intersections E(1), E(1)∩E(2),
>> E(1)∩E(2)∩E(3), ... .
>> Both are identical - from the first endsegment on until every existing
>> endsegment.
> How surprising.

For most set theorists certainly.

>>>> Of course. Only for finite k the endsegments are infinite.
>>> All natural k are finite.
>> Then all endsegments are infinite like their intersections.
> ...for every natural (which are finite), but not for the limit.

The limit cannot differ from all endsegments E(k) by more than one 
elements because infinitely many natnumbers cannot disappear in between.
∀k ∈ ℕ : E(k+1) = E(k) \ {k}. Who should eat up the infinitely many 
natnumbers?

Regards, WM