Path: ...!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: Thu, 12 Dec 2024 10:12:26 +0100
Organization: A noiseless patient Spider
Lines: 33
Message-ID: <vje9dp$229c8$1@dont-email.me>
References: <vg7cp8$9jka$1@dont-email.me> <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> <viuc2a$27gm1$1@dont-email.me>
 <8a53c5d4-4afd-4f25-b1da-30d57e7fe91c@att.net> <vj1acu$31atn$3@dont-email.me>
 <ec451cd6-16ba-463d-8658-8588093e1696@att.net> <vj2f61$3b1no$1@dont-email.me>
 <10ebeeea-6712-4544-870b-92803ee1e398@att.net> <vj3tl0$3nktg$2@dont-email.me>
 <1f1a4089-dfeb-45f8-9c48-a36f6a4688fb@att.net> <vj6bqo$b6bt$1@dont-email.me>
 <b09445be167b757878741be04c87cf76d24d9786@i2pn2.org>
 <vj6psc$dp01$1@dont-email.me>
 <84818a4f5d3795b746b017ad0861a3d818c5b053@i2pn2.org>
 <vj8vd0$stav$1@dont-email.me>
 <5805ad50ebff3400d1370d8c99790cbc727a340a@i2pn2.org>
 <e86171d3-e5c1-4725-952d-d4da0f4ded07@tha.de>
 <1ac93432f1ba567e0f15308b8964bee86b92c706@i2pn2.org>
 <vjc7q2$1ir2f$2@dont-email.me>
 <4e7901e16785581d0d02a2d6474d7d2615c5fac9@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 12 Dec 2024 10:12:25 +0100 (CET)
Injection-Info: dont-email.me; posting-host="39414cd0f05a8e20932c6b67d38403b5";
	logging-data="2172296"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19lrWTuF6Cds2bttVaucQOVDC6p++SoASc="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:RUuXBMvZxzBh+VaZ7Ux6TUqB6uQ=
In-Reply-To: <4e7901e16785581d0d02a2d6474d7d2615c5fac9@i2pn2.org>
Content-Language: en-US
Bytes: 3351

On 12.12.2024 01:32, Richard Damon wrote:
> On 12/11/24 9:32 AM, WM wrote:
>> On 11.12.2024 03:04, Richard Damon wrote:
>>> On 12/10/24 12:30 PM, WM wrote:
>>>> On 10.12.2024 13:17, Richard Damon wrote:
>>>>> On 12/10/24 3:50 AM, WM wrote:
>>>>
>>>>>> Two sequences that are identical term by term cannot have 
>>>>>> different limits. 0^x and x^0 are different term by term.
>>>>>
>>>>> Which isn't the part I am talking of, it is that just because each 
>>>>> step of a sequence has a value, doesn't mean the thing that is at 
>>>>> that limit, has the same value.
>>>>
>>>> Of course not. But if each step of two sequences has the same value, 
>>>> then the limits are the same too. This is the case for
>>>>   (E(1)∩E(2)∩...∩E(n)) and (E(n)).
>>
>>> But the limit of the sequence isn't necessary what is at the "end" of 
>>> the sequence.
>>
>> The end of the sequence is defined by ∀k ∈ ℕ : E(k+1) = E(k) \ {k}.

> None of which are an infinite sets, so trying to take a "limit" of 
> combining them is just improper.

Most endsegments are infinite. But if Cantor can apply all natural 
numbers as indices for his sequences, then all must leave the sequence 
of endsegments. Then the sequence (E(k)) must end up empty. And there 
must be a continuous staircase from E(k) to the empty set.

Regards, WM